PONTIFICIA UNIVERSIDAD CATLICA DEL ECUADOR SEDE AMBATO

Nombre: David Mora. Fecha: 17/02/2014.

1. La siguiente figura es un autmata finito correspondiente a un AFD? Por qu s o por qu no?

No es un autmata finito determinista porque si lo fuera para cada estado en que se encuentre el autmata, y con cualquier smbolo del alfabeto ledo, existe siempre a lo ms una transicin posible desde ese estado y con ese smbolo. Y en el estado q0 dos transacciones con el mismo smbolo de salida. 2. Construir un AFD y un AFN que acepte el lenguaje (ab U aba)* AFN

M= {{a, b}, {q0, q1, q2, q3}, , q0, q0} : (q0, a)= q1 (q1, b)= q2 (q2, a)= q0 (q0, a)=q3 (q3, b)=q0

AFD

M= {{a, b}, {q0, q1, q2, q3, q4, q5}, , q0, {q0, q2, q3} } : (q0, a)= q1 (q1, b)= q2 (q2, a)= q3 (q3,b)= q0 (q3, a)= q4 (q4, b)= q5 (q5, a)= q0

3. Obtener un AFN que acepte el lenguaje ab* U ab*a.

M= {{a, b}, {q0, q1}, , q0, {q0, q1}} : (q0, a)= q1 (q1, a)= q0 (q1, b)= q1

4. Determinar si las cadenas babba y aabaaba son aceptadas por el AFN del ejercicio 2.

babba: la cadena es rechazada porque el lenguaje que permite el autmata comienza siempre en los dos casos con la letra a. aabaaba: la cadena es rechazada porque el lenguaje que permite el autmata comienza con a seguido de b y aa con se observa en la cadena dada. 5. Sea M el AFN dado por Q={q0, q1}, ={a, b}, s={q0}, F={q1} y dada en la siguiente figura. Determinar si , a estn en el L(M). Dibujar el autmata para M.

Dibujo:

: La palabra es aceptada por el lenguaje del automata y tiene dos caminos diferentes {(q0, a)=q0, (q0, a)=q0, (qo, b)=q1} y la otra opcin es {(q0, a)=q0, (q0, a)=q1,(q1, b)=q1} : La palabra no est en el L(M). : La palabra si esta en el lenguaje del autmata y tiene un solo camino posible {(q0, b)=q1, (q1, b)=q0, (q0, a)=q1}.