No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
undecidability × 658computability × 343
turing-machines × 334
reductions × 106
halting-problem × 94
formal-languages × 84
semi-decidability × 67
decision-problem × 45
complexity-theory × 33
proof-techniques × 32
automata × 28
rice-theorem × 28
context-free × 22
formal-grammars × 16
logic × 16
regular-languages × 15
finite-automata × 13
reference-request × 12
closure-properties × 11
first-order-logic × 10
computation-models × 9
terminology × 8
oracle-machines × 7
algorithms × 6
pushdown-automata × 6
