Related Tags
decidability × 74computability × 24
undecidability × 14
fl.formal-languages × 11
turing-machines × 11
context-free × 10
lo.logic × 6
automata-theory × 6
halting-problem × 6
cc.complexity-theory × 5
reference-request × 5
complexity-classes × 4
pl.programming-languages × 3
regular-language × 3
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