Académique Documents
Professionnel Documents
Culture Documents
Mquinas Secuenciales
Departamento de Informtica
Facultad de Ciencias Exacta
Universidad Nacional de Salta
10 de abril de 2015
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
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
Denicin
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
Denicin
Se dene AFND como:
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
Teorema
Algoritmo de Construccin
Sea el AFND A y el AFD B:
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
Teorema
Construccin
R
que acepta L .
Construccin (cont.)
Paso 1: Agregamos un nuevo estado que ser el estado
inicial de B:
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
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
Denicin
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
Denicin
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
LEMAS DE MINIMIZACIN