No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
undecidability × 605computability × 331
turing-machines × 302
reductions × 98
halting-problem × 83
formal-languages × 65
semi-decidability × 62
decision-problem × 42
proof-techniques × 32
complexity-theory × 31
rice-theorem × 23
automata × 20
context-free × 19
logic × 16
formal-grammars × 15
finite-automata × 12
reference-request × 12
closure-properties × 11
regular-languages × 10
computation-models × 9
first-order-logic × 9
terminology × 8
oracle-machines × 7
turing-completeness × 6
algorithms × 5
