Docsity
Docsity

Prepara tus exámenes
Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity


Consigue puntos base para descargar
Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium


Orientación Universidad
Orientación Universidad

automatas y lengiuajes formales, Guías, Proyectos, Investigaciones de Teoría de Lenguajes Formales para Autómatas

procedimiento para lograr establcer una maquina de turning

Tipo: Guías, Proyectos, Investigaciones

2020/2021

Subido el 07/06/2021

fredsame
fredsame 🇨🇴

5

(1)

3 documentos

1 / 14

Toggle sidebar

Esta página no es visible en la vista previa

¡No te pierdas las partes importantes!

bg1

1
1
Unidad 3: Fase 4 - Debatir y desarrollar los ejercicios planteados sobre Máquinas deUnidad 3: Fase 4 - Debatir y desarrollar los ejercicios planteados sobre Máquinas de
TuringTuring
Elaborado por:Elaborado por:
Ana Cristina CalderónAna Cristina Calderón
Edwin BermúdezEdwin Bermúdez
Diego Fernando MartínezDiego Fernando Martínez
Bilmer PérezBilmer Pérez
Manuel Felipe MontoyaManuel Felipe Montoya
Presentado a:Presentado a:
Edgar Antonio CortesEdgar Antonio Cortes
Curso:Curso:
301405_43301405_43
UNIVERSIDUNIVERSIDAD AD NACIONAL ABIERTA NACIONAL ABIERTA Y A DISTY A DISTANCIAANCIA
SANTIAGO DE CALI, NOVIEMBRE DE 2018SANTIAGO DE CALI, NOVIEMBRE DE 2018
pf3
pf4
pf5
pf8
pf9
pfa
pfd
pfe

Vista previa parcial del texto

¡Descarga automatas y lengiuajes formales y más Guías, Proyectos, Investigaciones en PDF de Teoría de Lenguajes Formales para Autómatas solo en Docsity!

Unidad 3: Fase 4 - Debatir y desarrollar los ejercicios planteados sobre Máquinas deUnidad 3: Fase 4 - Debatir y desarrollar los ejercicios planteados sobre Máquinas de TuringTuring

Elaborado por:Elaborado por: Ana Cristina CalderónAna Cristina Calderón Edwin BermúdezEdwin Bermúdez Diego Fernando MartínezDiego Fernando Martínez Bilmer PérezBilmer Pérez Manuel Felipe MontoyaManuel Felipe Montoya

Presentado a:Presentado a: Edgar Antonio CortesEdgar Antonio Cortes

Curso:Curso: 301405_43301405_

UNIVERSIDUNIVERSIDADAD NACIONAL ABIERTANACIONAL ABIERTA Y A DISTY A DISTANCIAANCIA

SANTIAGO DE CALI, NOVIEMBRE DE 2018SANTIAGO DE CALI, NOVIEMBRE DE 2018

Desarrollo de la actividad grupalDesarrollo de la actividad grupal Actividad 2Actividad 2 TTeniendo en cuentaeniendo en cuenta la siguiente tabla de transición de unala siguiente tabla de transición de una máquina de Mealy, realice:máquina de Mealy, realice: FF EEnnttrraaddaa EstadoEstado q0q0 0101 qq 11 qq 00 q1q1 qq 33 qq 00 q2q2 qq 11 qq 22 q3q3 qq 22 qq 11

FF EEnnttrraaddaa EstadoEstado 0101 q0q0 11 00 q1q1 11 11 q2q2 00 11 q3q3 00 11

1.1. { ,{ , (^00) , Σ, ⋀, , }, Σ, ⋀, , }Identifique los componentes de la Máquina de Turing (descríbala). La máquina de Mealy es una 6 tuplaIdentifique los componentes de la Máquina de Turing (descríbala). La máquina de Mealy es una 6 tupla ==

⋀⋀ ====^00 = Σ == Σ =

:: :: ΣΣΣΣ →→→→ ==⋀⋀ == óó (^) óó óó

  • Se ingresa 0 en el autómata y vemos como salta al estado q1 donde la cinta nos marca 1Se ingresa 0 en el autómata y vemos como salta al estado q1 donde la cinta nos marca
  • Se ingresa 0 y el autómata salta al estado q3 donde la cinta nos marca 1Se ingresa 0 y el autómata salta al estado q3 donde la cinta nos marca
  • Se ingresa 0 y el autómata salta al estado q2 donde la cinta nos marca 0Se ingresa 0 y el autómata salta al estado q2 donde la cinta nos marca
  • Se ingresa 0 y el autómata salta al estado q1 donde la cinta nos marca 0Se ingresa 0 y el autómata salta al estado q1 donde la cinta nos marca

01 =01 = ({0,1}, {0,1},({0,1}, {0,1}, ′′,, ′′,, ′)′)^77

Dónde:Dónde: (( 0,1)0,1) = 0, (= 0, ( 0,1)0,1) == 11 :: (^00) ((^00 0,0)0,0)^ = 1, (= 1, (′′;; ′′( 0( 0 0,0)0,0)^00 ) =) = == ′′( 0( 0 11 00 , 1), 1) ==:: 0000 ;; ′′( 0( 0^00 , 1), 1) == 0000 (^11) (( 0011 00 1,0)1,0)^ = 3, (= 3, (′′;;′′;; ′′′′( 1( 1( 0( 0 1,0)1,0)^1100 ) =) =) =) = == ′′( 1( 1′′( 0( 0 0011 00 , 1), 1), 1), 1) == ==:: 11001100 ;;;; ′′′′( 1( 1( 0( 0^1100 , 1), 1), 1), 1) == == (^11220011) (( (^00) (( 00 1,1)1,1)2,1)2,1) = 0, (= 0, (= 0, (= 0, (′′;; ′′( 0( 0 1,1)1,1)2,1)2,1) (^00) ) =) = ==== ′′( 0( 0 (^1111 00) , 1), 1) ==:::: 0000 ;; ′′( 0( 0 (^00) , 1), 1) == 0000 (^00) (( 1100 11 2,1)2,1)^ = 0, (= 0, (′′′′;;;; ′′′′( 1( 1( 0( 0 2,1)2,1) (^1100) ) =) =) =) = == (^) ′′′′( 1( 1( 0( 0 (^11 1100) , 1), 1), 1), 1) == ==:: 00000000 ;;;; ′′′′( 2( 2( 0( 0 (^1100) , 1), 1), 1), 1) ==== 22221111 ′′ (^) = { 0= { 0 (^11) ,, 2211 ,, 0011 ,, 0022 ,, 1111 }} VVemos que elemos que el estadoestado 2211 , nunca han sido creado, por lo tanto, se, nunca han sido creado, por lo tanto, se anularán todas las transiciones correspondientes a dicho estado.anularán todas las transiciones correspondientes a dicho estado.

5.5. Explique cinco características de la MExplique cinco características de la Máquina de Mealy y encuentre cinco diferencias con láquina de Mealy y encuentre cinco diferencias con lasas Máquinas de MooreMáquinas de Moore

MMááqquuiinnaa ddee MMeeaallyy MMááqquuiinnaa ddee MMoooorree

La salLa sal y entraday entradaida deida dependpende tante tanto de la sito de la situacuación ación actuatuall La salLa salida sida solo deolo depenpende de la side de la situatuacióción actun actualal

La máqLa máquina deuina de MealyMealy ejecutejecuta mása más rápidorápido a lasa las NecesiNecesita másta más lógiclógica paraa para decodifdecodificar licar lasas eennttrraaddaass ssaalliiddaass

LaLa sasalilidada cacambmbiaia enen lolos es extxtreremomos ds de re relelojoj ElEl cacambmbioio dede enentrtradada ca cauausasa cacambmbioio enen lala salida debido a la lógicasalida debido a la lógica

PrPresesenentata memenosnos esestatadosdos quque le la ma máqáquiuinana dede PrPresesenentata mámáss esestatadosdos quque le la ma máqáquiuinana dede MMoooorree MMeeaallyy

PPrreesseennttaa uunn cciirrccuuiittoo ssuummaaddoorr PPrreesseennttaa uunn ssuummaaddoorr sseerriiaall

Actividad 3Actividad 3 Desarrolle el siguiente ejercicio: AsDesarrolle el siguiente ejercicio: Asuma que hubouma que hubo un error en el dato recibido enun error en el dato recibido en el par de bitsel par de bits codificados 2, 5 y 8 con distancia de haming.codificados 2, 5 y 8 con distancia de haming.

TTeniendo en cuentaeniendo en cuenta que el dato deque el dato de entrada es: 00110100entrada es: 00110100

1.1. RealiRealice elce el diagrdiagramaama de árde árbol.bol. (Comp(Completelete la tla tabla)abla)..

Paso 1: Completamos la tabla dePaso 1: Completamos la tabla de estadosestados

EstadosEstados CodificadosCodificados 0000 1100 1100 0011 0000 1111 0011 1111

2.2. Realice el diagrama de estados para eseRealice el diagrama de estados para ese dato de entrada.dato de entrada.

3.3. Identifique en el diagrama de trellis laIdentifique en el diagrama de trellis la^ ruta correcta (identificando salidas codificadruta correcta (identificando salidas codificadas).as).

Para este diagrama se vaPara este diagrama se va a trazar la dirección correcta para los bits obtenidosa trazar la dirección correcta para los bits obtenidos anteriormenteanteriormente en la tabla deen la tabla de datos, estados y datos codificados.datos, estados y datos codificados.

Resultado de esta evaluación se obResultado de esta evaluación se obtiene el diagrama de viterbi contiene el diagrama de viterbi con las modificaciones de los bitslas modificaciones de los bits 2, 5 y 8.2, 5 y 8.

BibliografíaBibliografía

1.1. Carrasco, R., Calera,Carrasco, R., Calera, R., Forcada, M.R., Forcada, M. (2016). T(2016). Teoría De Lenguajes,eoría De Lenguajes, Gramáticas YGramáticas Y Autómatas Para Informáticos. Recuperado deAutómatas Para Informáticos. Recuperado de http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN= &lang=es&site=eds-live&ebv=EB&ppid=pp_Cover&lang=es&site=eds-live&ebv=EB&ppid=pp_Cover 2.2. Hernández, R. (2010). Practique la teoría deHernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -124).autómatas y lenguajes formales. (pp. 1 -124). Recuperado deRecuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action? docID=10566114&ppgdocID=10566114&ppg =10= 3.3. Alfonseca C, E., Alfonseca M, M., Mariyón S,Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). TeR. (2009). Teoría de autómatas yoría de autómatas y lenguajeslenguajes formales. (pp. 7-797). Recuperado deformales. (pp. 7-797). Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppghttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg =6=

4.4. Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificación deRosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificación de programas. (pp. 7 - 27).programas. (pp. 7 - 27). Recuperado deRecuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11201616&ppghttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11201616&ppg =12= 5.5. Pérez, Iván (2005). Lenguaje y Compiladores. p. 137.Pérez, Iván (2005). Lenguaje y Compiladores. p. 137.