First commit
Added automata figures