[automata-big.jpg]