Académique Documents
Professionnel Documents
Culture Documents
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
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
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 ?
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
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
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
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
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
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