Related Tags
nondeterminism × 293finite-automata × 96
automata × 79
complexity-theory × 67
turing-machines × 61
pushdown-automata × 34
formal-languages × 30
algorithms × 26
context-free × 20
np × 18
time-complexity × 17
space-complexity × 17
computation-models × 15
regular-languages × 12
polynomial-time × 11
terminology × 10
closure-properties × 10
computability × 8
reference-request × 8
satisfiability × 7
np-complete × 6
regular-expressions × 6
complexity-classes × 6
simulation × 6
formal-grammars × 5
