added some documentation and started implementing the automaton generator
ome extras