Hacker News new | ask | show | jobs
Turing Machines and Formal Computation (max-amb.github.io)
1 points by max-amb 79 days ago