Student designed machines for a theory of computation course
Joan Krone · ACM SIGCSE Bulletin · 1992
Most Computer Science faculty members look forward to teaching a course in Theory of Computation. However, there is usually concern over how well students are able to understand Turing's thesis, Church's thesis, and the relationship between them with only one semester of concentration on details of a particular textbook. This paper describes how students in the Theory of Computation Course at Denison University designed their own theoretic machines and showed how those machines could be used to solve example problems, hopefully achieving an understanding of the theses by Church and Turing as a result of developing the technical details necessary in describing their machines.