automata and language theory - initial commit