Related Tags
semi-decidability × 165computability × 111
turing-machines × 75
undecidability × 67
formal-languages × 23
reductions × 16
closure-properties × 10
decision-problem × 9
halting-problem × 9
rice-theorem × 7
terminology × 5
proof-techniques × 5
complexity-theory × 4
regular-languages × 2
context-free × 2
sets × 2
polynomial-time × 2
enumeration × 2
kolmogorov-complexity × 2
automata × 1
formal-grammars × 1
np-hard × 1
compilers × 1
lambda-calculus × 1
recursion × 1
