added interface
merge online branch with local changes
Merge branch 'master' of https://github.com/ThePenguin1140/automata