COMPILADORES

DEFINICIONES REGULARES
DIAGRAMA DE TRANSICION
AUTMATAS FINITOS

PROFESOR:
LUIS CARDOZO

JACKELINE CERVANTES LPEZ

CORPORACION UNIVERSITARIA LATINOAMERICANA

INGENIERIA DE SISTEMAS VI
BARRANQUILLA
2016
DEFINICIONES REGULARES

Por conveniencia de notacin, puede ser deseable dar nombres a las expresiones
regulares y definir expresiones regulares utilizando dichos nombres como si fueran
smbolos. Si es un alfabeto de smbolos bsicos, entonces una definicin regular
es una secuencia de definiciones de la forma
d1->r1
d2->r2

dn->rn
Donde cada d1 es un nombre distinto, y cada r1 es una expresin regular sobre los
smbolos de U {d1, d2, , d1_1}, por ejemplo, los smbolos bsicos y los nombres
previamente definidos. Al limitar cada r1 a los smbolos de y a los nombres
previamente definidos, se puede construir una expresin regular en para
cualquier r1, reemplazando una y otra vez los nombres de las expresiones
regulares por las expresiones que designan. Si r 1 utilizara d para alguna j i,
entonces ri se podra definir recursivamente y este proceso de sustitucin no
tendra fin.
Ejemplos

Conjunto de los identificadores vlidos en Pascal:

Letra A | B || Z | a | b || z
Dgito 0|1||9
Id letra (letra | dgito)*

DIAGRAMAS DE TRANSICIN DE ESTADOS.

Es una herramienta de modelado que sirve para describir el comportamiento

requerido de los sistemas de tiempo real, al igual que la porcin de la interfaz
humana que la mayora de los sistemas en lnea tiene. El DTE se usa para
desarrollar un modelo esencial del sistema, es decir, un modelo de cmo se
comportara el sistema si hubiera la tecnologa perfecta (ideal). El DTE se puede
relacionar con el DFD.

Componentes del DTE:

1) Estados: Los estados representan los diferentes comportamientos del sistema
que son observables y que perduran en algn periodo de tiempo finito. Los
estados se representan con un rectngulo.
2) Cambios de Estados: Si un sistema solo tiene un estado se lo llama esttico y
no tiene sentido estudiarlo. En cambio se estudian los sistemas que cambian a
travs del tiempo. Se identifican los estados inicial y final, entre otros intermedios.
Puede haber ms de un estado inicial y final. Se representan con flechas.
3) Condiciones: Una condicin es un acontecimiento en el ambiente externo que
el sistema es capaz de detectar (seal, interrupcin) y son las causantes de los
cambios de estados.
4) Acciones: Son las acciones que realiza el sistema cuando cambia de estado.
Como parte del cambio de estado, el sistema har una o ms acciones (producir

una salida, llevar a cabo un clculo), las acciones son respuestas regresadas al
ambiente externo para poder responder a algn acontecimiento futuro.
Construccin de un DTE: Identificar los estados, representarlos desde el estado
inicial al final. Identificar los cambios de estado, condiciones y acciones.
Reglas para verificar la consistencia:
Se han definido todos los estados?
Se pueden alcanzar todos los estados?
Se puede salir de todos los estados?
En cada estado: el sistema responde adecuadamente a todas las condiciones
posibles?

AUTMATA FINITO
Un autmata finito (AF) o mquina de estado finito es un modelo
computacional que realiza cmputos en forma automtica sobre una entrada para
producir una salida.
Este modelo est conformado por un alfabeto, un conjunto de estados finito, una
funcin de transicin, un estado inicial y un conjunto de estados finales. Su
funcionamiento se basa en una funcin de transicin, que recibe a partir de
un estado inicial una cadena de caracteres pertenecientes al alfabeto (la entrada),
y que va leyendo dicha cadena a medida que el autmata se desplaza de un
estado a otro, para finalmente detenerse en un estado final o de aceptacin, que
representa la salida.
La finalidad de los autmatas finitos es la de reconocer lenguajes regulares, que
corresponden a los lenguajes formales ms simples segn la Jerarqua de
Chomsky.

Definicin normal:
Formalmente, un estado finito es una 5-tupla

Q , , q0 , , F> donde:

es un conjunto finito de estados.

q0

es un alfabeto finito de smbolos terminales.

Es el estado inicial en Q .

es la relacin de transiciones de la forma

qj

como estados de

x , smbolo de

qi , x , q j >

con qi

o puede ser tambin

la cadena vaca.
F es el conjunto de estados finales o de aceptacin y (evidentemente)
subconjunto de

Q .

Autnoma Finito Determinista (AFD):

Es un autmata finito que adems es un sistema determinista; es decir, para cada
estado q Q en que se encuentre el autmata, y con cualquier smbolo a del
alfabeto ledo, existe siempre a lo ms una transicin posible (q,a).
En un AFD no pueden darse ninguno de estos dos casos:

Que existan dos transiciones del tipo (q,a)=q1 y (q,a)=q2, siendo q1 q2;
Que existan transiciones del tipo (q, ), salvo que q sea un estado final,
sin transiciones hacia otros estados.

Un tipo interesante de autmatas finitos deterministas son los llamados acclicos y

un ejemplo de stos son los tries.
Autnoma Finito Determinista (AFD):

Un autmata finito no determinista (AFND) es aquel que, a

diferencia de los autmatas finitos deterministas, posee al
menos un estado q Q , tal que para un smbolo a
del alfabeto, existe ms de una transicin (q, a) posible.
Haciendo la analoga con los AFDs, en un AFND puede darse
cualquiera de estos dos casos:

 Que existan transiciones del tipo (q, a)=q1 y (q,

a)=q2, siendo q1 q2;
Que existan transiciones del tipo (q, ), siendo q un
estado no-final, o bien un estado final pero con
transiciones hacia otros estados.
Cuando se cumple el segundo caso, se dice que el autmata
es un autmata finito no determinista con transiciones vacas
o transiciones (abreviado AFND-). Estas transiciones
permiten al autmata cambiar de estado sin procesar ningn
smbolo de entrada.