Académique Documents
Professionnel Documents
Culture Documents
UNAD
Código: 1072592374
Grupo:301405_6
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 autómatas finitos deterministas son los llamados
acíclicos y un ejemplo de éstos son los tries.
Equivalencias entre autómatas finitos
Se dice que dos autómatas finitos son equivalentes, si ambos reconocen el mismo
lenguaje regular.
Toda expresión regular (que define a su vez un lenguaje regular) puede ser
expresada como un autómata finito determinista,8 y viceversa.9 Dada una
expresión regular, es posible construir un AFND-ε que reconozca dicho lenguaje,
por ejemplo mediante el algoritmo de Thompson. Luego, todo AFND-ε puede
transformarse en un AFND equivalente, así como todo AFND puede transformarse
en un AFD equivalente, mediante el método llamado construcción de conjunto
potencia. Así, por transitividad, para cualquier autómata finito no determinista
siempre existe un autómata finito determinista equivalente, y viceversa.3
Haciendo la analogía con los AFDs, en un AFND puede darse cualquiera de estos
dos casos:
Ejemplo 3:
Autómata finito determinístico que acepta el lenguaje
L3 = {xc^3m/ x ∈ {a, b}* y la cantidad de b’s es par y m ≥ 0}
M3D = < {e0, e1, e2, e3, e4}, {a, b, c}, δ3D, e0, {e0, e4}>
δ3D está definida por el siguiente diagrama de transición de estados
REFERENCIAS BILIOGRAFICAS