TRABAJO COLABORATIVO 2

Autmatas y lenguajes formales

Universidad A ierta y a !istan"ia C#A! $almira % Centro &ur &antiago de Cali' (oviem re )2 de 2*)+ Ingenier,a de &istemas

INTRODUCCION #n esta a"tividad se -resentan ejer"i"ios asados en los temas vistos en la unidad + del "urso' entre ellos las ma.uinas de Turin' la "ual es un dis-ositivo .ue mani-ula s,m olos so re una tira de "inta/ #stos ejer"i"ios -resentan la -osi ilidad de mejorar "on la -ra"ti"a los resultados de a-rendi0aje/

#J#RCICIO )1 !ise2e una 3T .ue re"ono0"a el lenguaje de "adenas 34.uina .ue a"e-ta el lenguaje de -ala ras so re 5*')6 .ue "omien0an y a"a an "on el mismo s,m olo )/ Identifi.ue los "om-onentes de la 34.uina de Turing 7des"r, ala8/
( Q, , ,, S, F)

Q 9 5.*'.)'.2'.+'.:'.;6 9 5*')6 = { ,0,1}

S = q0 F = q5

(q0,0) = (q1,0,R) (q1,0) = (q1,0,R) (q1,1) = (q1,1,R) (q1, ) = (q3, ,L) (q3,0) = (q5,0,R)

(q0,1) = (q2,1,R) (q2,0) = (q2,0,R) (q2,1) = (q2,1,R) (q2,) = (q4, ,R) (q4,1) = (q5,1 ,R)

2/ !is<2ela en un !iagrama de 3oore

+/ Re"orra la m4.uina "on al menos una "adena v4lida/ Cadena valida: 00111110

:/ Identifi.ue una "adena .ue no sea v4lida y justif,.uela -or.ue/ Cadena invlida: 11110

#sta "adena es invalida de ido a .ue al llegar al estado .: no e=iste transi"in .ue valide la "ontinua"in de la "adena seg>n la regla dada/ ;/ #je"ute el RunTest a la "adena a"e-tada 7mu<strela en la "a-tura de imagen -ara el tra ajo8

?/ Identifi.ue en .ue momento la m4.uina se detiene #n el momento .ue la m4.uina @a evaluado toda la "adena y el siguiente s,m olo es entonces la
banda retornar a la izquierda y retomar el ltimo smbolo ledo ara !inalizar se"n la re"la#