And then came Turing’s work on finite-state automata. I n 1936, Turing published a paper in the Proceedings of the London Mathematical Society which proposed a theoretical “machine” (mathematical ...