All automata were readapted and are in accordance with the last description of the thesis. Tests passed
Attach a file by drag & drop or click to upload
