All automata were readapted and are in accordance with the last description of the thesis. Tests passed