Revision de Presaberes Autmatas y Lenguajes Formales

Segn el Ministerio de Educacin Nacional (http://www.mineducacion.gov.co/1621/article-87727.html) define un crdito acadmico de la siguiente forma: "Un Crdito Acadmico es la unidad que mide el tiempo estimado de actividad acadmica del estudiante en funcin de las competencias profesionales y acadmicas que se espera que el programa desarrolle.

El Crdito Acadmico equivale a 48 horas totales de trabajo del estudiante, incluidas las horas acadmicas con acompaamiento docente y las dems horas que deba emplear en actividades independientes de estudio, prcticas, preparacin de exmenes u otras que sean necesarias para alcanzar las metas de aprendizaje propuestas, sin incluir las destinadas a la presentacin de exmenes finales". De lo anterior se deduce que el total de horas del curso de Autmatas y Lenguajes Formales es de: 144 La definicin de semntica tiene una connotacin importante, una de las definiciones que usted encuentra a continuacin no es la correcta. Seleccinela Son las normas o reglas que definen un lenguaje. Son la secuencia de smbolos, que forman cadenas de smbolos de un lenguaje. Relacione el tipo de Autmata de la Izquierda con los Lenguajes de la Derecha Mquina de Turing = Lenguaje Recursivamente Enumerables Lenguaje dependiente del Contexto = Autmata Linealmente Acotado Lenguaje Independiente del Contexto = Autmata con Pila Lenguaje Regular = Autmata Finito En sus funciones de un Autmata como mquina que procesa datos, el orden lgico con que realiza estas funciones es: Acepta una entrada -> cambia de estado -> produce una salida Relacione el tipo de Autmata con las actividades que realizan Autmatas aceptadores = Reciben, procesan, salidas binarias Autmatas generadores = no reciben, procesan, generan informacin Autmatas transductores = Reciben, procesan, generan informacin En la Teora de los lenguajes formales, disciplina perteneciente a la informtica, se describen tres tipos de autmatas que reconocen tipos diferentes de lenguajes, marque los tres tipos de Autmatas correctos

Autmatas Finitos Autmatas a Pila Mquinas de Turing Los autmatas finitos se utilizan generalmente para: Verificar que las cadenas pertenecen al lenguaje. Como un analizador en la traduccin de algoritmos al computador.
La cinta sobre la que lee las entradas la Mquina de Turing, es infinita tanto a la izquierda como a la derecha

Falso La Teora de los Autmatas y Lenguajes Formales tiene su aplicacin en variadas disciplinas, marque tres de ellas Reconocimiento de Patrones Procesadores de Lenguajes Modelado de Redes Neuronales

Reconocimiento Unidad 1 Autmatas y Lenguajes Formales

Adquirir las habilidades necesarias para desarrollar autmatas y mquinas que reconozcan lenguajes o computen funciones es uno de los objetivos especficos para el desarrollo de las actividades de la Unidad 1 Verdadero Uno de los siguientes textos que encuentra a continuacin, NO es objetivo de la unidad No. 1 Lenguajes regulares: Reconocer el potencial de procesamiento del lenguaje del autmata con los autmatas de pila. Para el siguiente texto sobre la temtica estudiada en la Unidad No. 1, Evale si es verdadera o falsa. Las mquinas de Turing son estudiadas en esta unidad con el propsito de crear un modelo razonable de la capacidad de un computador. Falso Los lenguajes se pueden clasificar segn el tipo de dispositivos de aceptacin y generacin que existen para ellos. Con respecto a esto, empareje los siguientes textos:

Los dispositivos de generacin de los lenguajes regulares y de los lenguajes libres de contexto, son ampliamente usados como modelos para expresar la = sintaxis de los lenguajes de programacin. Los mecanismos de aceptacin de los lenguajes regulares y de los lenguajes libres de contexto forman la base para = el diseo de los analizadores lxicos y sintcticos de los compiladores. Las Mquinas de Turing ideadas incluso mucho antes de existir los computadores modernos solo servan para un propsito especfico Falso Los Lenguajes Regulares estn en estrecha relacin con los Autmatas Finitos que son a su vez los tipos de Mquinas ms simples Verdadero Un diagrama de Moore o de Transicin de Estados representa una abstraccin de un modelo matemtico de un Autmata, siendo anlogo a ____________, que representa la abstraccin de una Mquina usada en procesos automatizados. El plano del diseo de la mquina El smbolo de salida que en un instante determinado produce un autmata, no slo depende del ltimo smbolo recibido a la entrada, sino de toda la secuencia o cadena, que ha recibido hasta ese instante. Verdadero Los lenguajes aceptados por los autmatas finitos son fcilmente descritos por expresiones simples llamadas expresiones regulares quienes les dan el nombre de conjuntos regulares a dichos lenguajes. Verdadero En el Lenguaje de las Expresiones Regulares cada palabra denota un Lenguaje Regular Verdadero

Leccion Evaluativa 1 Autmatas y Lenguajes Formales

Defina los siguientes conceptos: smbolo, alfabeto, palabra, lenguaje y gramtica. Smbolo: = es la representacin de un carcter.

Alfabeto: = conjuntos de smbolos, caracteres, letras, etc. Gramtica: = ciencia que se encarga del estudio de las palabras. Lenguaje: = unin de smbolos. Indicar si la siguiente afirmacin es verdadera o falsa: Para todo autmata finito puede construirse una tabla de transiciones, tal que cada fila i representa un estado, cada columna j un smbolo y cada celda (i,j) contiene los posibles estados que alcanza el diagrama de transiciones cuando se encuentra en el estado i y lee el smbolo j. Verdadero El nmero mnimo de estados de un autmata finito no determinista es: Uno Los palndromos (palabras capicas) del idioma castellano, tales como a, y, dad, oso, erre, etc., constituyen un: Lenguaje Independiente del Contexto (en sentido estricto). Los autmatas se pueden representar mediante: (seleccione 2 opciones) Tabla de transiciones Diagramas de Moore Indique cul de las siguientes afirmaciones es verdadera: Los autmatas finitos tienen un nmero finito de estados Los autmatas finitos no Determinsticos o no deterministas tienen las caractersticas de: Permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. Todo autmata finito determinista de n estados, cuyo alfabeto E contiene m smbolos debe tener m x n transiciones. Verdadero La Teora de Conjuntos es de importancia y es un prerrequisito en el estudio de la Teora de los Autmatas y Lenguajes Formales Verdadero Seleccione el Smbolo usado para representar un Alfabeto ?

Quiz 1 Automatas y Lenguajes Formales

Indique cul de las siguientes afirmaciones es la verdadera: a. Ninguna de las anteriores. b. Las mquinas de turing y los autmatas de pila son autmatas finitos. c. Los autmatas finitos solo pueden aceptar lenguajes finitos. d. Los autmatas finitos tienen un nmero finito de estados. Indicar si la siguiente afirmacin es verdadera o falsa: "Para todo autmata finito puede construirse una tabla de transiciones, tal que cada fila i representa un estado, cada columna j un smbolo y cada celda (i, j) contiene los posibles estados que alcanza el diagrama de transiciones cuando se encuentra en el estado i y lee el smbolo j" Verdadero Falso Los lenguajes aceptados por los autmatas finitos son fcilmente descritos por expresiones simples llamadas expresiones regulares, quienes les dan el nombre de conjuntos regulares a dichos lenguajes Verdadero Falso Indique cul de las siguientes afirmaciones es verdadera: a. Los autmatas finitos no deterministas son ms potentes que los autmatas finitos deterministas b. Ninguna de las afirmaciones anteriores es cierta c. En un diagrama completo que represente a un autmata finito determinista, de cada estado sale un arco por smbolo y solo uno. d. Un autmata finito no determinista es una representacin abreviada de un autmata finito determinista. Indicar cul es el tipo de autmata ms sencillo (menos potente) capaz de reconocer el lenguaje {xnymzn | n>=25, m>=50}. a. Un autmata de pila determinista b. Una mquina de Turing. c. Un autmata finito d. Un autmata de pila no determinista Teniendo en cuenta que podemos definir un Autmata como una mquina conceptual o terica para el reconocimiento de patrones, entonces los siguientes componentes: Analizados Lxico, Analizador Sintctico y Generador de Cdigo corresponderan a una aplicacin de un Autmata en el la implementacin de: a. Lenguajes de Programacin b. Compiladores c. Aplicaciones de Computador d. Procesadores de texto

Los palndromos (palabras capicas) del idioma castellano, tales como "a", "y", "dad", "oso", "erre", etc., constituyen un: a. Lenguaje estructurado por frases (en sentido estricto) b. Es una mquina de turing. c. Lenguaje independiente del contexto (en sentido estricto) d. Lenguaje regular Indique cul de las siguientes afirmaciones es FALSA: a. Un autmata finito determinista utilizado como reconocedor de lenguajes con al menos una cadena necesariamente tiene que tener al menos un estado de aceptacin. b. Un autmata reconoce una cadena cuando alcanza un estado de aceptacin durante su lectura c. Un autmata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la coleccin de cadenas de dicho lenguaje. d. Dada una gramtica regular G, siempre existe un autmata finito M tal que L(G) = L(M) y M tiene un nico estado de aceptacin. Indique cul de las siguientes afirmaciones es Falsa: a. En un autmata finito determinista para cada estado existe exactamente una transicin por cada smbolo del alfabeto de la mquina. b. En un autmata finito no determinista puede haber cero, una o ms transiciones desde un estado leyendo el mismo smbolo de entrada que conduzcan a estados diferentes (o posiblemente al mismo). c. Para un autmata finito no determinista siempre podrn recorrerse una o ms rutas distintas al leer una cadena dada, y por tanto todas debern examinarse para verificar si alguna termina en un estado de aceptacin. d. Los autmatas finitos tienen un nmero finito de estados. Los autmatas finitos se utilizan generalmente para: a. Verificar que las cadenas pertenecen al lenguaje b. Reconocer todo tipo de lenguajes c. Como un analizador en la traduccin de algoritmos al computador. d. No tienen un uso habitual en la computacin prctica actual. En un contexto general un Lenguaje lo podemos definir como: a. Un Sistema de Smbolos Convencionales, hablados o escritos con el que nos comunicamos b. Significado de las cadenas que lo componen c. Conjunto de instrucciones que indican acciones a realizar d. Estudio de las reglas y principios que regulan su uso Uno de los principales factores determinantes en la revolucin en el mbito de la ciencia, la tcnica y la cultura de nuestros das es el desarrollo de la Informtica PORQUE Un lenguaje natural como el ingls o el espaol son la clase de

lenguajes que han evolucionado con el paso del tiempo y tienen por fin la comunicacin humana. a. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin b. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA c. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA d. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin A continuacin encuentra un listado de los que pueden ser lenguajes formales, seleccione cules son: a. El conjunto de todos los programas no vlidos en un determinado lenguaje de programacin. b. El conjunto de todas las palabras sobre {a} c. El conjunto de entradas para las cuales una particular mquina de Turing se detiene. d. El conjunto {an: n es un nmero primo} Los Autmatas finitos no Determinsticos tienen las caractersticas de: a. No permitir que cada nodo del diagrama de estados salga un nmero de flechas mayor o menor. b. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. c. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vaca. d. Permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor. Los autmatas se pueden representar mediante: a. El conjunto de tablas representativas b. El conjunto de entradas de una mquina de turing c. Diagrama de Moore d. Tablas de transiciones Calificacin: 20,8/25

Reconocimiento Unidad 2 Automatas y Lenguajes Formales

Qu es un Lenguaje Libre de Contexto? Es aquel generado por una gramtica libre de contexto. Las Gramticas Libres de Contexto han influido o permitido un avance o desarrollo significativo en los Lenguajes de Programacin. Totalmente de Acuerdo Una gramtica libre de contexto puede ser definida mediante un conjunto de ___ Elementos

Cuatro Qu son los Arboles de Derivacin? Son los que permiten mostrar grficamente cmo se puede derivar cualquier cadena de un lenguaje a partir del smbolo distinguido de una gramtica que genera ese lenguaje. Relacione los elementos de un rbol de derivacin con sus caractersticas Nodo Raz = Rotulado con el smbolo inicial de la Gramtica Hoja = Corresponde a un smbolo Terminal o no Terminal Nodo = Corresponde a un smbolo no Terminal Una gramtica libre de contexto en lingstica e informtica es una gramtica formal en la que cada regla de produccin es de la forma: V?w Toda Gramtica Libre de Contexto (GIC) puede ser transformada en un GIC en Forma Normal de Chomsky Verdadero Cuando hay recursividad por la Izquierda, los rboles de derivacin se expanden por la Derecha Falso Seleccione los componentes de los Arboles de Derivacin: Nodo raz, nodos interiores, Hojas

Leccion Evaluativa 2 Automatas y Lenguajes Formales

El lenguaje que reconoce un autmata a pila pertenece al grupo (IDENTIFIQUELO EN EL SIGUIENTE DIBUJO) en la clasificacin de la Jerarqua de Chomsky. G2 Una pila es un dispositivo de almacenamiento que sigue el principio de: Primero-en-entrar-ltimo-en-salir Seleccione dos de los componentes de un Autmata de Pila Control Finito Cinta de Entrada

Un Autmata de Pila es descrito por un conjunto de _____ elementos Siete Relacione los elementos de la columna de la izquierda con los elementos de la columna de la derecha Smbolos del alfabeto de entrada = Letras minsculas prximas al principio del alfabeto (a, b, ..) Smbolos de Pila = Letras Maysculas prximas al final del alfabeto, X o Y, por ejemplo Conjunto de Estados = p y q, tpicamente u otras letras cercanas en orden alfabtico Cadenas de smbolos de entrada = Letras minsculas prximas el fin del alfabeto, w o z, por ejemplo Seleccione tres de los elementos que permiten definir formalmente un Autmata de Pila Smbolo inicial de la Pila Conjunto Finito de Estados Alfabeto de Pila Un Autmata de Pila al igual que una Mquina de Turing o un Autmata Finito, su definicin bsica es de naturaleza no determinista Falso Responda Verdadero o Falso con base a la siguiente proposicin lgica: "Toda cadena derivada por la izquierda de una gramtica independiente del contexto, puede derivarse tambin por la derecha" Verdadero

Quiz 2 Automatas y Lenguajes Formales

De los siguientes elementos, uno no es un componente de un rbol de derivacin a. Nodo Raz b. Nodo Final c. Nodos Interiores d. Hojas Seleccione los componentes de los rboles de derivacin a. Nodo principal, nodos secundarios, nodos finales b. Nodo inicial, nodos interiores, nodo final c. Nodo inicial, nodos internos, nodo final d. Nodo raz, nodos interiores, Hojas

Una tabla de Transiciones que permite representar un Autmata tiene tantas filas como: a. Elementos de la Funcin de Salida b. Elementos del conjunto de entradas o vocabulario de Entrada c. Elementos del Conjunto de Estados d. Letras del Alfabeto Las diferentes normalizaciones de gramticas se usan para construir cierto tipo de autmatas, seleccione las opciones que corresponden con normalizaciones de gramticas a. Forma Normal de Greibach b. Forma Normal de Chomsky c. Forma Normal de Codasyl d. Forma Normal de Boyce Codd De un Lenguaje Libre de Contexto podemos afirmar que es: a. Es el Algoritmo que nos indica el lenguaje de la gramtica b. Es un Lenguaje que es generado por una gramtica libre de contexto c. Es un lenguaje regular d. Ninguna de las Anteriores Una Gramtica Regular G, est formada por un conjunto de un nmero determinado de elementos, llamado a. Quintupla b. Ninguna de las anteriores c. Cudrupla d. Sextupla Qu son los Arboles de Derivacin? a. son los que permiten mostrar grficamente un autmata b. son los que permiten mostrar grficamente un autmata finito. c. son los que permiten mostrar grficamente un smbolo para convertirlo en un lenguaje d. son los que permiten mostrar grficamente cmo se puede derivar cualquier cadena de un lenguaje a partir del smbolo distinguido de una gramtica que genera ese lenguaje. Si TODAS las producciones de una gramtica de tipo 2 tienen la forma de la figura ubicada en el recuadro esta es una forma: a. Forma norma de Brookshear b. Forma normal de Chomsky c. Forma normal de Greibach d. Forma normal de turing Un autmata de pila por definicin tiene las siguientes caractersticas:

a. slo podemos modificar su tope, que es el extremo por donde entran o salen los caracteres. b. no podemos modificar su tope, que es el extremo por donde entran o salen los caracteres. c. La pila funciona de manera que el ultimo carcter que se almacena en ella es el primero en salir (LIFO por las siglas en ingls) d. La pila funciona de manera que el primer carcter que se almacena en ella es el primero en salir (FIFO por las sig las en ingls) El lenguaje que reconoce un autmata a pila pertenece al grupo (IDENTIFIQUELO EN EL SIGUIENTE DIBUJO) en la clasificacin de la Jerarqua de Chomsky. a. G3 b. G2 c. G1 d. G0 Una tabla de Transiciones que permite representar un Autmata tiene tantas filas como: a. Elementos del Conjunto de Estados b. Elementos del conjunto de entradas o vocabulario de Entrada c. Elementos de la Funcin de Salida d. Letras del Alfabeto Cul de las siguientes afirmaciones es VERDADERA a. En un rbol de derivacin cada nodo solamente puede tener otro hijo nodo b. En un rbol de derivacin, una gramtica es ambigua, cuando hay dos o ms rboles de derivacin distintos para una misma cadena c. Los lenguajes generados por una Gramtica Independiente del Contexto son llamados Lenguajes Regulares d. En los arboles de derivacin, no es necesario usar nodo raz Al iniciar la operacin un Autmata de Pila, la pila debe contener un contenido inicial PORQUE Al igual que los autmatas finitos, los autmatas de pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada a. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin b. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA c. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA d. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin Escoger cul de las siguientes afirmaciones es falsa: a. Los Lenguajes Libres de Contexto son cerrados para las operaciones de: Unin, Concatenacin y Clausura b. Mediante autmatas de pila de 2 pilas podra reconocerse un mayor nmero de lenguajes que mediante los usuales autmatas de una sola pila. En cada transicin, el autmata podra almacenar y leer datos de dos pilas distintas. c. Todo conjunto finito de cadenas es un lenguaje regular

d. Si L es un lenguaje aceptable por mquinas de Turing, tambin lo es el lenguaje complementario de L Una gramtica libre de contexto en lingstica e informtica es una gramtica formal en la que cada regla de produccin es de la forma: a. B w b. w w c. V w d. w v Calificacin: 23,3/25

Reconocimiento Unidad 3 Automatas y Lenguajes Formales

Segn Alan Turing, cualquier tipo de problema puede ser resuelto por una Mquina Falso Cul de las siguientes proposiciones es FALSA con respecto a las Mquinas de Turing El desplazamiento de la Mquina en la cinta es siempre hacia la derecha Una Mquina de Turing est en capacidad de realizar cualquier cmputo que un computador digital sea capaz de realizar Verdadero Indique cul de las siguientes proposiciones es verdadera: Las dos afirmaciones presentadas son falsas. Los datos en la cinta a partir de los cuales toma como entrada una Mquina de Turing, estn en formato _______________ Binario Tomando el nmero 87 que en binario es equivalente a 1010111, en formato binario expandido equivale a: 100100101010 Una mquina de Turing con una sola cinta puede ser definida como un conjunto de ___________ elementos Seis Las mquinas de Turing se diferencian de los autmatas finitos y de los autmatas de pila en que: Las mquinas de Turing pueden escribir sobre su cinta. En las mquinas de Turing la cabeza lectora puede retroceder.

Indique cul de las siguientes afirmaciones es verdadera: La tesis de Turing no implica que los lenguajes ms generales que existan sean los lenguajes estructurados por frases. En una Mquina de Turing siempre se van a recorrer la totalidad de sus casillas en la cinta Falso

Quiz 3 Autmatas y Lenguajes Formales

Cul de las siguientes afirmaciones es cierta: a. Es posible que un lenguaje sea estructurado por frases pero no exista ninguna mquina de Turing que se detenga exclusivamente cuando las cadenas escritas en su cinta pertenezcan al lenguaje b. Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena c. Ninguna de las anteriores d. Cualquier lenguaje puede ser reconocido por una mquina de Turing Indique cul de las tres siguientes afirmaciones es cierta (en caso de que las tres lo sean, seale la opcin d): a. Con una mquina de Turing ordinaria (cuya cinta es infinita en una sola direccin) es posible simular una mquina de Turing infinita en ambas direcciones b. Es posible establecer una aplicacin biunvoca (relacin uno a uno) entre las mquinas de Turing deterministas y los lenguajes estructurados por frases de modo que a cada mquina le corresponda el lenguaje que acepta c. Una mquina de Turing que tenga uno o ms estados de parada siempre concluye sus clculos d. Las tres afirmaciones son ciertas La cinta de una Muina de Turing es infinita hacia: a. Arriba b. Abajo c. La Izquierda d. La Derecha La operacin de la mquina de turing consta de los siguientes pasos: (Seleccione ms de una respuesta) a. Escribir el resultado de la mquina de turing b. Lee un carcter en la cinta c. Realiza una accin en la cinta d. Efecta una transicin de estado Escoger cul de las siguientes afirmaciones es falsa:

a. Todo conjunto finito de cadenas es un lenguaje regular b. Mediante autmatas de pila de 2 pilas podra reconocerse un mayor nmero de lenguajes que mediante los usuales autmatas de una sola pila. En cada transicin, el autmata podra almacenar y leer datos de dos pilas distintas. c. Si L es un lenguaje aceptable por mquinas de Turing, tambin lo es el lenguaje complementario de L La mquina de Turng opera cclicamente dado que: a. Una instruccin viene representada por una quntupla. b. La cabeza puede leer y escribir en un mismo carcter. c. Comienza por una palabra de entrada. d. Al comienzo de un ciclo se parte de una determinada configuracin. No hay diferencia alguna entre una Mquina de Turing y una Mquina Universal de Turing PORQUE Las dos hacen referencia a la misma mquina a. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA b. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA c. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin d. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin La afirmacin: Una mquina de Turing universal es capaz de decidir cualquier lenguaje independiente del contexto. a. Es falsa b. Slo es verdadera para lenguajes independientes del contexto reconocibles mediante autmatas de pila deterministas c. Es verdadera Para las siguientes afirmaciones Indique cul es verdadera: a. Un autmata de pila determinista nunca puede meterse en un ciclo que se ejecute indefinidamente b. Una mquina de Turing determinista puede meterse en un ciclo que se ejecute indefinidamente. c. Un autmata finito nunca puede meterse en un ciclo que se ejecute indefinidamente Una de las siguientes afirmaciones es verdadera seleccinela: a. La tesis de Turing no implica que los lenguajes ms generales que existan sean los lenguajes estructurados por frases. b. Dada una mquina de Turing, existe una gramtica estructurada por frases que genera el mismo lenguaje que acepta el autmata si y slo si la mquina es determinista. c. La tesis de Turing implica que para todo lenguaje existe una mquina de Turing que lo acepta, ya sea el alfabeto finito o infinito.

Suponga que se desea construir una mquina de Turing que enumere en orden sobre su cinta todos los nmeros enteros. Indique cul de las siguientes afirmaciones es verdadera: a. La mquina necesariamente habra de proporcionar el resultado en notacin binaria b. La mquina podra devolver el resultado en notacin decimal c. No existe ninguna mquina de Turing, ya que el problema planteado no es computable Indique cul de las siguientes afirmaciones es verdadera: a. Es posible disear una mquina de Turing de tres cintas que reconozca tres lenguajes. b. Con una nica mquina de Turing, ya sea de una o varias cintas, determinista o no determinista, slo es posible reconocer un lenguaje c. Con una nica mquina de Turing pueden reconocerse tres lenguajes: el lenguaje de las cadenas que acepta, el lenguaje de las cadenas que rechaza y el lenguaje de las cadenas que llevan a la mquina a un bucle de ejecucin infinita. En una Mquina de Turing la cabeza lectora es de Escritura y Lectura debido a que: a. La cabeza se mueve Unidireccionalmente. b. La cinta puede ser modificada en curso de ejecucin. c. Se lee un Carcter en la Cinta. d. No pasa repetidas veces sobre un mismo segmento. La mquina universal de Turing esta disea para realizar cualquier clculo especfico particular debido a que: a. Es un intrprete de la informacin de salida b. Es capaz de realizar cualquier algoritmo c. Parar cuando el clculo sea indeterminado. d. Las instrucciones se basan en una fase del algoritmo universal. Corresponden con acciones sobre una cinta en la Mquina de Turing que son excluyentes (si se realiza una no se realiza la otra) a. Mover la cabeza a la Izquierda o a la Derecha b. Escribir una Palabra en la Memoria c. Escribir un carcter en la cinta d. Recuperar el ltimo

carcter

ledo

Calificacin 23,3/25