A framework for prototyping and working with different kinds of automata

This project was inspired by a course offered by my university about the theory of computation. This got me interested in automata and other such machines and I wanted to play around and prototype with them. Although the project is still in a very immature state, I'd like to get suggestions about possible improvements and other ideas.

Thank you.