Category:Formal languages
Wikimedia Commons has media related to Formal languages.
Subcategories
This category has the following 10 subcategories, out of 13 total.
(previous page) (next page)G
- Graph rewriting (11 P)
L
- L-systems (10 P)
M
- Metalanguages (7 P)
P
- Problems on strings (11 P)
T
- Trace theory (6 P)
Pages in category "Formal languages"
The following 139 pages are in this category, out of approximately 202 total. This list may not reflect recent changes.
(previous page) (next page)F
G
I
L
- L-attributed grammar
- Language equation
- Language identification in the limit
- Left recursion
- Leftist grammar
- Lexical grammar
- Linear grammar
- Literal movement grammar
- LL grammar
- Local language (formal language)
- Locally catenative sequence
- Longest increasing subsequence
- Longest repeated substring problem
- LR-attributed grammar
M
P
- Parikh's theorem
- Parser combinator
- Parser Grammar Engine
- Parsing expression grammar
- Pattern language (formal languages)
- Picture language
- Post canonical system
- Prefix grammar
- Production (computer science)
- Profinite word
- Proof (truth)
- Pumping lemma for context-free languages
- Pumping lemma for regular languages
R
S
- S-attributed grammar
- SCIgen
- Semantics encoding
- Semi-Thue system
- Sesquipower
- Set constraint
- Shamir congruence
- Shortest common supersequence
- Signed-digit representation
- 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