On Formalisms for Turing Machines
Journal of the ACM (JACM)
Computation: finite and infinite machines
Computation: finite and infinite machines
Formal languages and their relation to automata
Formal languages and their relation to automata
Fifty years of automata simulation: a review
ACM Inroads
Hi-index | 0.00 |
A simple hardware model of a Turing machine has been built at Brandeis University for educational purposes. The machine was designed and built by the first author and is being used by the second to test its value as an instructional aid in the teaching of programming. This paper presents the factors that influenced the design of the model, provides data concerning its characteristics and operation, and describes its use in teaching elementary programming to undergraduates and high school students.