The ACM Computing Classification System (1998)

F.4.3 Formal Languages

  • Algebraic language theory
  • Classes defined by grammars or automata (e.g., context-free languages, regular sets, recursive sets)
  • Classes defined by resource-bounded automata [**]
  • Decision problems
  • Operations on languages