Related Tags
pushdown-automata × 466automata × 200
context-free × 200
formal-languages × 137
finite-automata × 49
formal-grammars × 38
turing-machines × 35
nondeterminism × 35
regular-languages × 31
computability × 21
closure-properties × 19
simulation × 14
pumping-lemma × 13
computation-models × 12
parsers × 10
complexity-theory × 7
undecidability × 7
halting-problem × 6
reference-request × 5
regular-expressions × 5
context-sensitive × 5
terminology × 4
proof-techniques × 4
compilers × 4
algorithms × 3