Revision de Presaberes Autómatas y Lenguajes Formales Según el Ministerio de Educación Nacional (http://www.mineducacion.gov.co/1621/article-87727.html) define un crédito académico de la siguiente forma: "Un Crédito Académico es la unidad que mide el tiempo estimado de actividad académica del estudiante en función de las competencias profesionales y académicas que se espera que el programa desarrolle.
El Crédito Académico equivale a 48 horas totales de trabajo del estudiante, incluidas las horas académicas con acompañamiento docente y las demás horas que deba emplear en actividades independientes de estudio, prácticas, preparación de exámenes u otras que sean necesarias para alcanzar las metas de aprendizaje propuestas, sin incluir las destinadas a la presentación de exámenes finales". De lo anterior se deduce que el total de horas del curso de Autómatas y Lenguajes Formales es de: 144 La definición de semántica tiene una connotación importante, una de las definiciones que usted encuentra a continuación no es la correcta. Selecciónela Son las normas o reglas que definen un lenguaje. Son la secuencia de símbolos, que forman cadenas de símbolos de un lenguaje. Relacione el tipo de Autómata de la Izquierda con los Lenguajes de la Derecha Máquina de Turing = Lenguaje Recursivamente Recursivamente Enumerables Lenguaje dependiente del Contexto = Autómata Linealmente Acotado Lenguaje Independiente del Contexto = Autómata con Pila Lenguaje Regular = Autómata Finito En sus funciones de un Autómata como máquina q ue procesa datos, el orden lógico con que realiza estas funciones es: Acepta una entrada -> cambia de estado -> produce una salida Relacione el tipo de Autómata con las actividades que realizan Autómatas aceptadores = Reciben, Reciben, procesan, salidas binarias binarias Autómatas generadores = no reciben, reciben, procesan, generan información Autómatas transductores = Reciben, Reciben, procesan, generan generan información En la Teoría de los lenguajes formales, disciplina perteneciente a la informática, se describen tres tipos de autómatas que reconocen tipos diferentes de lenguajes, marque los tres tipos de Autómatas correctos
Autómatas Finitos Autómatas a Pila Máquinas de Turing Los autómatas finitos se utilizan generalmente para:
Verificar que las cadenas pertenecen al lenguaje. Como un analizador en la traducción de algoritmos al computador. La cinta sobre la que lee las entradas la Máquina de Turing, es infinita tanto a la izquierda como a la derecha
Falso La Teoría de los Autómatas y Lenguajes Formales tiene su aplicación en variadas disciplinas, marque tres de ellas Reconocimiento de Patrones Procesadores de Lenguajes Modelado de Redes Neuronales
Reconocimiento Unidad 1 Autómatas y Lenguajes Formales Adquirir las habilidades necesarias para desarrollar autómatas y máquinas que reconozcan lenguajes o computen funciones es uno de los objetivos específicos para el desarrollo de las actividades de la Unidad 1 Verdadero Uno de los siguientes textos que encuentra a continuación, NO es objetivo de la unidad No. 1 Lenguajes regulares: Reconocer el potencial de procesamiento del lenguaje del autómata con los autómatas de pila. Para el siguiente texto sobre la temática estudiada en la Unidad No. 1, Evalúe si es verdadera o falsa. Las máquinas de Turing son estudiadas en esta unidad con el propósito de crear un modelo razonable de la capacidad de un computador. Falso Los lenguajes se pueden clasificar según el tipo de dispositivos de aceptación y generación que existen para ellos. Con respecto a esto, empareje los siguientes textos:
Los dispositivos de generación de los lenguajes regulares y de los lenguajes libres de contexto, son ampliamente usados como modelos para expresar la = sintaxis de los lenguajes de programación. Los mecanismos de aceptación de los lenguajes regulares y de los lenguajes libres de contexto forman la base para = el diseño de los analizadores léxicos y sintácticos de los compiladores. Las Máquinas de Turing ideadas incluso mucho antes de existir los computadores modernos solo servían para un propósito específico Falso Los Lenguajes Regulares están en estrecha relación con los Autómatas Finitos que son a su vez los tipos de Máquinas más simples Verdadero Un diagrama de Moore o de Transición de Estados representa una abstracción de un modelo matemático de un Autómata, siendo análogo a ____________, que representa la abstracción de una Máquina usada en procesos automatizados. El plano del diseño de la máquina El símbolo de salida que en un instante determinado produce un autómata, no sólo depende del último símbolo recibido a la entrada, sino de toda la secuencia o cadena, que ha recibido hasta ese instante. Verdadero Los lenguajes aceptados por los autómatas finitos son fácilmente 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 Autómatas y Lenguajes Formales Defina los siguientes conceptos: símbolo, alfabeto, palabra, lenguaje y gramática. Símbolo: = es la representación de un carácter.
Alfabeto: = conjuntos de símbolos, caracteres, letras, etc. Gramática: = ciencia que se encarga del estudio de las palabras. Lenguaje: = unión de símbolos. Indicar si la siguiente afirmación es verdadera o falsa: “Para todo autómata finito puede construirse una tabla de transiciones, tal que cada fila i representa un estado, cada columna j un símbolo 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 símbolo j.” Verdadero El número mínimo de estados de un autómata finito no determinista es: Uno Los palíndromos (palabras capicúas) del idioma castellano, tales como “a”, “y”, “dad”, “oso”, “erre”, etc., constituyen un: Lenguaje Independiente del Contexto (en sentido estricto). Los autómatas se pueden representar mediante: (seleccione 2 opciones) Tabla de transiciones Diagramas de Moore Indique cuál de las siguientes afirmaciones es verdadera: Los autómatas finitos tienen un número finito de estados Los autómatas finitos no Determinísticos o no deterministas tienen las características de: Permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía. “Todo autómata finito determinista de n estados, cuyo alfabeto E contiene m símbolos debe tener m x n transiciones.” Verdadero La Teoría de Conjuntos es de importancia y es un prerrequisito en el estudio de la Teoría de los Autómatas y Lenguajes Formales Verdadero Seleccione el Símbolo usado para representar un Alfabeto ?
Quiz 1 Automatas y Lenguajes Formales Indique cuál de las siguientes afirmaciones es la v erdadera: a. Ninguna de las anteriores. b. Las máquinas de turing y los autómatas de pila son autómatas finitos. c. Los autómatas finitos solo pueden aceptar lenguajes finitos. d. Los autómatas finitos tienen un número finito de estados. Indicar si la siguiente afirmación es verdadera o falsa: "Para todo autómata finito puede construirse una tabla de transiciones, tal que cada fila i representa un estado, cada columna j un símbolo 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 símbolo j" Verdadero Falso Los lenguajes aceptados por los autómatas finitos son fácilmente descritos por expresiones simples llamadas expresiones regulares, quienes les dan el nombre de conjuntos regulares a dichos lenguajes Verdadero Falso Indique cuál de las siguientes afirmaciones es verdadera: a. Los autómatas finitos no deterministas son más potentes que los autómatas finitos deterministas b. Ninguna de las afirmaciones anteriores es cierta c. En un diagrama completo que represente a un autómata finito determinista, de cada estado sale un arco por símbolo y solo uno. d. Un autómata finito no determinista es una representación abreviada de un autómata finito determinista. Indicar cuál es el tipo de autómata más sencillo (menos potente) capaz de n m n reconocer el lenguaje {x y z | n>=25, m>=50}. a. Un autómata de pila determinista b. Una máquina de Turing. c. Un autómata finito d. Un autómata de pila no determinista Teniendo en cuenta que podemos definir un Autómata como una máquina conceptual o teórica para el reconocimiento de patrones, entonces los siguientes componentes: Analizados Léxico, Analizador Sintáctico y Generador de Código corresponderían a una aplicación de un Autómata en el la implementación de: a. Lenguajes de Programación b. Compiladores c. Aplicaciones de Computador d. Procesadores de texto
Los palíndromos (palabras capicúas) del idioma castellano, tales como "a", "y", "dad", "oso", "erre", etc., constituyen un: a. Lenguaje estructurado por frases (en sentido estricto) b. Es una máquina de turing. c. Lenguaje independiente del contexto (en sentido estricto) d. Lenguaje regular Indique cuál de las siguientes afirmaciones es FALSA : a. Un autómata finito determinista utilizado como reconocedor de lenguajes con al menos una cadena necesariamente tiene que tener al menos un estado de aceptación. b. Un autómata reconoce una cadena cuando alcanza un estado de aceptación durante su lectura c. Un autómata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la colección de cadenas de dicho lenguaje. d. Dada una gramática regular G, siempre existe un autómata finito M tal que L(G) = L(M) y M tiene un único estado de aceptación. Indique cuál de las siguientes afirmaciones es Falsa: a. En un autómata finito determinista para cada estado existe exactamente una transición por cada símbolo del alfabeto de la máquina. b. En un autómata finito no determinista puede haber cero, una o más transiciones desde un estado leyendo el mismo símbolo de entrada que conduzcan a estados diferentes (o posiblemente al mismo). c. Para un autómata finito no determinista siempre podrán recorrerse una o más rutas distintas al leer una cadena dada, y por tanto todas deberán examinarse para verificar si alguna termina en un estado de aceptación. d. Los autómatas finitos tienen un número finito de estados. Los autómatas 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 traducción de algoritmos al computador. d. No tienen un uso habitual en la computación práctica actual. En un contexto general un Lenguaje lo podemos definir como: a. Un Sistema de Símbolos Convencionales, hablados o escritos con el q ue 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 revolución en el ámbito de la ciencia, la técnica y la cultura de nuestros días es el desarrollo de la Informática PORQUE Un lenguaje natural como el inglés o el español son la clase de
lenguajes que han evolucionado con el paso del tiempo y tienen por fin la comunicación humana. a. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la Afirmación b. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA c. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA d. La Afirmación y la Razón son VERD ADERAS pero la Razón NO es una explicación CORRECTA de la Afirmación A continuación encuentra un listado de los que pueden ser lenguajes formales, seleccione cuáles son: a. El conjunto de todos los programas no válidos en un determinado lenguaje de programación. b. El conjunto de todas las palabras sobre {a} c. El conjunto de entradas para las cuales una particular máquina de Turing se detiene. d. El conjunto {an: n es un número primo} Los Autómatas finitos no Determinísticos tienen las características de: a. No permitir que cada nodo del diagrama de estados salga un número de flechas mayor o menor. b. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía. c. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vacía. d. Permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor. Los autómatas se pueden representar mediante: a. El conjunto de tablas representativas b. El conjunto de entradas de una máquina de turing c. Diagrama de Moore d. Tablas de transiciones Calificación: 20,8/25
Reconocimiento Unidad 2 Automatas y Lenguajes Formales ¿Qué es un Lenguaje Libre de Contexto? Es aquel generado por una gramática libre de contexto. Las Gramáticas Libres de Contexto han influido o permitido un avance o desarrollo significativo en los Lenguajes de Programación. Totalmente de Acuerdo Una gramática libre de contexto puede ser definida mediante un conjunto de ___ Elementos
Cuatro ¿Qué son los Arboles de Derivación? Son los que permiten mostrar gráficamente cómo se puede derivar cualquier cadena de un lenguaje a partir del símbolo distinguido de una gramática que genera ese lenguaje.
Relacione los elementos de un árbol de derivación con sus características Nodo Raíz = Rotulado con el símbolo inicial de la Gramática Hoja = Corresponde a un símbolo Terminal o no Terminal Nodo = Corresponde a un símbolo no Terminal Una gramática libre de contexto en lingüística e informática es una gramática formal en la que cada regla de producción es de la forma: V?w Toda Gramática 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 derivación se expanden por la Derecha Falso Seleccione los componentes de los Arboles de Derivación: Nodo raíz, nodos interiores, Hojas
Leccion Evaluativa 2 Automatas y Lenguajes Formales El lenguaje que reconoce un autómata a pila pertenece al grupo (IDENTIFIQUELO EN EL SIGUIENTE DIBUJO) en la clasificación de la Jerarquía de Chomsky. G2 Una pila es un dispositivo de almacenamiento que sigue el princip io de: Primero-en-entrar-último-en-salir Seleccione dos de los componentes de un Autómata de Pila Control Finito Cinta de Entrada
Un Autómata de Pila es descrito por un conj unto de _____ elementos Siete Relacione los elementos de la columna de la izquierda con los elementos de la columna de la derecha Símbolos del alfabeto de entrada = Letras minúsculas próximas al principio del alfabeto (a, b, ..) Símbolos de Pila = Letras Mayúsculas próximas al final del alfabeto, X o Y, por ejemplo Conjunto de Estados = p y q, típicamente u otras letras cercanas en orden alfabético Cadenas de símbolos de entrada = Letras minúsculas próximas el fin del alfabeto, w o z, por ejemplo Seleccione tres de los elementos que permiten definir formalmente un Autómata de Pila Símbolo inicial de la Pila Conjunto Finito de Estados Alfabeto de Pila Un Autómata de Pila al igual que una Máquina de Turing o un Autómata Finito, su definición básica es de naturaleza no determinista Falso Responda Verdadero o Falso con base a la siguiente proposición lógica: "Toda cadena derivada por la izquierda de una gramática independiente del contexto, puede derivarse también por la derecha" Verdadero
Quiz 2 Automatas y Lenguajes Formales De los siguientes elementos, uno no es un componente de un árbol de derivación a. Nodo Raíz b. Nodo Final c. Nodos Interiores d. Hojas Seleccione los componentes de los árboles de derivación a. Nodo principal, nodos secundarios, nodos finales b. Nodo inicial, nodos interiores, nodo final c. Nodo inicial, nodos internos, nodo final d. Nodo raíz, nodos interiores, Hojas
Una tabla de Transiciones que permite representar un Autómata tiene tantas filas como: a. Elementos de la Función de Salida b. Elementos del conjunto de entradas o v ocabulario de Entrada c. Elementos del Conjunto de Estados d. Letras del Alfabeto Las diferentes normalizaciones de gramáticas se usan para construir cierto tipo de autómatas, seleccione las opciones que corresponden con normalizaciones de gramáticas 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 gramática b. Es un Lenguaje que es generado por una gramática libre de contexto c. Es un lenguaje regular d. Ninguna de las Anteriores Una Gramática Regular G, está formada por un conjunto de un número determinado de elementos, llamado a. Quintupla b. Ninguna de las anteriores c. Cuádrupla d. Sextupla ¿Qué son los Arboles de Derivación? a. son los que permiten mostrar gráficamente un autómata b. son los que permiten mostrar gráficamente un autómata finito. c. son los que permiten mostrar gráficamente un símbolo para convertirlo en un lenguaje d. son los que permiten mostrar gráficamente cómo se puede derivar cualquier cadena de un lenguaje a partir del símbolo distinguido de una gramática que genera ese lenguaje. Si TODAS las producciones de una gramática 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 autómata de pila por definición tiene las siguientes características:
a. sólo 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 carácter que se almacena en ella es el primero en salir (“LIFO” por las siglas en inglés) d. La pila funciona de manera que el primer carácter que se almacena en ella es el primero en salir (“FIFO” por las siglas en inglés) El lenguaje que reconoce un autómata a pila pertenece al grupo (IDENTIFIQUELO EN EL SIGUIENTE DIBUJO) en la clasificación de la Jerarquía de Chomsky. a. G3 b. G2 c. G1 d. G0 Una tabla de Transiciones que permite representar un Autómata tiene tantas filas como: a. Elementos del Conjunto de Estados b. Elementos del conjunto de entradas o v ocabulario de Entrada c. Elementos de la Función de Salida d. Letras del Alfabeto Cuál de las siguientes afirmaciones es VERDADERA a. En un árbol de derivación cada nodo solamente puede tener otro hijo nodo b. En un árbol de derivación, una gramática es ambigua, cuando hay dos o más árboles de derivación distintos para una misma cadena c. Los lenguajes generados por una Gramática Independiente del Contexto son llamados Lenguajes Regulares d. En los arboles de derivación, no es necesario usar nodo raíz Al iniciar la operación un Autómata de Pila, la pila debe contener un contenido inicial PORQUE Al igual que los autómatas finitos, los autómatas de pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada a. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la Afirmación b. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA c. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA d. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA de la Afirmación Escoger cuál de las siguientes afirmaciones es falsa: a. Los Lenguajes Libres de Contexto son cerrados para las operaciones de: Unión, Concatenación y Clausura b. Mediante autómatas de pila de 2 pilas podría reconocerse un mayor número de lenguajes que mediante los usuales autómatas de una sola pila. En cada transición, el autómata podría 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 máquinas de Turing, también lo es el lenguaje complementario de L Una gramática libre de contexto en lingüística e informática es una gramática formal en la que cada regla de producción es de la forma: a. B → w b. w → w c. V → w d. w → v Calificación: 23,3/25
Reconocimiento Unidad 3 Automatas y Lenguajes Formales Según Alan Turing, cualquier tipo de problema puede ser resuelto por una Máquina Falso Cuál de las siguientes proposiciones es FALSA con respecto a las Máquinas de Turing El desplazamiento de la Máquina en la cinta es siempre hacia la derecha Una Máquina de Turing está en capacidad de realizar cualquier cómputo que un computador digital sea capaz de realizar Verdadero Indique cuál 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 Máquina de Turing, están en formato _______________ Binario Tomando el número 87 que en binario es equivalente a 1010111, en formato binario expandido equivale a: 100100101010 Una máquina de Turing con una sola cinta puede ser definida como un conjunto de ___________ elementos Seis Las máquinas de Turing se diferencian de los autómatas finitos y de los autómatas de pila en que: Las máquinas de Turing pueden escribir sobre su cinta. En las máquinas de Turing la cabeza lectora puede retroceder.
Indique cuál de las siguientes afirmaciones es verdadera: La tesis de Turing no implica que los lenguajes más generales que existan sean los lenguajes estructurados por frases. En una Máquina de Turing siempre se van a recorrer la totalidad de sus casillas en la cinta Falso
Quiz 3 Autómatas y Lenguajes Formales Cuál de las siguientes afirmaciones es cierta: a. Es posible que un lenguaje sea estructurado por frases pero no exista ninguna máquina de Turing que se detenga exclusivamente cuando las cadenas escritas en su cinta pertenezcan al lenguaje b. Una máquina 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 máquina de Turing Indique cuál de las tres siguientes afirmaciones es cierta (en caso de que las tres lo sean, señale la opción d): a. Con una máquina de Turing ordinaria (cuya cinta es infinita en una sola dirección) es posible simular una máquina de Turing infinita en ambas direcciones b. Es posible establecer una aplicación biunívoca (relación uno a uno) entre las máquinas de Turing deterministas y los lenguajes estructurados por frases de modo que a cada máquina le corresponda el lenguaje que acepta c. Una máquina de Turing que tenga uno o más estados de parada siempre concluye sus cálculos d. Las tres afirmaciones son ciertas La cinta de una Máuina de Turing es infinita hacia: a. Arriba b. Abajo c. La Izquierda d. La Derecha La operación de la máquina de turing consta de los siguientes pasos: (Seleccione más de una respuesta) a. Escribir el resultado de la máquina de turing b. Lee un carácter en la cinta c. Realiza una acción en la cinta d. Efectúa una transición de estado Escoger cuál de las siguientes afirmaciones es falsa:
a. Todo conjunto finito de cadenas es un lenguaje regular b. Mediante autómatas de pila de 2 pilas podría reconocerse un mayor número de lenguajes que mediante los usuales autómatas de una sola pila. En cada transición, el autómata podría almacenar y leer datos d e dos pilas distintas. c. Si L es un lenguaje aceptable por máquinas de Turing, también lo es el lenguaje complementario de L La máquina de Turíng opera cíclicamente dado que: a. Una instrucción viene representada por una quíntupla. b. La cabeza puede leer y escribir en un mismo carácter. c. Comienza por una palabra de entrada. d. Al comienzo de un ciclo se parte de una determinada configuración. No hay diferencia alguna entre una Máquina de Turing y una Máquina Universal de Turing PORQUE Las dos hacen referencia a la misma máquina a. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA b. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA c. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA de la Afirmación d. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la Afirmación La afirmación: “Una máquina de Turing universal es capaz de decidir cualquier lenguaje independiente del contexto.” a. Es falsa b. Sólo es verdadera para lenguajes independientes del contexto reconocibles mediante autómatas de pila deterministas c. Es verdadera Para las siguientes afirmaciones Indique cuál es verdadera: a. Un autómata de pila determinista nunca puede meterse en un ciclo que se ejecute indefinidamente b. Una máquina de Turing determinista puede meterse en un ciclo que se ejecute indefinidamente. c. Un autómata finito nunca puede meterse en un ciclo que se ejecute indefinidamente Una de las siguientes afirmaciones es verdadera selecciónela: a. La tesis de Turing no implica que los lenguajes más generales que existan sean los lenguajes estructurados por frases. b. Dada una máquina de Turing, existe una gramática estructurada por frases que genera el mismo lenguaje que acepta el autómata si y sólo si la máquina es determinista. c. La tesis de Turing implica que para todo lenguaje existe una máquina de Turing que lo acepta, ya sea el alfabeto finito o infinito.
Suponga que se desea construir una máquina de Turing que enumere en orden sobre su cinta todos los números enteros. Indique cuál de las siguientes afirmaciones es verdadera: a. La máquina necesariamente habría de proporcionar el resultado en notación binaria b. La máquina podría devolver el resultado en notación decimal c. No existe ninguna máquina de Turing, ya que el problema planteado no es computable Indique cuál de las siguientes afirmaciones es verdadera: a. Es posible diseñar una máquina de Turing de tres cintas que reconozca tres lenguajes. b. Con una única máquina de Turing, ya sea de una o varias cintas, determinista o no determinista, sólo es posible reconocer un lenguaje c. Con una única máquina 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 máquina a un bucle de ejecución infinita. En una Máquina 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 ejecución. c. Se lee un Carácter en la Cinta. d. No pasa repetidas veces sobre un mismo segmento. La máquina universal de Turing esta diseña para realizar cualquier cálculo específico – particular debido a que: a. Es un intérprete de la información de salida b. Es capaz de realizar cualquier algoritmo c. Parará cuando el cálculo sea indeterminado. d. Las instrucciones se basan en una fase del algoritmo universal. Corresponden con acciones sobre una cinta en la Máquina 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 carácter en la cinta d. Recuperar el último
Calificación 23,3/25
carácter
leído