Agregado automata que verifica cadenas