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 tag should be used.