Add many works on Automaton2000. I do a big commit becaues i'm very ugly.