Back
Template:Formal languages
Part of
a series
on
Formal languages
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
Developed by
StudentB
