There remains a gulf between computation models like Turing machines that appear in theory of computation texts, and introductory programming languages. The simple and powerful Scheme programming ...