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

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