No hot answers found
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
turing-machines × 2583computability × 751
undecidability × 470
complexity-theory × 389
formal-languages × 283
reductions × 250
halting-problem × 201
automata × 169
computation-models × 158
semi-decidability × 120
time-complexity × 101
nondeterminism × 93
turing-completeness × 83
finite-automata × 82
algorithms × 77
decision-problem × 74
space-complexity × 67
simulation × 63
church-turing-thesis × 54
np × 53
context-free × 50
rice-theorem × 50
proof-techniques × 48
terminology × 41
pushdown-automata × 40