Related Tags
decidability × 68computability × 20
fl.formal-languages × 11
context-free × 10
undecidability × 10
turing-machines × 9
lo.logic × 6
automata-theory × 6
reference-request × 5
halting-problem × 5
cc.complexity-theory × 4
pl.programming-languages × 3
regular-language × 3
complexity-classes × 2
type-theory × 2
np × 2
nt.number-theory × 2
grammars × 2
oracles × 2
logic-programming × 2
model-theory × 2
enumeration × 2
graph-theory × 1
np-hardness × 1
co.combinatorics × 1