Professional Documents
Culture Documents
Semana 15 - Sesión 43 - 44 Aútomatas de Estado Finito Derrministico
Semana 15 - Sesión 43 - 44 Aútomatas de Estado Finito Derrministico
MATEMÁTICA DISCRETA
14
1
PROPÓSITO
• Resuelve ejercicios de autómatas estado
finito no determinísticos
AUTOMATA FINITO NO DETERMINISTA
• Hay que reconocer que las cadenas que deben analizarse en una aplicación están construidas a partir de
un conjunto de símbolos. No obstante, en cualquier situación encontramos que el conjunto de símbolos
es finito. A este conjunto lo llamaremos alfabeto.
• Este dispositivo consta de un conjunto finito de estados internos (P) entre los cuales hay un estado inicial
específico So y un conjunto designado F de estados finales.
• Un autómata finito no determinista consta de una quintupla (P, V , M, So , F )
donde: P es un conjunto de estados, finito y no vació.
V es el alfabeto de entrada
M es la f unción de transición de estados
So es el estado inicial o de partida ( So ε P )
F es el conjunto de estados finales ( F С P )
• Una forma habitual de representar los autómatas finitos es mediante un grafo o diagrama de estados
donde los nodos son los estados y las aristas están orientados con los símbolos de alfabeto que hacen que
el autómata transite a un nuevo estado.
AUTOMATA FINITO NO DETERMINISTA
Ejemplo: El siguiente grafo de transiciones corresponde a un AFND que reconoce el lenguaje: (a | b)* abb
a b b
0 1 2 3
b
M esta representada por:
Donde: estados entrada
P={ 0,1,2,3} a b
V={a,b} 0 { 0 , 1} {0}
So = { 0 } 1 - {2}
F ={3} 2 - {3}
AUTOMATA FINITO DETERMINISTA
• Un autómata finito determinista, es un caso especial de AFND
en el cual:
Autoatas Finitos
a a
a b b
0 1 2 3
a,c
b
q0 q1
c
a,b
q2
a,b,c
8
Gramática regulares
• Se denominan gramáticas regulares a una colección de terminales y no
terminales, junto con un símbolo de inicio y un conjunto finito de reglas
de reescritura.
• Los lenguajes regulares son reconocidos por autómatas finitos y son generados por
gramáticas regulares.
a. P + Q denota P U Q
b. (P Q) denota P Q
En notación BNF
r|ss|r | es conmutativa
r|(s|t)(r|s)|t | es asociativo
Entonces:
EJEMPLO 4
a b
ab
a*
COMPONENTES BASICOS DE UNA EXPRESION
REGULAR
Ejemplo:
r t
s
r*st*
Ejemplo:
r t
s
(r*st*)(u(r*st*))*
u
UNION DE LENGUAJES REGULARES
Ejemplo: Sean
x y
y x
Para unirlos: se crea un nuevo estado inicial a partir del cual podamos entrar a uno de los diagramas originales sin
poder regresar.
x y
Anterior estado inicial
x
y
x
Ejemplo: Sean
x x
y y
y x
1 2 3 4
T1 T2
Solución:
x
y y x
1 2 3 4
x x y y
Reglas de precedencia de las Expresiones Regulares
• El operador * tiene la precedencia más alta .
0 1
A 0
B
25