Category:Formal languages

• Formal language
• List of formal language and literal string topics

A

• Abstract semantic graph
• Abstract syntax tree
• Algorithmic learning theory
• Ambiguous grammar
• Antimatroid
• Attribute grammar
• Augmented Backus–Naur form

B

• Backus–Naur form
• Bigram

C

• Categorial grammar
• Chomsky hierarchy
• Chomsky normal form
• Concatenation
• Context-free grammar
• Context-free language
• Context-sensitive grammar
• Context-sensitive language

D

• Diff

E

• Empty string
• Extended Backus–Naur form

F

• Finite thickness
• Formal proof
• Free monoid

G

• Generalized star-height problem
• Greibach normal form

K

• Kleene algebra
• Kleene star
• Kuroda normal form

L

• L-attributed grammar
• Language identification in the limit
• Left recursion

M

• Markup language
• Metacharacter
• Montague grammar
• Myhill–Nerode theorem

P

• Parsing expression grammar
• Prefix grammar
• Probabilistic context-free grammar

Q

• Quotient of a formal language

R

• Recursively enumerable language
• Regular expression
• Regular grammar
• Regular language
• Rewriting

S

• S-attributed grammar
• Signed-digit representation
• Star height
• Star height problem
• String (computer science)
• Syntactic monoid
• Syntax (logic)
• Formal system

T

• Terminal yield
• Top-down parsing language
• Tree automaton
• Turing machine

U

• Unary numeral system

V

• Van Wijngaarden grammar

W

• Well-formed formula