Contact: Mahdi Cheraghchi
Room: BC 148
Tel: 021 6931316
Email: mahdi [dot] cheraghchi [at] epfl [dot] ch
The goal of this project is to implement a system to emulate certain abstractions of Turing machines. The first step in this project would be to design a simple “programming language” for describing the beahavior of a Turing machine and then implementing an interpreter for this language. The subsequent steps will involve writing simple modules that implement certain basic operations on Turing machines, implementing “compilers” for translating simple but more high-level languages to basic programs that can run on Turing machines, and building an easy-to-use user interface for interacting with the system.