No hot answers found
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
undecidability × 822turing-machines × 425
computability × 391
reductions × 124
halting-problem × 120
formal-languages × 101
semi-decidability × 86
decision-problem × 55
complexity-theory × 47
automata × 37
context-free × 37
proof-techniques × 37
rice-theorem × 35
regular-languages × 21
finite-automata × 18
formal-grammars × 18
logic × 17
reference-request × 12
computation-models × 12
closure-properties × 12
decidability × 11
algorithms × 9
terminology × 9
first-order-logic × 9
pushdown-automata × 8