4 Commits (a15769a8222b3f8e5520662a8d1b01762176c208)

Author SHA1 Message Date
arushs 0f4891f991 Important as it shows with formal proofs how to classify sequences into different levels of difficulty based on computability
10 years ago
Darren_N b16225016d Update README.md
10 years ago
chaddcw e0ba07d4ed Mealy machines paper
11 years ago
chaddcw 8950281574 Turing's 1936 paper
11 years ago