Related Tags
turing-machines × 208computability × 82
cc.complexity-theory × 41
automata-theory × 26
reference-request × 15
time-complexity × 13
halting-problem × 13
universal-turing-machines × 12
lambda-calculus × 11
universal-computation × 11
fl.formal-languages × 10
decidability × 9
complexity-classes × 8
machine-models × 8
circuit-complexity × 7
kolmogorov-complexity × 7
lo.logic × 6
soft-question × 6
big-picture × 6
randomness × 6
cellular-automata × 6
pl.programming-languages × 5
ho.history-overview × 5
undecidability × 5
quantum-computing × 4