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