OurBigBook
About
$
Donate
Sign in
Sign up
by
Wikipedia Bot
(
@wikibot,
0
)
Formal languages
Index
Mathematics
Fields of mathematics
Applied mathematics
Theoretical computer science
Like
(0)
0 By others
on same topic
0 Discussions
1970-01-01
See my version
Table of contents
Computer languages
Formal languages
Dependently typed languages
Formal languages
Formal theories
Formal languages
Grammar frameworks
Formal languages
L-systems
Formal languages
Logic symbols
Formal languages
Metalanguages
Formal languages
Abstract rewriting system
Formal languages
Abstract semantic graph
Formal languages
Abstract syntax tree
Formal languages
Adaptive grammar
Formal languages
Affix grammar
Formal languages
Agent Communications Language
Formal languages
Alphabet (formal languages)
Formal languages
Ambiguous grammar
Formal languages
Arden's rule
Formal languages
Attribute grammar
Formal languages
Augmented Backus–Naur form
Formal languages
Autocorrelation (words)
Formal languages
Backus–Naur form
Formal languages
Bigram
Formal languages
Boolean grammar
Formal languages
Brzozowski derivative
Formal languages
Büchi-Elgot-Trakhtenbrot theorem
Formal languages
Categorial grammar
Formal languages
Chomsky hierarchy
Formal languages
Chomsky normal form
Formal languages
Chomsky–Schützenberger enumeration theorem
Formal languages
Chomsky–Schützenberger representation theorem
Formal languages
Closest string
Formal languages
Compact semigroup
Formal languages
Compiler Description Language
Formal languages
Concatenation
Formal languages
Cone (formal languages)
Formal languages
Conference on Implementation and Application of Automata
Formal languages
Conjunctive grammar
Formal languages
Context-free grammar
Formal languages
Context-free language
Formal languages
Context-sensitive grammar
Formal languages
Context-sensitive language
Formal languages
Controlled grammar
Formal languages
Critical exponent of a word
Formal languages
Cross-serial dependencies
Formal languages
Cyclic language
Formal languages
Definite clause grammar
Formal languages
Dershowitz–Manna ordering
Formal languages
Descriptional Complexity of Formal Systems
Formal languages
Descriptive interpretation
Formal languages
Deterministic context-free grammar
Formal languages
Deterministic context-free language
Formal languages
Discontinuous-constituent phrase structure grammar
Formal languages
Dyck language
Formal languages
ECLR-attributed grammar
Formal languages
Emptiness problem
Formal languages
Empty string
Formal languages
Equivalence (formal languages)
Formal languages
Equivalence problem
Formal languages
Extended Backus–Naur form
Formal languages
Extended affix grammar
Formal languages
Formal grammar
Formal languages
Formal proof
Formal languages
Formal system
Formal languages
Formation rule
Formal languages
Free monoid
Formal languages
Generalized context-free grammar
Formal languages
Gesture Description Language
Formal languages
Global index grammar
Formal languages
Greibach's theorem
Formal languages
Greibach normal form
Formal languages
Growing context-sensitive grammar
Formal languages
Hall word
Formal languages
Head grammar
Formal languages
History monoid
Formal languages
Indexed grammar
Formal languages
Indexed language
Formal languages
Interchange lemma
Formal languages
International Conference on Developments in Language Theory
Formal languages
Introduction to Automata Theory, Languages, and Computation
Formal languages
Junction Grammar
Formal languages
Kleene star
Formal languages
Kuroda normal form
Formal languages
L-attributed grammar
Formal languages
LL grammar
Formal languages
LR-attributed grammar
Formal languages
Leftist grammar
Formal languages
Lexical grammar
Formal languages
Linear grammar
Formal languages
List of formal language and literal string topics
Formal languages
Literal movement grammar
Formal languages
Local language (formal language)
Formal languages
Locally catenative sequence
Formal languages
Longest increasing subsequence
Formal languages
Longest repeated substring problem
Formal languages
Ludwig Staiger
Formal languages
MU puzzle
Formal languages
Markup language
Formal languages
Matrix grammar
Formal languages
Maximal pair
Formal languages
Mildly context-sensitive grammar formalism
Formal languages
Minimalist grammar
Formal languages
Monoid factorisation
Formal languages
Montague grammar
Formal languages
Morphic word
Formal languages
Muller–Schupp theorem
Formal languages
Myhill–Nerode theorem
Formal languages
Nested word
Formal languages
Non-logical symbol
Formal languages
Noncontracting grammar
Formal languages
Normal form (abstract rewriting)
Formal languages
Ogden's lemma
Formal languages
Omega-regular language
Formal languages
Omega language
Formal languages
Operator-precedence grammar
Formal languages
Parikh's theorem
Formal languages
Parser combinator
Formal languages
Parsing expression grammar
Formal languages
Picture language
Formal languages
Prefix grammar
Formal languages
Production (computer science)
Formal languages
Proof (truth)
Formal languages
Pumping lemma for context-free languages
Formal languages
Pumping lemma for regular languages
Formal languages
Quasi-quotation
Formal languages
Range concatenation grammar
Formal languages
Recursively enumerable language
Formal languages
Regular grammar
Formal languages
Regular language
Formal languages
Regular tree grammar
Formal languages
Regulated rewriting
Formal languages
Rewriting
Formal languages
S-attributed grammar
Formal languages
SCIgen
Formal languages
SLR grammar
Formal languages
Semantics encoding
Formal languages
Semi-Thue system
Formal languages
Sesquipower
Formal languages
Signed-digit representation
Formal languages
Simple precedence grammar
Formal languages
Sparse language
Formal languages
Splicing rule
Formal languages
Square-free word
Formal languages
Star height
Formal languages
Star height problem
Formal languages
Straight-line grammar
Formal languages
String operations
Formal languages
Substring
Formal languages
Symbol (formal)
Formal languages
Syntactic monoid
Formal languages
Syntactic predicate
Formal languages
Syntax (logic)
Formal languages
Syntax diagram
Formal languages
Terminal yield
Formal languages
Top-down parsing language
Formal languages
Trace monoid
Formal languages
Trace theory
Formal languages
Unary language
Formal languages
Unary numeral system
Formal languages
Unavoidable pattern
Formal languages
Unrestricted grammar
Formal languages
Van Wijngaarden grammar
Formal languages
WFF 'N PROOF
Formal languages
Well-formed formula
Formal languages
Wirth–Weber precedence relationship
Formal languages
Computer languages
0
0
0
Formal languages
Dependently typed languages
0
0
0
Formal languages
Formal theories
0
0
0
Formal languages
Grammar frameworks
0
0
0
Formal languages
L-systems
0
0
0
Formal languages
Logic symbols
0
0
0
Formal languages
Metalanguages
0
0
0
Formal languages
Abstract rewriting system
0
0
0
Formal languages
Abstract semantic graph
0
0
0
Formal languages
Abstract syntax tree
0
1
0
Formal languages
Adaptive grammar
0
0
0
Formal languages
Affix grammar
0
0
0
Formal languages
Agent Communications Language
0
0
0
Formal languages
Alphabet (formal languages)
0
0
0
Formal languages
Ambiguous grammar
0
0
0
Formal languages
Arden's rule
0
0
0
Formal languages
Attribute grammar
0
0
0
Formal languages
Augmented Backus–Naur form
0
0
0
Formal languages
Autocorrelation (words)
0
0
0
Formal languages
Backus–Naur form
0
0
0
Formal languages
Bigram
0
0
0
Formal languages
Boolean grammar
0
0
0
Formal languages
Brzozowski derivative
0
0
0
Formal languages
Büchi-Elgot-Trakhtenbrot theorem
0
0
0
Formal languages
Categorial grammar
0
0
0
Formal languages
Chomsky hierarchy
0
1
0
Formal languages
Chomsky normal form
0
0
0
Formal languages
Chomsky–Schützenberger enumeration theorem
0
0
0
Formal languages
Chomsky–Schützenberger representation theorem
0
0
0
Formal languages
Closest string
0
0
0
Formal languages
Compact semigroup
0
0
0
Formal languages
Compiler Description Language
0
0
0
Formal languages
Concatenation
0
0
0
Formal languages
Cone (formal languages)
0
0
0
Formal languages
Conference on Implementation and Application of Automata
0
0
0
Formal languages
Conjunctive grammar
0
0
0
Formal languages
Context-free grammar
0
0
0
Formal languages
Context-free language
0
0
0
Formal languages
Context-sensitive grammar
0
0
0
Formal languages
Context-sensitive language
0
0
0
Formal languages
Controlled grammar
0
0
0
Formal languages
Critical exponent of a word
0
0
0
Formal languages
Cross-serial dependencies
0
0
0
Formal languages
Cyclic language
0
0
0
Formal languages
Definite clause grammar
0
0
0
Formal languages
Dershowitz–Manna ordering
0
0
0
Formal languages
Descriptional Complexity of Formal Systems
0
0
0
Formal languages
Descriptive interpretation
0
0
0
Formal languages
Deterministic context-free grammar
0
0
0
Formal languages
Deterministic context-free language
0
0
0
Formal languages
Discontinuous-constituent phrase structure grammar
0
0
0
Formal languages
Dyck language
0
0
0
Formal languages
ECLR-attributed grammar
0
0
0
Formal languages
Emptiness problem
0
0
0
Formal languages
Empty string
0
0
0
Formal languages
Equivalence (formal languages)
0
0
0
Formal languages
Equivalence problem
0
0
0
Formal languages
Extended Backus–Naur form
0
0
0
Formal languages
Extended affix grammar
0
0
0
Formal languages
Formal grammar
0
0
0
Formal languages
Formal proof
0
1
0
Formal languages
Formal system
0
1
0
Formal languages
Formation rule
0
0
0
Formal languages
Free monoid
0
0
0
Formal languages
Generalized context-free grammar
0
0
0
Formal languages
Gesture Description Language
0
0
0
Formal languages
Global index grammar
0
0
0
Formal languages
Greibach's theorem
0
0
0
Formal languages
Greibach normal form
0
0
0
Formal languages
Growing context-sensitive grammar
0
0
0
Formal languages
Hall word
0
0
0
Formal languages
Head grammar
0
0
0
Formal languages
History monoid
0
0
0
Formal languages
Indexed grammar
0
0
0
Formal languages
Indexed language
0
0
0
Formal languages
Interchange lemma
0
0
0
Formal languages
International Conference on Developments in Language Theory
0
0
0
Formal languages
Introduction to Automata Theory, Languages, and Computation
0
0
0
Formal languages
Junction Grammar
0
0
0
Formal languages
Kleene star
0
0
0
Formal languages
Kuroda normal form
0
0
0
Formal languages
L-attributed grammar
0
0
0
Formal languages
LL grammar
0
0
0
Formal languages
LR-attributed grammar
0
0
0
Formal languages
Leftist grammar
0
0
0
Formal languages
Lexical grammar
0
0
0
Formal languages
Linear grammar
0
0
0
Formal languages
List of formal language and literal string topics
0
0
0
Formal languages
Literal movement grammar
0
0
0
Formal languages
Local language (formal language)
0
0
0
Formal languages
Locally catenative sequence
0
0
0
Formal languages
Longest increasing subsequence
0
0
0
Formal languages
Longest repeated substring problem
0
0
0
Formal languages
Ludwig Staiger
0
0
0
Formal languages
MU puzzle
0
0
0
Formal languages
Markup language
0
1
0
Formal languages
Matrix grammar
0
0
0
Formal languages
Maximal pair
0
0
0
Formal languages
Mildly context-sensitive grammar formalism
0
0
0
Formal languages
Minimalist grammar
0
0
0
Formal languages
Ancestors
(5)
Theoretical computer science
Applied mathematics
Fields of mathematics
Mathematics
Index
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version