Act 5: Quiz 1 - Unidad No.

1 Puntos: 1 A continuacin encuentra un listado de los que pueden ser lenguajes formales, seleccione cules son: Seleccione al menos una respuesta. a. El conjunto de todas las palabras sobre {a} b. El conjunto de todos los programas no vlidos en un determinado lenguaje de programacin. c. El conjunto {an: n es un nmero primo} d. El conjunto de entradas para las cuales una particular mquina de Turing se detiene.

2 Puntos: 1 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 evoucionado con el paso del tiempo y tienen por fin la comunicacin humana. Seleccione una respuesta. a. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin b. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA c. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin d. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA 3 Puntos: 1 los Automatas finitos no Deterministicos tienen las caracteristicas de: Seleccione al menos una respuesta. a. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacia. b. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vacia. c. Permitir que de cada nodo del diagrama de estados salga un numero de flechas mayor o menor. d. No permitir que cada nodo del diagrama de estados salga un numero de flechas mayor o menor. 4 Puntos: 1 Indique cual de las siguientes afirmaciones es la verdadera: Seleccione una respuesta. a. Los automatas finitos solo pueden aceptar lenguajes finitos. b. Las maquinas de turing y los automatas de pila son automatas finitos. c. Los automatas finitos tienen un numero finito de estados. d. Ninguna de las anteriores.

5 Puntos: 1 Los automatas se pueden representar mediante: Seleccione al menos una respuesta. a. Tablas de transiciones b. Diagrama de moore c. El conjunto de entradas de una maquina de turing d. El conjunto de tablas representativas 6 Puntos: 1 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: Seleccione una respuesta. a. Lenguajes de Programacin b. Compiladores c. Procesadores de texto d. Aplicaciones de Computador 7 Puntos: 1 Los autmatas finitos se utilizan generalmente para: Seleccione al menos una respuesta. a. Como un analizador en la traduccin de algoritmos al computador. b. Reconocer todo tipo de lenguajes c. Verificar que las cadenas pertenecen al lenguaje d. No tienen un uso habitual en la computacin prctica actual. 8 Puntos: 1 La definicin de semntica tiene una connotacin importante, una de las definiciones que usted encuentra a continuacin no es la correcta. Seleccinela Seleccione una respuesta.

a. Se refiere al significado o interpretacin del significado, de un determinado smbolo, palabra, lenguaje o representacin formal b. Es el conjunto de reglas que proporcionan el significado de una sentencia o instruccin de cualquier lenguaje de programacin. c. Son las normas o reglas que definen un lenguaje. Son la secuencia de smbolos, que forman cadenas de smbolos de un lenguaje. d. Estudio del significado de los signos lingsticos y de sus combinaciones,desde un punto de vista sincrnico o diacrnico. 9 Puntos: 1 El numero minimo de estados de un AFND (automata finito no determinista) es de: Seleccione una respuesta. a. Dos b. Uno c. Depende del alfabeto sobre el que esta definido. d. No hay numero minimo 10 Puntos: 1 los lenguajes aceptados por los automatas finitos son facilmente descritos por expresiones simples llamadas expresiones regulares, quienes les dan el nombre de conjuntos regulares a dichos lenguajes Respuesta: Verdadero Falso 11 Puntos: 1 En un contexto general un Lenguaje lo podemos definir como: Seleccione una respuesta. a. Conjunto de instrucciones que indican acciones a realizar b. Significado de las cadenas que lo componen c. Estudio de las reglas y principios que regulan su uso d. Un Sistema de Smbolos Convencionales, hablados o escritos con el que nos comunicamos 12 Puntos: 1

Indicar cul es el tipo de autmata ms sencillo (menos potente) capaz de reconocer el lenguaje {xnymzn | n>=25, m>=50}. Seleccione una respuesta. a. Un autmata de pila no determinista b. Un autmata de pila determinista c. Un autmata finito d. Una mquina de Turing. 13 Puntos: 1 Indique cual de las siguientes afirmaciones es FALSA: Seleccione una respuesta. a. Dada una gramatica regular G, siempre existe un automata finito M tal que L(G) = L(M) y M tiene un unico estado de aceptacion. b. Un automata finito determinista utilizado como reconocedor de lenguajes con al menos una cadena necesariamente tiene que tener al menos un estado de aceptacion. c. Un automata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la coleccion de cadenas de dicho lenguaje. d. Un automata reconoce una cadena cuando alcanza un estado de aceptacion durante su lectura 14 Puntos: 1 Los palindromos (palabras capicuas) del idioma castellano, tales como "a", "y", "dad", "oso", "erre", etc., constituyen un: Seleccione una respuesta. a. Lenguaje estructurado por frases (en sentido estricto) b. Es una maquina de turing. c. Lenguaje regular d. Lenguaje independiente del contexto (en sentido estricto) 15 Puntos: 1 Indicar si la siguiente afirmacion es verdadera o falsa: "Para todo automata finito puede construirse una tabla de transiciones, tal que cada fila i representa un estado, cada columna j un simbolo 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 simbolo j" Respuesta: Verdadero Falso