¡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.
