No hot answers found
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
automata × 1818finite-automata × 827
formal-languages × 450
regular-languages × 384
pushdown-automata × 236
context-free × 232
regular-expressions × 184
turing-machines × 169
nondeterminism × 107
formal-grammars × 101
computability × 81
computation-models × 63
pumping-lemma × 62
complexity-theory × 46
algorithms × 42
undecidability × 42
closure-properties × 42
compilers × 32
terminology × 31
reference-request × 30
simulation × 29
proof-techniques × 27
parsers × 23
buchi-automata × 19
cellular-automata × 17