Related Tags
semi-decidability × 201computability × 121
turing-machines × 102
undecidability × 81
formal-languages × 27
reductions × 18
decision-problem × 12
halting-problem × 11
closure-properties × 10
rice-theorem × 9
proof-techniques × 7
complexity-theory × 5
terminology × 5
regular-languages × 3
polynomial-time × 3
enumeration × 3
finite-automata × 2
context-free × 2
formal-grammars × 2
sets × 2
turing-completeness × 2
kolmogorov-complexity × 2
automata × 1
np-hard × 1
compilers × 1