UNIVERSIDAD UNIVERS IDAD NACIONAL ABIERTA Y A DISTANCIA DISTANCIA UNAD
AUTOMATAS AUTOMATAS Y LENGUAJES FORMALES
ACTIVIDAD EVALUACIÓN INICIAL
Preparado por Cesar Andrey Lpe! Ca"a#ar$a Jo%an G&s'a(o )ern*nde! Moreno Denn+, A-.er'o Barr+os Cas'+--o C&rso /012034//
La Dorada5 Co-o#.+a 6013
Desarrollo de actividades
Problemas a desarrollar:
1. Plasme la tabla de transición. Identifique que tipo de autómata es (AFD o AFND) y ustifique su respuesta. (No se trata de dar el concepto de determinismo)
Es &n a&'#a'a no de'er#+n+s'a ya 7&e se89n e- d+a8ra#a %ay es'ados 7&e '+enen dos 'ransa$$+ones :71 a 7/ o 76 a 72;5 no #e de'er#+na &na r&'a espe$<=+$a> Ede'er#+n+s'a es #*s d+re$'o so-o '+ene &na 'ransa$$+n>
!. Identifique los elementos ("upla que es) (Asociadas con los elementos del autómata del eercicio propuesto). Debe e#plicar y describir cada elemento y la función y si$nificado en el autómata. %onceptos y definiciones adicionales.
T&p-a de- e"er$+$+o
Des$r+p$+n? •
Ʃ={a,b,c}; -e'ras
•
K= {q0, q1, q2, q3, q4, }; Es el conjunto de estados
•
de- a-=a.e'o de en'rada
δ: {q0, q1, q2, q3, q4 } × {a,b,c} → {q0, q1, q2, q3, q4 } → q0 → { q3 , q4, } ; F&n$+n 'o'a- de 'rans+$+n de es'ados
•
q0 € K; Es'ado +n+$+a-
•
; es &n $on"&n'o de es'ados =+na-es o a$ep'a.-es
&en$uaes alfabetos y e#presiones re$ulares: •
'mbolo? Represen'a$+n d+s'+n8&+.-e de $&a-7&+er +n=or#a$+n5
p&eden se? ,5@55 e'$ es &na en'+dad (+s+.-e> •
Alfabeto? $on"&n'o =+n+'o y no (a$
$on e--os pode#os =or#ar -as $adenas o pa-a.ras> •
&en$uae: Con"&n'o de pa-a.ras5 $&ando %a.-a#os so.re e- a-=a.e'o Ʃ a
$&a-7&+er s&.$on"&n'o de Ʃ5 &n -en8&a"e es &na $-ase espe$+ade $on"&n'o 7&e pode#os espe$+=+$ar $o#o =+n+'o>
•
#presión re$ular ? E- o."e'+(o de -as e,pres+ones re8&-ares es
represen'ar 'odos -os pos+.-es -en8&a"es de=+n+dos so.re &n a-=a.e'o 5 en .ase a &na ser+e de -en8&a"es pr+#+'+(os5 y &nos operadores de $o#pos+$+n> P&eden ser de '+po A-=a o de '+po .e'a>
•
*rden de prioridad de los operadores ? s de #enor a #ayor? . H5
p&eden a-'erarse $on parn'es+s de =or#a an*-o8a a -as e,pres+ones #a'e#*'+$as> To#ado de Un+dad 1? Len8&a"es Re8&-ares5 Des$r+p$+n de Len8&a"e5 A-=a.e'o y ER de %''p?$a#p&s1/>&nad>ed&>$o$a#p&s1/460131#od-esson(+eK>p%p +d2/2pa8e+d132
+. Identifique el len$uae que $enera.
Para +den'+=+$ar e- -en8&a"e pr+#ero 7&e 'odo de.e#os %a--ar -a =&n$+n de 'rans+$+n e,'end+da> Es'e pro$ed+#+en'o se %ar
En'on$es e- -en8&a"e de- a&'#a'a M ser+a?
L ( m)={W │ Ŝ (Q , W )∈ F 0
,. -uestre en el simulador ($rficamente) como recorre una cadena /lida. #plique cada secuencia. (No se trata solo de captura las im$enes0 estas deben ser e#plicarlas en pie de p$ina o de lo contrario no tienen /alide)
Tra.a"are#os en JFLAP -a $adena (a-+da? a.$a
En -as an'er+ores +#*8enes (e#os 8ra$+as a- pro8ra#a JFLAP en -as op$+ones de Imput se-e$$+ona#os step by state pode#os se-e$$+onar -a $adena abca y -a $orre#os> A- dar -a op$+n step (ere#os -a se$&en$+a &na a &na de -a $adena en -as +#*8enes (e#os $o#o pasa de- estado inicial q2 a- es'ado q1 por e- a-=a.e'o a5 (e#os en e- re$&adro +n=er+or +!7&+erdo n&es'ra $adena de color aul -a $&a+nd+$a 7&e es'* en e- es'ado a$ep'ado de- #+s#o #odo (e#os 7&e pasa dees'ado q2 a- es'ado q! ya 7&e e- s<#.o-o de /aco no a-'era so-o a.re e- paso a n&es'ra $adena5 de +8&a- =or#a se #&es'ra a$ep'ada>
En -as an'er+ores +#*8enes (e#os $o#o -a $adena $orre de- es'ado q1 a- es'ado q+5 #os'r*ndonos n&e(a#en'e -a $adena de color aul0 as< #+s#o -a $adena 7&e par'+ de- es'ado q2 a- es'ado q! (e#os 7&e pasa a- es'ado q, y se en$&en'ran en q!0 #os'r*ndonos n&e(a#en'e -a $adena de color aul.
En -a an'er+or +#a8en (e#os $o#o -a $adena 7&e $orr
5. -uestre el dia$rama de -oore $enerado en 3F&AP y en 4A' y comente tres similitudes y tres diferencias que encuentra al realiarlo en los dos simuladores. (5erramientas que ofreca uno u otro) >
6. ncuentre la e#presión re$ular(7)de forma que la asocie y la 5alle con el procedimiento de con/ertir un AF a 70 Debe quedar plasmado el procedimiento indicando y asociando los componentes de la 7 al autómatas (dia$rama de -oore)
En es'e e"er$+$+o rea-+!a#os -as dos =or#as5 -a =or#a #an&a- y -a =or#a de #a7&+na -as $&a-es (ere#os a $on'+n&a$+n?
Forma Maquina
En e- a&'#a'a se +den'+=+$a5 -as $adenas (*-+das5 en e--as 'ene#os?
A- 'ener -as $adena (a-+das en'on$es dare#os $-+$ en Inp&' Con(er' FA 'o ER5 a&'o#*'+$a#en'e sa-dr* &na (en'ana $on error>
Ese error nos +nd+$a 7&e e- a&'#a'a es AFND y de.e#os $on(er'+r e- a&'#a'a a A&'#a'a F+n+'o De'er#+n A%ora $o-o$a#os a Q2 $o#o es'ado a$ep'a.-e o =+na->
A FA
$-+$ en Inp&' Con(er' 'o ER5 nos
sa-dr* n&e(a (en'ana y -e da#os $-+$ en -a op$+n Do +' en -a op$+n e- pro8ra#a e"e$&'a -as $adenas pos+.-es y es'a.-e$e en -os es'ado (a$
N&e(a#en'e -e da#os $-+$ en Do +' y nos sa-dr* e- a&'#a'a> E- es'ado $orre$'o y -+s'o>
Le da#os $-+$ en E,por' y a&'o#a'+$a#en'e nos sa-dra &na (en'ada o'or8ando -a e,pres+n re8&-ar ER
Expresión Regular ER = (a+ab(ab!ca(ba!
Forma manual?
8. 9enere tres cadenas /lidas y dos no /lidas
%ADNA' 4A&IDA'
a.$a a
%ADNA' N* 4A&IDA'
.a$ $.
abc
. Plasme las tres cadenas /lidas para cada 7 en una tabla (identificando erarqua de operadores re$ulares0 identificando colores). Para ello apóyese en el /ideo: 5ttp:;;youtu.be;39"#5nP?c>,
@. Identifique en la misma tabla por que las dos cadenas seleccionadas no se aceptan o en qu parte se trunca la erarqua y orden de los operadores.
12.Propon$a un diseBo de un autómata (solo en dia$rama de -oore) que reconoca el mismo len$uae que el autómata de este eercicio y que ten$a como caractersticas que sea un AFD y ten$a un solo estado final.
Dado el autómata M Finito M= (K, Ʃ,q0, δ, F) Donde la función de transición está dada por, δ = [ q0, q1, q, q!" # [a,$" =% [q0,q1,q,q!" =% q0 =% [q!"
δ = (q0, a)=q1 δ = (q1, b) =q3 δ= !q3, a, b"=q3 δ= !q0, b"=q2 δ= !q2, a"=q0 δ= !q2, b"=q2