(more info)
Math for the people, by the people.
donor list
-
find out how
Encyclopedia
|
Requests
|
Forums
|
Docs
|
Wiki |
Random
|
RSS
Advanced search
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions
meta
Requests
(236)
Orphanage
Unclass'd
(1)
Unproven
(540)
Corrections
(47)
Classification
talkback
Polls
Forums
Feedback
Bug Reports
downloads
Snapshots
PM Book
information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
Encyclopedia by subject
68Q42 - Computer science :: Theory of computing :: Grammars and rewriting systems
ambiguous grammar
owned by
CWoo
Backus-Naur form
owned by
CWoo
Chomsky normal form
owned by
rspuzio
Chomsky-Schützenberger theorem
owned by
CWoo
Church-Rosser property
owned by
CWoo
confluence
owned by
CWoo
constructing automata from regular languages
owned by
CWoo
context-free language
owned by
CWoo
context-sensitive language
owned by
CWoo
definite language
owned by
CWoo
derivation language
owned by
CWoo
derivation tree
owned by
CWoo
derivation tree of a derivation
owned by
CWoo
deterministic finite automaton
owned by
CWoo
deterministic pushdown automaton
owned by
CWoo
diamond lemma
owned by
CWoo
Dyck language
owned by
CWoo
equivalent grammars
owned by
CWoo
formal grammar
owned by
CWoo
Greibach normal form
owned by
CWoo
Kleene's theorem
owned by
CWoo
Kuroda normal form
owned by
CWoo
leftmost derivation
owned by
CWoo
linear language
owned by
CWoo
LL(k)
owned by
CWoo
locally testable
owned by
CWoo
LR(k)
owned by
CWoo
matrix characterizations of automata
owned by
CWoo
non-deterministic finite automaton
owned by
mps
non-deterministic pushdown automaton
owned by
Henry
normalizing reduction
owned by
CWoo
Parikh's theorem
owned by
CWoo
Post system
owned by
CWoo
pumping lemma (context-free languages)
owned by
rspuzio
pumping lemma (regular languages)
owned by
rspuzio
reduced automaton
owned by
CWoo
regular language
owned by
mps
semi-Thue system
owned by
CWoo
star-free
owned by
CWoo
subset construction
owned by
CWoo
terminating reduction
owned by
CWoo
theory of formal languages
owned by
rspuzio
Thue system
owned by
CWoo
Show empty categories:
[
up
|
top
]