Page 58 - LENGUAJES FORMALES AUTOMATAS Y COMPILADOS

58

colocar este autómata en la herramienta jflap o analizar por simple inspección ocular, o mejor
aún analizar y con la herramienta comprobar, así debe ser, para verificar las cadenas aceptadas.)

∗
L(Σ=1,2,3) = {Ω ϵ {1,2,3} / Ω = ( , ) 3}
Ok qué me dice esto… estarán aceptadas todas las cadenas (ω) que cumplan con la regla denotada
∗
por la cerradura de Klein ((1,2) , que me dice que estas cadenas podran iniciar con un uno o
varios unos o ningun uno; o con un dos o con varios dos o ningun dos, o con un 3 y deberá siempre
terminar en un 3.

Las siguientes cadenas serán aceptadas:

 13
 11123
 123
 11223
 3
 23

No serán aceptadas:

 123333
 1122
 111
 222

Otro ejemplo de autómata:

1 1 0
1

S 0
B
A
C

0

La función de transición acá será: fijes que a través de una matriz también se puede describir la
función de transición.