TRABAJO COLABORATIVO MOMENTO 3 AUTOMATAS Y LENGUAJES LENGUAJE S NO FORMALES
Presentado por: VICTOR JULIO JAIMES JAIMES GELVES GELVES
Presentado a: ANGELA MARIA GONALES TUTORA
UNIVERSI!A! UNIVERS I!A! NACIONAL NACION AL ABIERTA Y !ISTANCIA "UNA!# ESCUELA CIENCIAS B$SICAS INGENIER%AS AUTOMATAS &'()*(
INTRO!UCCION
La máquina de Turing se puede comportar como transductor: Un transductor computa una determinada función sobre una cadena en lugar de computarla sobre un conjunto de enteros o de símbolos independientes. Construyen una respuesta específica (una salida para un problema planteado. !odifica el contenido de la cinta reali"ando cierta función. #jemplos: Calcula el complemento $%y el complemento $& Cuenta el n'mero de símbolos de una palabra i)ide una palabra en dos espla"a símbolos en la cadena a i"quierda y derec*a Calcula la paridad de las cadenas +ustitución de dígitos $dición de bits bajo condiciones específicas matemáticas +on muc*ísimas las aplicaciones que como ,transducción puede generar una !áquina de Turing- #jemplo: La siguiente máquinas de Turing se puede comportar como transductor cuando reconoce cualquier combinación de ceros y unos (tambi/n reconoce 0 1 pero que tiene como salida el in)erso de los símbolos que *an entrado (cambia ,2-s por ,%-s y ,%-s por ,2-s. 3bser)e que en este caso el mismo alfabeto se usa tanto para las cadenas de entrada como para la cinta
(+ I!ENTIFI,UE LOS COMPONENTES !E LA M$,UINA !E TURING "!ESCR%BALA#+
• • • • • •
escrita como conjunto finito de estados. escrita como conjunto finito de símbolos distinto del espacio en blanco denominado alfabeto de máquina o de entrada. escrita como un conjunto finito de símbolos de cinta denominado alfabeto de cinta escrita como un símbolo denominado blanco y es el 'nico símbolo que se puede repetir un n'mero infinito de )eces. escrita como un conjunto de estados finales de aceptación. 4unción parcial denominada función de transición donde es un mo)imiento a la i"quierda y es el mo)imiento a la derec*a.
5odemos *allar un abundante n'mero de definiciones alternati)as pero todas ellas tienen el mismo poder computacional por ejemplo se puede a6adir el símbolo como símbolo de "no movimiento" en un paso de cómputo. ise6e una !T que recono"ca el lenguaje de cadenas !áquina que acepta el lenguaje de palabras sobre 72%8 que comien"an y acaban con el mismo símbolo. = {q0, q1, q2, q3, q4, q5}, Ʃ= {0,1}, S= {q0}, T= {q5}, )
MT= (K K=
{q0, q1, q2, q3, q4, q5}= es el conjunto de estados de la MT
Ʃ= {0,1}
= es
corresponde al ala!eto de entrada
el ala!eto de la c"nta # corresponde a las funciones de transición
S= {q0}
corresponde al estado "n"c"al de la MT
T= {q5}
es el estado "nal
&+ !IS-.ELA EN UN !IAGRAMA !E MOORE+
3+ RECORRA LA M$,UINA CON AL MENOS UNA CA!ENA V$LI!A E/PLICAN!O LO SUCE!I!O TANTO EN LA CINTA COMO EN LA SECUENCIA !E ENTRA!A+ $n%resa&os 01 # co&o entrada un 0
#n q% cambia un 2 por un % y corre a la derec*a
Luego se reempla"a a % por % y sigue a la derec*a
Luego reempla"a a )acío por )acío y a)an"a llegando al estado q9.
+e reempla"a a % por )acio y sigue a la i"quierda llegando al estado q.
+e reempla"a a )acío por )acío y a)an"a a la i"quierda llegando a q;.
+e reempla"a a )acio por )acio y a)an"a a la i"quierda llegando a q<
0+ I!ENTIFI,UE UNA CA!ENA ,UE NO SEA V$LI!A Y JUSTIF%,UELA POR,UE+ 'n este caso se deno&"na "nal"da porque no cont"ene ceros para su re&plao en el rrecorr"do de los estados
1+ EJECUTE EL RUNTEST A UNA CA!ENA ACEPTA!A ,UE TENGA LA MENOS CINCO S%MBOLOS
)+ I!ENTIFI,UE EN ,UE MOMENTO LA M$,UINA SE !ETIENE+ #n el momento en que una cadena se encuetre )acia automaticamente se detiene o en el momento que llega al estado q%2 cuando *a reconocido la cadena.
7. LO QUE ACABA DE DISEÑAR ES UNA MUT O UNA MT. JUSTIFIQUE SU RESPUESTA. !aquina de Turing o !T ya que solo computa una determinada funcion los !UT no reali"an un calculo e=acto los !UT procesan informacion
8. MENCIONE Y JUSTIFIQUE LAS SEMEJANZAS Y DIFERENCIAS ENTRE UNA MÁQUINA DE TURING RECONOCEDORA Y UNA MAQUINA DE TURING TRANSDUCTORA •
•
Las máquinas transductoras permiten formali"ar el funcionamiento de sistemas de entradas>salidas (de algunos1 +on aplicables en muc*os ámbitos de la informática: !aquina ?econocedora de Lenguaje Una de las características de este modelo es la posesión de una memoria infinita aunque el uso de memoria para un cálculo determinado sea finito.
SEGUN!O EJERCICIO:
(+ I!ENTIFI,UE LOS COMPONENTES !E LA M$,UINA "!ESCR%BALA#+ &+ !IS-.ELA EN !IAGRAMA "M$,UINA !E MEALY#+ 3+ RECORRA LA M$,UINA CON AL MENOS UNA CA!ENA V$LI!A E/PLICAN!O LO SUCE!I!O TANTO EN LA CINTA COMO EN LA SECUENCIA !E ENTRA!A+ 0+ I!ENTIFI,UE UNA CA!ENA ,UE NO SEA V$LI!A Y JUSTIF%,UELA POR,UE+ 1+ EJECUTE EL RUNTEST A UNA CA!ENA ACEPTA!A ,UE TENGA LA MENOS TRES S%MBOLOS )+ I!ENTIFI,UE EN ,UE MOMENTO LA M$,UINA SE !ETIENE+ 2+ E/PLI,UE CINCO CARACTER%STICAS !E LA M$,UINA !E MEALY Y ENCUENTRE CINCO !IFERENCIAS CON LAS M$,UINAS !E TURING "MT#+
TERCER EJERCICIO:
(+ Rea45e a 5on6ers47n paso a paso de a 89;4na de Mea< de e=er5454o de p;nto & a a 89;4na de Moore e;46aente+ Se de>e rea4?ar a e@p45a547n de 5ada paso ;e se rea45e &+ Ident44;e os 5o8ponentes de a M9;4na de T;r4n "des5r>aa#+ 3+ !4sDea en ;n !4ara8a de Moore+ 0+ Re5orra a 89;4na 5on a 8enos ;na 5adena 694da e@p45ando o s;5ed4do tanto en a 54nta 5o8o en a se5;en54a de entrada+ 1+ Ident44;e ;na 5adena ;e no sea 694da < =;st4;ea por;e )+ E=e5;te e R;nTest a ;na 5adena a5eptada ;e tena a 8enos 54n5o s8>oos 2+ Ident44;e en ;e 8o8ento a 89;4na se det4ene+
BIBLIOGRAFIA
*ttp:>>@@@.ia.urjc.es>cms>sites>default>files>userfiles>file>ABC!+$L>&2%9%>TemaDmaq uinasE&2secuenciales.pdf *ttps:>>pre"i.com>ius%oetfd*df>automatasFoFreconocedoresFdeFlenguaje>
