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