EJERCICIO A

TRABAJAR

Caracterización M = { { q 0 , q 1 } , { a ,b , λ } ,δ , q 0 , { q 1 } }
del autómata a
pila K={ q 0 ,q 1 }

∑ ¿ { a ,b , λ }
S=q 0

F=q 1

Donde la función δ : {q0,q1}x{ a , b , λ } { q 0 ,q 1 } viene dada por:

δ { q 0 , a , λ , a , b , λ , b }=q0

δ { q 0 , λ , λ , λ }=q1

δ { q 1 , λ ,b , b , λ , a , a }=q1

Estado a b λ

Q0 q0 q0 q0

q1

Q1 q1 q1 q1

 El autómata es finito no determinista AFND, dado que existe más de una

transición en un mismo estado δ(q,a).

Características del autómata

Este tipo de autómata finito, tiene transiciones vacías o que por cada
símbolo desde un estado de origen se llega a más de un estado destino. Es
imprescindible en el análisis lexicográfico y el diseño de los lenguajes de
programación.
 Su transición desde un estado puede tener múltiples destinos

 Permite transiciones con varias cadenas vacías

 Una cadena es aceptada si solo una de todas sus posibles

transiciones son hacia un estado final

 Requiere menos espacio

Procedimiento
de paso a paso
del recorrido de
una cadena
Practicar y
verificar lo
aprendido

Lenguaje ((b+b;a+a)*( λ + λ + λ)* (a+a+ λ) (b+b+ λ))*

regular