automatas
4
1 Puntos: 1 Seleccione una respuesta. a. El alfabeto de la cinta y el alfabeto de entrada puede ser el mismo (los mismos símbolos) b. En la cinta no pueden quedar cadenas compuestas por el alfabeto de entrada c. Para que sea reconocida una cadena en la MT la cinta debe quedar vacía (solo con símbolos blanco) d. El alfabeto de la cinta debe ser diferente al alfabeto de entrada Con respecto al alfabeto (símbolos) de la cinta en una máquina de Turing (MT) y el alfabeto (símbolos) de entrada, identifica que apreciaciones son válidas: 2 Puntos: 1 Seleccione una respuesta. a. Todas las máquinas (A,B,C) se comportan como MT y como transductores b. Las máquinas "A" y "C" son AFND c. Para que la máquina "C" se comporte como transductor, necesita que el estado q0 también sea final. d. La máquina B demuestra que una MT se puede comportar como transductor Dadas las siguientes tres máquinas (A,B,C) y determine qué características son válidas en su análisis: 3 Puntos: 1 Seleccione al menos una respuesta. a. Los pares codificados son cuatro (4). es decir 8 bits b. Los pares codificados son ocho (8). es decir 16 bits c. El número de estados es: 2( potencia k(n1)) Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada (número de bits). Si K =1 ; n= 3. El total de estados es cuatro. d. El número de estados es: 2( potencia k(m1)) Dónde: K= la secuencia en cantidad de bits que van a entrar al codificador. m= la memoria del codificador ( es restringida) n = es una salida codificada (número de bits). Seleccione dos opciones: Una que identifique: El número de estados posibles para un diagrama de estados Otra que identifique: Los pares codificados en un codificador convolucional de ratio 1/2 4 Puntos: 1 Seleccione al menos una respuesta. a. Las dos máquinas reconocen el mismo lenguaje L = a* sobre ∑={a} b. La MT (A) no acepta cadenas vacías c. La MT(A), para cada cadena válida que lee, al final del cálculo desocupa la cinta d. La MT(A) para cada cadena válida que lee, al final del cálculo deja la cinta con los símbolos XXX 1. Identifique que características aplican al análisis que haga de las siguientes dos Máquinas de turing (MT). 5 Puntos: 1 Seleccione una respuesta. a. El problema de parada solo aplica a Máquinas de Turing no deterministas. Las Deterministas solucionan este problema b. Se produce una terminación anormal (es decir, la cabeza lectora se desplaza a la izquierda de la primera celda de la cinta) c. La máquina no se detiene nunca d. La máquina abandona los cálculos por no encontrar ninguna transición aplicable Seleccione cuál de las siguientes situaciones no es posible cuando una máquina de Turing determinista examina una cadena: Quiz2 AUTOMATAS Y LENGUAJES FORMALES 301405A_220 Perfil Salir Tiempo restante 0:55:09 campus13_20151 ► 301405A_220 ► Cuestionarios ► Quiz2 ► Intento 1
-
Upload
andres-rosero-narvaez -
Category
Documents
-
view
325 -
download
7
description
automatas
Transcript of automatas
-
1Puntos:1
Seleccioneunarespuesta.
a.Elalfabetodelacintayelalfabetodeentradapuedeserelmismo(losmismossmbolos)
b.Enlacintanopuedenquedarcadenascompuestasporelalfabetodeentrada
c.ParaqueseareconocidaunacadenaenlaMTlacintadebequedarvaca(soloconsmbolosblanco)
d.Elalfabetodelacintadebeserdiferentealalfabetodeentrada
Conrespectoalalfabeto(smbolos)delacintaenunamquinadeTuring(MT)yelalfabeto(smbolos)deentrada,identificaqueapreciacionessonvlidas:
2Puntos:1
Seleccioneunarespuesta.
a.Todaslasmquinas(A,B,C)secomportancomoMTycomotransductores
b.Lasmquinas"A"y"C"sonAFND
c.Paraquelamquina"C"secomportecomotransductor,necesitaqueelestadoq0tambinseafinal.
d.LamquinaBdemuestraqueunaMTsepuedecomportarcomotransductor
Dadaslassiguientestresmquinas(A,B,C)ydeterminequcaractersticassonvlidasensuanlisis:
3Puntos:1
Seleccionealmenosunarespuesta.
a.Losparescodificadossoncuatro(4).esdecir8bits
b.Losparescodificadossonocho(8).esdecir16bits
c.Elnmerodeestadoses:2(potenciak(n1))Dnde:K=eselnmerodebitsdelacadenaaevaluar(antesdesercodificada).m=lamemoriadelcodificador(esrestringida)n=esunasalidacodificada(nmerodebits).SiK=1n=3.Eltotaldeestadosescuatro.
d.Elnmerodeestadoses:2(potenciak(m1))Dnde:K=lasecuenciaencantidaddebitsquevanaentraralcodificador.m=lamemoriadelcodificador(esrestringida)n=esunasalidacodificada(nmerodebits).
Seleccionedosopciones:Unaqueidentifique:ElnmerodeestadosposiblesparaundiagramadeestadosOtraqueidentifique:Losparescodificadosenuncodificadorconvolucionalderatio1/2
4Puntos:1
Seleccionealmenosunarespuesta.
a.LasdosmquinasreconocenelmismolenguajeL=a*sobre={a}
b.LaMT(A)noaceptacadenasvacas
c.LaMT(A),paracadacadenavlidaquelee,alfinaldelclculodesocupalacinta
d.LaMT(A)paracadacadenavlidaquelee,alfinaldelclculodejalacintaconlossmbolosXXX
1.IdentifiquequecaractersticasaplicanalanlisisquehagadelassiguientesdosMquinasdeturing(MT).
5Puntos:1
Seleccioneunarespuesta.
a.ElproblemadeparadasoloaplicaaMquinasdeTuringnodeterministas.LasDeterministassolucionanesteproblema
b.Seproduceunaterminacinanormal(esdecir,lacabezalectorasedesplazaalaizquierdadelaprimeraceldadelacinta)
c.Lamquinanosedetienenunca
d.Lamquinaabandonalosclculospornoencontrarningunatransicinaplicable
SeleccioneculdelassiguientessituacionesnoesposiblecuandounamquinadeTuringdeterministaexaminaunacadena:
Quiz2
AUTOMATASYLENGUAJESFORMALES301405A_220 Perfil Salir
Tiemporestante
0:55:09
campus13_20151 301405A_220 Cuestionarios Quiz2 Intento1
-
6Puntos:1
Seleccionealmenosunarespuesta.
a.Sololamquina"B"secomportacomounAutmatayaquecontieneunestadodeaceptacnHaltylasotrasdosmquinasno
b.Lamauina"A"esunmquinadeMoore
c.Todaslasquinassecomportancomotransductores
d.Lasmquinas"A"y"C"sonrepresentacionesdeunamuinadeMealy
1.Dadaslassiguientestresmquinas(A,B,C)ydeterminequcaractersticassonvlidasensuanlisis.
7Puntos:1
Seleccioneunarespuesta.
a.Simulacualquierlenguajegeneradoporunagramticadada.
b.EsunamquinaqueescapazdesimularcualquierotramquinadeTuring.(MT)
c.LaMUTsediseparasimularalgoritmosquesolucionanproblemasinfinitos
d.Esunamquinaquequedestinadasoloparareconocerundeterminadolenguaje
LacaractersticaporlaquesedefinioformulunaMaquinaUniversaldeTuring(MUT)fue:
8Puntos:1
Seleccioneunarespuesta.
a.SilaprimeraletranoesunaalaMTcaeenuncicloinfinitoleyendoyescribiendoa
b.Lamquinaaceptapalabrasqueempiezanconbseguidasde"a"
c.Silaprimeraletradelapalabradeentradaesuna"a",siemprereconocermasdeuna"b"seguidaysedetendr.
d.Silaprimeraletranoesunaa,laMTcaeenuncicloinfinitoleyendoyescribiendob
DadalasiguienteMquinadeTuring(MT),determinequeafirmacionessonvlidasparasuanlisis:
9Puntos:1
Seleccioneunarespuesta.
a.(01110001)
b.(10001110)
c.(01100101)
d.(10011010)
13Dadoelsiguientediagramaderbol(teoradelacodificacin)identifiqueculfueeldatodeentrada.
10Puntos:1
1.LasiguienteMquinadeTuring(MT)reconoceellenguajeL={aibici:i0}sobre={a,b,c}.Identifiquequeotracaractersticavlidaespropiadeella:
-
Seleccioneunarespuesta.
a.LacintasiempreterminaconXXYYZZparacualquiercadenavlida
b.Lacintasiemprequedavaca
c.Cuandoreconoce(aaabbbccc)lacintaquedaconXXXYYYZZZ
d.CuandoreconoceunacadenavlidalacintasiemprequedaconZYZ
11Puntos:1
Seleccioneunarespuesta.
a.LadistanciadeHammingenelestado(10)cuandoinicialalecturadeldatoesde2
b.LadistanciadeHammingenelestado(10)cuandoinicialalecturadeldatoesde3
c.LadistanciadeHammingenelestado(11)esde2
d.LadistanciadeHammingenelestado(01)cuandoinicialalecturadeldatoesde3
1.DadalasiguientemalladeViterbiparaefectosdedecodificacin,identifiquequeanlisissonvlidoparaesarutayadecodificadaycorrecta:
12Puntos:1
Seleccioneunarespuesta.
a.EnunaMTrepresentalacadenavaca
b.DeterminacuandounacadenaesreconocidaparaquesedetengalaMquinadeTuring.(MT)
c.Hacepartedelalfabetodelacintayestalaizquierdayderechadelacinta
d.Estnsituadosalextremoizquierdodelacintayhacepartedelalfabetodeentrada
DentrodeloscomponentesdeunamquinadeTuring(MT),estelsmboloblancoB.Elcomportamientodeestesmboloes:
13Puntos:1
Seleccioneunarespuesta.
a.Posicindeestado(01)conentradadedato1.Cambiodeestado10consalidadedatocodificado{00}
b.Posicindeestado(11)conentradadedato0.Cambiodeestado11consalidadedatocodificado{01}
c.Posicindeestado(01)conentradadedato0.Cambiodeestado10consalidadedatocodificado{11}
d.Posicindeestado(00)conentradadedato1.Cambiodeestado00consalidadedatocodificado{01}
EldiagramadeViterbi,dentrodesusinteraccionesovalidacindedatosdefineelcambiodeestadosdeacuerdoalosdatosdeentrada.Identifiqueeldatodeentradacorrectoysucambiodeestadoconeldatodesalidacodificadocorrectamente.
14Puntos:1
Seleccionealmenosunarespuesta.
a.SiUnaMTpuedesolucionarunproblemaunaMquinarealtambinsolucionaelmismoproblema
b.LasmquinasrealestienemayorpoderdecomputacinqueunaMquinadeTuring(MT)
c.UnaMUTesunaabstracciondeunamquinareal.Secomportandeigualforma.
d.TodafuncincomputabletieneunalgoritmodecidibleprounaMT
DentrodelastesisqueplasmaronChurchyTuring,estunadelasmsaplicadasydemostradashoyenda,enfocadaalfuncionamientodelasmquinasreales(comutadoras).Estasson:
-
15Puntos:1
Seleccioneunarespuesta.
a.Reconoce{apotencia"n"bpotencia"n":n1}
b.Reconoce{apotencia"n"bpotencia"m":n1m2}
c.Reconoce{apotencia"n"bpotencia"m":n2m1}
d.Reconoce{apotencia"n"bpotencia"n":n1}
1.EvalesiasiguienteMquinadeTuring(MT)eidentifiquequecaractersticaespropiadeella:
ParaM=(K,,,q0,F,B,)dondeK={q0,q1,q2,q3,q4},F=q4,={a,b},={M,N,}
Guardarsinenviar Enviartodoyterminar
UstedsehaautentificadocomoWILLIAMANDRESROSERO(Salir)
301405A_220
