automata_1.svg.png