Related Tags
pushdown-automata × 371automata × 167
context-free × 161
formal-languages × 118
finite-automata × 39
formal-grammars × 31
nondeterminism × 30
turing-machines × 25
regular-languages × 23
computability × 18
closure-properties × 16
pumping-lemma × 13
simulation × 13
computation-models × 12
parsers × 7
undecidability × 5
halting-problem × 5
complexity-theory × 4
terminology × 4
reference-request × 4
regular-expressions × 4
proof-techniques × 4
programming-languages × 3
compilers × 3
context-sensitive × 3
