# Category:Formal languages

Wikimedia Commons has media related to .Formal languages |

## Subcategories

This category has the following 11 subcategories, out of 11 total.

### A

### C

### D

### F

### G

### L

### M

### P

## Pages in category "Formal languages"

The following 199 pages are in this category, out of 199 total. This list may not reflect recent changes (learn more).

### A

- Abstract family of acceptors
- Abstract family of languages
- Abstract rewriting system
- Abstract semantic graph
- Abstract syntax tree
- Action algebra
- Adaptive grammar
- Affix grammar
- Agent Communications Language
- Algorithmic learning theory
- Alphabet (formal languages)
- Ambiguous grammar
- Antimatroid
- Arden's Rule
- Attribute grammar
- Augmented Backus–Naur form
- Autocorrelation (words)

### C

- Categorial grammar
- Chomsky hierarchy
- Chomsky normal form
- Chomsky–Schützenberger enumeration theorem
- Chomsky–Schützenberger representation theorem
- Closest string
- Compact semigroup
- Compiler Description Language
- Concatenation
- Cone (formal languages)
- Conference on Implementation and Application of Automata
- Conjunctive grammar
- Context change potential
- Context-free grammar
- Context-free language
- Context-sensitive grammar
- Context-sensitive language
- Controlled grammar
- Convolution (computer science)
- Critical exponent of a word
- Cross-serial dependencies

### D

- Definite clause grammar
- Dershowitz–Manna ordering
- Descriptional Complexity of Formal Systems
- Descriptive interpretation
- Deterministic context-free grammar
- Deterministic context-free language
- Deterministic pushdown automaton
- Diff
- Discontinuous-constituent phrase structure grammar
- Dyck congruence
- Dyck language
- Dynamic syntax tree

### E

### F

### G

### I

### L

- L-attributed grammar
- L-system
- Language equation
- Language identification in the limit
- Left recursion
- Leftist grammar
- Lexical grammar
- Linear grammar
- List of formal language and literal string topics
- Literal movement grammar
- LL grammar
- Local language (formal language)
- Locally catenative sequence
- Longest increasing subsequence
- Longest repeated substring problem
- LR-attributed grammar

### M

### P

### R

### S

- S-attributed grammar
- SCIgen
- Semantics encoding
- Semi-Thue system
- Sesquipower
- Set constraint
- Shamir congruence
- Shortest common supersequence problem
- Simple precedence grammar
- SLR grammar
- Smallest grammar problem
- Sparse language
- Splicing rule
- Square-free word
- Ludwig Staiger
- Star height
- Star height problem
- Star-free language
- Probabilistic context-free grammar
- Stochastic language
- Straight-line grammar
- String (computer science)
- String operations
- Substring
- Symbol (formal)
- Synchronous context-free grammar
- Syntactic monoid
- Syntactic predicate
- Syntax (logic)
- Syntax diagram
- Formal system