mostrar automata