3.

DIAGRAMAS DE TRANSICIN Y AUTMATAS FINITOS

3.1 DIAGRAMAS DE TRANSICIN

Un autmata finito se puede representar por medio de un grafo dirigido y etiquetado. El cual es un diagrama de flujo en forma de grafo dirigido que representa las acciones que tienen lugar al obtener el siguiente componente lxico. Una cadena X es aceptada por un diagrama de transicin si existe un camino desde un estado de transicin a un estado de aceptacin de manera que se pueda deletrear la cadena X.

3.1.1. Estructura de un diagrama de transicin

i o if ii
a

Estado i=0, 1, 2,,n Estado Inicial. Es nico, no pueden existir ms de uno. Estado Final o Estado de Aceptacin (pueden ser muchos).

Las aristas tienen una sola direccin, a es una etiqueta (componente lxico), no puede existir arista sin etiqueta.

Figura No 1. Componentes de un Diagrama de Transicin

Todo diagrama de transicin se puede representar mediante una tabla de transicin, que es el equivalente a la matriz de adyacencia en un grafo. La tabla de transicin tiene la siguiente forma:

e1 e2 e3

t1 ex ex

t2 ex ex

t3 ex ex

tn ex ex

em ex Donde x=1..m

ex

ex

ex

Tabla No 1. Tabla de Transicin

Donde los ti son las transiciones y los ej son los estados actuales, las celdas de la tabla de transiciones corresponden a estados de llegadas. La celda 1,1 se lee; del estado e1 con transicin t1 se llega a un estado e11.

3.1.2. Operaciones Bsicas 3.1.2.1. Concatenacin

Sean a y b expresiones regulares, la operacin de concatenacin se representa entonces mediante el diagrama de transicin y su respectiva tabla de transicin de la siguiente forma:

a.b

Figura No 2. Diagrama de transicin la operacin Concatenacin

q0 q1 q2

a q1 -

B q2 -

Tabla No 2. Tabla de Transicin de la operacin Concatenacin (a.b)

3.1.2.2. Unin
Sean a y b expresiones regulares, la operacin de unin se representa entonces mediante el diagrama de transicin y su respectiva tabla de transicin de la siguiente forma:

a|b

Figura No 3. Diagrama de Transicin de la operacin Unin

q0 q1 q2

a q1 -

b q2 -

Tabla No 3. Tabla de Transicin de la operacin Unin (a|b)

3.1.2.3. Cerradura de Kleene

Sea a una expresin regular, la operacin de cerradura de Kleene se representa entonces mediante el diagrama de transicin y su respectiva tabla de transicin de la siguiente forma:
*

a*

Figura No 4. Diagrama de Transicin de la Operacin Cerradura de Kleene

q0

a q0

Tabla No 4. Tabla de Transicin de la Operacin Cerradura de Kleene (a*)

3.1.2.4. Cerradura Positiva

Sea a una expresin regular, la operacin de cerradura positiva se representa entonces mediante el diagrama de transicin y su respectiva tabla de transicin de la siguiente forma:
+

a+

Figura No 5. Diagrama de Transicin de la Operacin Cerradura Positiva

q0 q1

a q1 q1

Tabla No 5. Tabla de Transicin de la Operacin Cerradura Positiva (a+)

3.1.2.5. Cerradura de 0 o un caso

Sea a una expresin regular, la operacin de cerradura de 0 o un caso se representa entonces mediante el diagrama de transicin y su respectiva tabla de transicin de la siguiente forma:
?

Figura No 6. Diagrama de Transicin de la Operacin Cerradura de 0 o un caso

q0 q1

a q1 -

Tabla No 6. Tabla de Transicin de la Operacin Cerradura de 0 o un caso

3.1.3. Ejemplos de Diagrama de Transicin

Ejemplo No 1. Expresin Regular:

Figura No 7. Diagrama de Transicin

q0 q1 q2

a q1 -----

b --q1 ---

c q2 -----

Tabla No 7. Tabla de Transicin de

Ejemplo No 2. Expresin Regular:

Figura No 8. Diagrama de Transicin de

q0 q1 q2 q3

a q1 q1, q2 -----

b --q3 -----

Tabla No 8. Tabla de Transicin de

Ejemplo No 3. Expresin Regular:

Figura No 9. Diagrama de Transicin de

q0 q1 q2

a q1 -----

b q2 --q2

Tabla No 9. Tabla de transicin de

Ejemplo No 4. Expresin Regular:

Figura No 10. Diagrama de Transicin de

q0 q1 q2

a q1 q1 ---

b q2 --q2

Tabla No 10. Tabla de Transicin de

Ejemplo No 5. Expresin Regular:

Figura No 11. Diagrama de Transicin de

q0 q1 q2 q3 q4

a q2, q3 --q2 q3 ---

b q1 q1 --q4 q4

Tabla No 11. Tabla de Transicin de

Ejemplo No 6. Expresin Regular:

Figura No 12. Diagrama de Transicin de

q0 q1 q2 q3

a q1 q2 -----

b --q1,q3 -----

c --q1 -----

Tabla No 12. Tabla de transicin de

Ejemplo No 7. Expresin Regular:

Figura No 13. Diagrama de Transicin de

q0 q1

a q0 ---

b q0 ---

C q1 ---

Tabla No 13. Tabla de Transicin de

Ejemplo No 8. Expresin Regular:

Figura No 14. Diagrama de transicin de

q0 q1 q2

a q0 -----

b q0, q2 -----

c q0, q1 -----

Tabla No 14. Tabla de transicin de

Ejemplo No 9. Expresin Regular:

Figura No 15. Diagrama de transicin de

q0 q1

a q0, q1 ---

b --q0

Tabla No 15. Tabla de transicin de

Ejemplo No 10. Expresin Regular:

Figura No 16. Diagrama de transicin de

q0 q1

a q0 ---

b q1 ---

c q0 q0

Tabla No 16. Tabla de Transicin de

Ejemplo No 11. Expresin Regular:

Figura No 17. Diagrama de Transicin de

q0 q1 q2 q3

a q0, q1 q2 -----

b q0 q3 -----

Tabla No 17. Tabla de transicin de