Template:Formal languages

Formal languages
Part of a series on
Key concepts Formal system Alphabet Syntax Semantics Semantics (logic) Formal grammar Formation rule Well-formed formula Automata theory Regular expression Production Ground expression Atomic formula
Applications Formal methods Propositional calculus Predicate logic Mathematical notation Natural language processing Programming language theory Computational linguistics Syntax analysis Formal verification
v t e