Category:Formal languages
Wikimedia Commons has media related to Formal languages.
Subcategories
This category has the following 5 subcategories, out of 13 total.
(previous page) (next page)P
- Problems on strings (11 P)
T
- Trace theory (6 P)
Pages in category "Formal languages"
The following 81 pages are in this category, out of approximately 202 total. This list may not reflect recent changes.
(previous page) (next page)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