MSc Project: Simulation of Turing Machines with web interface

Turing Machines can simulate arbitrary algorithms with inconsequential loss of efficiency. It is the most important formal model for algorithms used in almost every investigation of the computational complexity of algorithms. The objective of this project is to design and implement software simulating Turing Machines and an appropriate user web interface for the system. A database of Turing Machines should be constructed. An animation of the algorithm would be nice. The language may be either JAVA or C++.