Vous êtes sur la page 1sur 31

Automatas Finitos

Mquinas Secuenciales

Automatas Finitos y Mquinas Secuenciales


Teora de la Computacin I

Departamento de Informtica
Facultad de Ciencias Exacta
Universidad Nacional de Salta

10 de abril de 2015

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos
Mquinas Secuenciales

ndice

1 Automatas Finitos
Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Relacin entre AFND y AFD
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y
Complemento de Autmatas

2 Mquinas Secuenciales
Mquina de Moore
Mquinas de Mealy
Minimizacin

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

ndice

1 Automatas Finitos
Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Relacin entre AFND y AFD
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y
Complemento de Autmatas

2 Mquinas Secuenciales
Mquina de Moore
Mquinas de Mealy
Minimizacin

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Denicin

Se dene un AFD como:

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Cadena Aceptada y Lenguaje Aceptado

Se dice que la cadena x es aceptada por un AFD si:

Se dene Lenguaje Aceptado por un AFD M como:

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

ndice

1 Automatas Finitos
Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Relacin entre AFND y AFD
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y
Complemento de Autmatas

2 Mquinas Secuenciales
Mquina de Moore
Mquinas de Mealy
Minimizacin

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Denicin
Se dene AFND como:

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Cadena Aceptada y Lenguaje Aceptado

Se dice que una cadena x es aceptada por un AFND si:

Se dene Lenguaje Aceptado por un AFND M como:

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

ndice

1 Automatas Finitos
Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Relacin entre AFND y AFD
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y
Complemento de Autmatas

2 Mquinas Secuenciales
Mquina de Moore
Mquinas de Mealy
Minimizacin

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Teorema

Sea un AFND A que acepta el lenguaje L, entonces existe un AFD


que acepta exactamente L.

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Algoritmo de Construccin
Sea el AFND A y el AFD B:

Donde la construccin se realiza como:

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

ndice

1 Automatas Finitos
Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Relacin entre AFND y AFD
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y
Complemento de Autmatas

2 Mquinas Secuenciales
Mquina de Moore
Mquinas de Mealy
Minimizacin

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Teorema

Sea L un lenguaje del auotmata nito que acepta cadena w,


entonces existe un lenguaje aceptado por un automata nito, que
acepta cadenas de la forma w
R

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Construccin

Sea el automata nito

que acepta al lenguaje L, vamos a construir el AFND

R
que acepta L .

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Construccin (cont.)
Paso 1: Agregamos un nuevo estado que ser el estado
inicial de B:

Paso 2: Los estados de B quedan denidos de la siguiente


manera:

Paso 3: La relacin de transicin de dene como:

Paso 4: El conjunto de estados de aceptacin de B se dene


como:

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

ndice

1 Automatas Finitos
Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Relacin entre AFND y AFD
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y
Complemento de Autmatas

2 Mquinas Secuenciales
Mquina de Moore
Mquinas de Mealy
Minimizacin

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Unin de Autmatas Finitos Determinstas

Sea L1 y L2 dos Lenguajes Regulares entonces L1 UNIN L2 es un


lenguaje Regular
Construccin:
Sea

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Unin de Autmatas (Cont.)

Construmos la UNIN como:

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Concatenacin de Autmatas Finitos Determinstas

Sea L1 y L2 dos Lenguajes Regulares entonces L1 . L2 es un lenguaje


Regular
Construccin
Sea

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Concatenacin de Autmatas (Cont.)

Construimos la CONCATENACIN como:

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Complemento de Autmatas Finitos Determinstas

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Interseccin Autmatas Finitos Determnista

Sea L1 y L2 dos Lenguajes Regulares entonces L1


INTERSECCIN L2 es un lenguaje Regular
Construccin:
Sea

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Interseccin de Autmatas (Cont.)

Construimos la INTERSECCIN como:

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Estrella de Kleene o Cerradura de Autmatas Finitos


Determinsta

Sea L un Lenguaje Regular, entonces L


* es un lenguaje Regular.

Automatas Finitos y Mquinas Secuenciales


Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Automatas Finitos
Relacin entre AFND y AFD
Mquinas Secuenciales
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y Com

Estrella de Kleene (Cont.)


Construccin:
Paso 1) Se aade un nuevo estado que va a ser el de inicio
Paso 2) Este nuevo estado inicial tambin lo marcaremos como de
aceptacin (para que as puede aceptar la cadena vaca)
Paso 3) Por cada uno de los arcos que hay desde el estado inicial
original hacia otros (puede ser el mismo), se dibuja desde el nuevo
estado inicial un arco hacia el estado destino del arco
correspondiente en el diagrama original y se etiqueta con el mismo
smbolo
Paso 4) Desde cada estado de aceptacin se dibuja un arco por
cada uno de los que salen desde el estado inicial original hacia
otros (puede ser el mismo). Este sale hacia el estado destino del
arco correspondiente que sala del estado inicial en el diagrama
original y se etiqueta con el mismo smbolo.
Paso 5) Se quita la caracterstica de inicio del estado inicial
original.
Automatas Finitos y Mquinas Secuenciales
Mquina de Moore
Automatas Finitos
Mquinas de Mealy
Mquinas Secuenciales
Minimizacin

ndice

1 Automatas Finitos
Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Relacin entre AFND y AFD
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y
Complemento de Autmatas

2 Mquinas Secuenciales
Mquina de Moore
Mquinas de Mealy
Minimizacin

Automatas Finitos y Mquinas Secuenciales


Mquina de Moore
Automatas Finitos
Mquinas de Mealy
Mquinas Secuenciales
Minimizacin

Denicin

Una Mquina de Moore se dene como:

Automatas Finitos y Mquinas Secuenciales


Mquina de Moore
Automatas Finitos
Mquinas de Mealy
Mquinas Secuenciales
Minimizacin

ndice

1 Automatas Finitos
Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Relacin entre AFND y AFD
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y
Complemento de Autmatas

2 Mquinas Secuenciales
Mquina de Moore
Mquinas de Mealy
Minimizacin

Automatas Finitos y Mquinas Secuenciales


Mquina de Moore
Automatas Finitos
Mquinas de Mealy
Mquinas Secuenciales
Minimizacin

Denicin

Una mquina de Mealy se dene como:

Automatas Finitos y Mquinas Secuenciales


Mquina de Moore
Automatas Finitos
Mquinas de Mealy
Mquinas Secuenciales
Minimizacin

ndice

1 Automatas Finitos
Automatas Finitos Determinsticos (AFD)
Automatas Finitos No Determinsticos (AFND)
Relacin entre AFND y AFD
Cadena Inversa
Unin, Concatenacin, Interseccin, Estrella de Kleene y
Complemento de Autmatas

2 Mquinas Secuenciales
Mquina de Moore
Mquinas de Mealy
Minimizacin

Automatas Finitos y Mquinas Secuenciales


Mquina de Moore
Automatas Finitos
Mquinas de Mealy
Mquinas Secuenciales
Minimizacin

Deniciones Importantes y Lemas de Minimizacin

Decimos que dos Mquinas Secuenciales son equivalentes sii

Decimos que M es mnima sii no existe una M equivalente '

con menos estados que M


Decimos que dos estados son equivalentes cuando:

LEMAS DE MINIMIZACIN

Automatas Finitos y Mquinas Secuenciales

Vous aimerez peut-être aussi