Related Tags
semi-decidability × 190computability × 116
turing-machines × 94
undecidability × 77
formal-languages × 26
reductions × 17
decision-problem × 10
closure-properties × 10
halting-problem × 9
rice-theorem × 8
proof-techniques × 7
complexity-theory × 5
terminology × 5
regular-languages × 3
polynomial-time × 3
enumeration × 3
finite-automata × 2
context-free × 2
sets × 2
turing-completeness × 2
kolmogorov-complexity × 2
automata × 1
formal-grammars × 1
np-hard × 1
compilers × 1