mathlib

6dc50004 - feat(computability/language): define formal languages (#5291)

feat(computability/language): define formal languages (#5291) Lifted from #5036 in order to include in #5038 as well. Co-authored-by: foxthomson <11833933+foxthomson@users.noreply.github.com>