Related Tags
context-sensitive × 110formal-languages × 57
formal-grammars × 50
context-free × 34
turing-machines × 10
automata × 10
complexity-theory × 7
regular-languages × 7
pushdown-automata × 7
linear-bounded-automata × 7
undecidability × 5
computability × 4
programming-languages × 4
reference-request × 3
pumping-lemma × 3
closure-properties × 3
attribute-grammars × 3
finite-automata × 2
regular-expressions × 2
proof-techniques × 2
space-complexity × 2
chomsky-hierarchy × 2
algorithms × 1
np-complete × 1
compilers × 1