No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
undecidability × 643computability × 336
turing-machines × 325
reductions × 104
halting-problem × 91
formal-languages × 80
semi-decidability × 65
decision-problem × 44
complexity-theory × 32
proof-techniques × 32
automata × 27
rice-theorem × 26
context-free × 22
formal-grammars × 16
logic × 16
regular-languages × 13
finite-automata × 12
reference-request × 12
closure-properties × 11
first-order-logic × 10
computation-models × 9
terminology × 8
oracle-machines × 7
algorithms × 6
turing-completeness × 6
