The ACM Computing Classification System (1991)

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