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 de 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
carácter
leído
Calificación 23,3/25
Leccion Evaluativa 3 Automatas y Lenguajes Formales Cuál de las siguientes afirmaciones es cierta: Una máquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena De las siguientes características marque dos de las que corresponden con la cinta de una Máquina de Turing Puede contener un caracter por celda Se puede escribir en ella De las siguientes afirmaciones una de ellas es FALSA: Una máquina de Turing que siempre mueve su cabeza a la izquierda se diferencia de un autómata finito principalmente en que tiene poder de escribir en su cinta, y por tanto
almacenar datos a modo de un autómata de pila y reconocer lenguajes independientes del contexto. Indique cuál de las siguientes afirmaciones es verdadera: Es posible diseñar una máquina de Turing de tres cintas que reconozca tres lenguajes. Seleccione cuál de las siguientes situaciones no es posible cuando una máquina de Turing determinista examina una cadena: La máquina abandona los cálculos por no encontrar ninguna transición aplicable 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: La máquina podría devolver el resultado en notación decimal La afirmación: “Una máquina de Turing universal es capaz de decidir cualq uier lenguaje independiente del contexto.” Es verdadera Una de las siguientes afirmaciones es verdadera selecciónela: La tesis de Turing no implica que los lenguajes más generales que existan sean los lenguajes estructurados por frases. El desplazamiento de la cabeza de una Máquina de Turing, se realiza en un solo sentido, y no hacia ambos lados Falso Es posible volver a un estado, por el que previamente ya había pasado 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 vocabulario 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 vocabulario 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
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 principio 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 conjunto 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" Verdader Indique cuál de las siguientes afirmaciones es la verdadera: 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 reconocer el lenguaje {x nymzn | 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 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 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 VERDADERAS 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