A project for Computapility and Automata class