Estados finales del autómata: