Related Tags
decidability × 79computability × 25
turing-machines × 13
undecidability × 13
fl.formal-languages × 11
context-free × 11
lo.logic × 8
automata-theory × 7
cc.complexity-theory × 6
halting-problem × 6
reference-request × 5
complexity-classes × 4
pl.programming-languages × 4
regular-language × 3
enumeration × 3
type-theory × 2
lambda-calculus × 2
reductions × 2
np × 2
nt.number-theory × 2
grammars × 2
oracles × 2
logic-programming × 2
model-theory × 2
graph-theory × 1