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

Leccion Evaluativa 3 Automatas y Lenguajes Formales

Cul de las siguientes afirmaciones es cierta: Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena De las siguientes caractersticas marque dos de las que corresponden con la cinta de una Mquina de Turing Puede contener un caracter por celda Se puede escribir en ella De las siguientes afirmaciones una de ellas es FALSA: Una mquina de Turing que siempre mueve su cabeza a la izquierda se diferencia de un autmata finito principalmente en que tiene poder de escribir en su cinta, y por tanto

almacenar datos a modo de un autmata de pila y reconocer lenguajes independientes del contexto. Indique cul de las siguientes afirmaciones es verdadera: Es posible disear una mquina de Turing de tres cintas que reconozca tres lenguajes. Seleccione cul de las siguientes situaciones no es posible cuando una mquina de Turing determinista examina una cadena: La mquina abandona los clculos por no encontrar ninguna transicin aplicable 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: La mquina podra devolver el resultado en notacin decimal La afirmacin: Una mquina de Turing universal es capaz de decidir cualquier lenguaje independiente del contexto. Es verdadera Una de las siguientes afirmaciones es verdadera seleccinela: La tesis de Turing no implica que los lenguajes ms generales que existan sean los lenguajes estructurados por frases. El desplazamiento de la cabeza de una Mquina 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 haba pasado 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 siglas 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

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" Verdader 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