formal languages, grammars, automata theory
Question about formal languages including automata theory, grammars.
Roughly corresponds to arXiv tagcs.FL and ACM Subject Classes F.1.1, and F.4.3.
For question about computability and Turing machines computability tag should be used.