PRESABERES 1 Puntos: 1 Cul de las siguientes cadenas corresponde con un Lenguaje Regular: Seleccione una respuesta. a. {abaabbb} b.

Correcto: Los lenguajes regulares se llaman as porque sus palabras {abababab} contienen regularidades o repeticiones. c. {abca} d. {aaababaa} Los lenguajes regulares se llaman as porque sus palabras contienen regularidades o repeticiones. Correcto Puntos para este envo: 1/1. Los lenguajes regulares se llaman as porque sus palabras contienen regularidades o repeticiones. 2 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. Es el conjunto de reglas que proporcionan el significado de una sentencia o instruccin de cualquier lenguaje de programacin b. Son las normas o reglas que definen Incorrecto:La semntica hace referencia a un lenguaje. Son la secuencia de aspectos de interpretacin y lgica. La smbolos, que forman cadenas de sintxis hace referencia ms a la forma y el smbolos de un lenguaje rden de presentar los lenguajes. c. Se refiere al significado o interpretacin del significado, de un determinado smbolo, palabra, lenguaje o representacin formal d. Estudio del significado de los signos lingsticos y de sus combinaciones, desde un punto de vista sincrnico o diacrnico. La semntica hace referencia a aspectos de interpretacin y lgica. La sintxis hace referencia ms a la forma y el rden de presentar los lenguajes. Correcto Puntos para este envo: 1/1.

El desarrollo de los ordenadores en la dcada de los 40, con la introduccin de los programas en la memoria principal, y posteriormente con los lenguajes de programacin de alto nivel, propician la distincin entre lenguajes formales, con reglas sintcticas y semnticas rgidas, concretas y bin definidas, de los lenguajes naturales como el ingls, donde la sintaxis y la semntica no se pueden controlar fcilmente. Los intentos de formalizar los lenguajes naturales, lleva a la construccin de gramticas, como una forma de describir estos lenguajes, utilizando para ello reglas de produccin para construir las frases del lenguaje. Se puede entonces caracterizar un Lenguaje, mediante las reglas de una gramtica adecuada. 3 Puntos: 1 Que apreciacin es cierta cuando se habal de la longitud de cadena o palabra |w| de un Alfabeto: Seleccione una respuesta. a. La longitud de cadena debe ser mayor o igual a uno. b. Dentro de un alfabeto no puede haber cadenas de longitud igual. c. La cadena, palabra o frase, es una secuencia infirnita de smbolos del alfabeto y por tanto su longitud no se puede medir. La cadena vaca "lambda" es d. La cadena vaca si tiene longitud, y su valor es vlida dentro de un alfabeto y s cero. tiene longitud. e. La cadena vaca no tiene longitud pero es vlida dento de un alfabeto y se representa por la letra lambda. La longitud de cadena indica la cantidad de smbolos que componene esa cadena. La cadena vaca si tiene longitud, y su valor es cero. Correcto Puntos para este envo: 1/1. La longitud de cadena indica la cantidad de smbolos que componene esa cadena. La cadena vaca si tiene longitud, y su valor es cero. 4 Puntos: 1 La evolucin de las mquinas (computadoras9 obedece principalmente a: Seleccione una respuesta. Correcto: Un aspecto importante en el desarrollo de a. Su aplicacin para resolver los computadores, es sin duda, su aplicacin para problemas cientficos. resolver problemas cientficos y empresariales b. Su aplicacin para resol ver problemas de Turing

c. Su aplicacin para resolver problemas de contexto en lenguajes d eprogramacin d. Su aplicacin para resolver problemas infinitos y complejos Correcto Puntos para este envo: 1/1. Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicacin para resolver problemas cientficos y empresariales 5 Puntos: 1 Cules de los siguientes elementos son necesarios para conocer el estado de un Autmata en un momento dado. Seleccione al menos una respuesta. a. Estado Finito b. Lenguaje c. Smbolo de Entrada d. Lenguaje que reconoce el autmata. e. Alfabeto f. Cadena rechazada g. Cadena aceptada Correcto: El estado de un autmata es toda la informacin necesaria en un momento dado, para poder deducir, dado un smbolo de entrada en ese momento, cual ser el smbolo de salida Se define configuracin de un autmata a su situacin en un instante. Se define movimiento de un autmata como el transito entre dos configuraciones. Si un autmata se encuentra en un estado determinado, recibe un smbolo tambin determinado, producir un smbolo de salida y efectuar un cambio o transicin a otro estado (tambin puede quedarse en el mismo estado). Correcto Puntos para este envo: 1/1. Conocer el estado de un autmata, es lo mismo que conocer toda la historia de smbolos de entrada, as como el estado inicial, estado en que se encontraba el autmata al recibir el primero de los smbolos de entrada. El autmata tendr un determinado nmero de estados (pudiendo ser infinitos), y se encontrar en uno u otro segn sea la historia de smbolos que le han llegado. h. Smbolo de salida Correcto: El estado de un autmata es toda la informacin necesaria en un momento dado, para poder deducir, dado un smbolo de entrada en ese momento, cual ser el smbolo de salida

6 Puntos: 1 De un Lenguaje Libre de Contexto podemos afirmar que es: Seleccione una respuesta. a. Es el Algoritmo que nos indica el lenguaje de la gramtica b. Es lo mismo que decir un Autmata Libre de Contexto c. Es un lenguaje regular Correcto: (gramticas libres del contexto) d. Es un Lenguaje que es generado generan los lenguajes independientes del por una gramtica libre de contexto contexto. (gramticas libres del contexto) generan los lenguajes independientes del contexto. Correcto Puntos para este envo: 1/1. Consideramos entonces los lenguajes libres (independientes) del contexto, y las gramticas libres del contexto y los autmatas con pila, como forma de caracterizarlos y manejarlos. Los distintos lenguajes formales que se pueden construir sobre un alfabeto concreto pueden clasificarse en clases cada vez ms amplias que incluyen como subconjunto a las anteriores, de acuerdo con la jerarqua establecida por Chomsky en los aos 50.

RECONOCIMIENTO UNIDAD 1

1 Puntos: 1 Dado el siguiente Autmata (AFND)

Identifique la (ER) Expresin Regular que lo representa: Seleccione una respuesta. a. (aa)*b* b. a*ab* Correcto c. aab* d. a*(ab)* Una cadena vlida sera la que iniciara por una o varias a seguida de una o varias b Correcto Puntos para este envo: 1/1. La notacin de conjuntos nos permite describir los lenguajes regulares, pero se utiliza una notacin en que las representaciones de los lenguajes son simplemente texto (cadenas de caracteres). As las representaciones de los lenguajes regulares son simplemente palabras de un lenguaje (el de las representaciones correctamente formadas). Con estas ideas se va a definir un lenguaje, el de las expresiones regulares, en que cada palabra va a denotar un lenguaje regular. 2 Puntos: 1 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. Estas caractersticas son definidas tambin por el tipo de gramtica. Un concepto claro y ordenado de estos conceptos es: (seleccione solo una opcin). Seleccione una respuesta. a. Los autmatas finitos son capaces de reconocer diferentes tipos de lenguajes, que pueden ser caracterizados tambin,

mediante diferentes tipos de gramticas para un solo lenguaje. b. Una forma adicional de caracterizar los lenguajes regulares, es mediante las llamadas expresiones regulares, que son las frases del lenguaje, construidas mediante operadores sobre el alfabeto del mismo y otras expresiones regulares, incluyendo el lenguaje vaco Correcto: Estas caracterizaciones de los lenguajes regulares se utilizan en la prctica, segn que la situacin concreta est favorecida por la forma de describir el lenguaje de cada una de ellas. Los autmatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traduccin de algoritmos al computador.

c. Los autmatas pueden usarse para reconocer lenguajes. Es decir, para leer cadenas (secuencias de smbolos) sin importar si pertenecen o no a un lenguaje. Son mquinas poderosas que automatizan procesos y combinan lenguajes. d. Los autmatas no pueden describir el comportamiento de otras mquinas o sistemas. ya que son nicos para cada algoritmo, es decir desarrollan su propio problema. Estas caracterizaciones de los lenguajes regulares se utilizan en la prctica, segn que la situacin concreta est favorecida por la forma de describir el lenguaje de cada una de ellas. Los autmatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traduccin de algortmos al computador. Correcto Puntos para este envo: 1/1. Estas caracterizaciones de los lenguajes regulares se utilizan en la prctica, segn que la situacin concreta est favorecida por la forma de describir el lenguaje de cada una de ellas. Los autmatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traduccin de algortmos al computador. 3 Puntos: 1 Identifique la operacin bsica y que es correcta para un Autmata . Seleccione una respuesta. a. El autmata recibe los smbolos de entrada en orden aleatorio o en diferentes estados y la funcin de este autmata (Mquina) es ordenarlos e interpretarlos. b. El autmata no es una simulacin. No es una

mquina. c. El smbolo de salida que en un instante Esta es la respuesta correcta: Un determinado produce un autmata, no slo depende autmata produce entradas y del ltimo smbolo recibido a la entrada, sino de salidas ordenadas que dependen toda la secuencia o cadena, que ha recibido hasta ese del estado en que se encuentre. instante. d. La informacin que codifica el autmata es convertida a un sistema de dos dgitos (entrada y salida) es decir (1 y 0), Sistema binario Para comprender el significado de Autmata, tendremos en cuenta el trmino mquina, que evoca algo hecho en metal, usualmente ruidoso y grasoso, que ejecuta tareas repetitivas que requieren de mucha fuerza o velocidad o precisin. Correcto Puntos para este envo: 1/1. Desde el punto de vista intuitivo, podemos ver un autmata finito como una caja negra de control, que va leyendo smbolos de una cadena escrita en una cinta, que se puede considerar ilimitada por la derecha. Existe una cabeza de lectura que en cada momento est situada en una casilla de la cinta. Inicialmente, esta se sita en la casilla de ms a la izquierda 4 Puntos: 1 La Teora de Lenguajes, define bloques constructores de lenguaje. El bloque ms sencillo es el alfabeto. De las siguientes afirmaciones cuales definen o son verdaderas con respecto a un alfabeto Pueden haber varias opciones vlidas Seleccione al menos una respuesta. a. { , , , } Es un ejemplo de alfabeto. b. Los smbolos pueden ser nombres. c. Los alfabetos son finitos. Correcto Correcto

d. Por smbolo, no se est haciendo referencia a un solo carcter. Correcto Lenguaje Formal: Un alfabeto es un conjunto finito de smbolos. De esta definicin se debe resaltar lo siguiente. (1) Los alfabetos son finitos. (2) Por smbolo no se est esta haciendo referencia a un slo carcter. Los smbolos pueden ser nombres. Todas las respuestas son verdaderas. Parcialmente correcto Puntos para este envo: 0.8/1. Lenguaje Formal: Un alfabeto es un conjunto finito de smbolos. De esta definicin se debe resaltar lo siguiente. (1) Los alfabetos son finitos. (2) Por smbolo no se est esta haciendo referencia a un slo carcter. Los smbolos pueden ser nombres. Todas las respuestas son verdaderas. 5

Puntos: 1 Asocie correctamente los siguientes conceptos con referencia al tipod elenguajes que pueden implementar las mquinas (Autmatas). Gramticas Generales Mquinas de Turing Gramticas Independientes del Contexto Autmatas de pila Lenguajes (Expresiones Regulares) Autmatas finitos En Autmatas cuando tenemos lenguajes muy sencillos Regularidad Correcto Puntos para este envo: 1/1. Los Lenguajes ms sencillos son los considerados lenguajes regulares, es decir, los que se pueden generar a partir de lenguajes de un elemento con la aplicacin de ciertas operaciones estandar realizadas un nmero finito de veces. Estos son pues los lenguajes que pueden reconocer los dispositivos llamados Autmatas finitos (AF) que son mquinas de cmputo con memoria muy restringida. En esta unidad se considera como segundo aspecto la idea de que un lenguaje no sea regular, ademas de proporcionar un modelo sencillo de computacin que se puede generalizar en las unidades siguientes. 6 Puntos: 1 1. Se denomina cadena, palabra o frase a una secuencia finita de smbolos de un alfabeto . Estas cadenas son denotadas como w. Dado el siguiente autmata finito determinstico (AFD) A = (Q, , f, q0, F) donde: Q es un conjunto de estados. es el alfabeto de entrada f: Q X Q es la funcin (total) de transicin. q0 pertenece Q es el estado inicial. F incluye Q es el conjunto de estados finales.

Y que para el ejercicio = {a,b} Q ={ q0, q1} F = {q1} se representa mediante el siguiente diagrama de Moore:

El conjunto de palabras aceptadas por este autmata son:

Seleccione una respuesta. a. {w a | w {a,b}* } b. Todas las palabras que terminan en dos as c. {w a | w {a,b} potencia 2 } d. Todas las palabras que terminan en a y que estn precedidas por una b El conjunto de palabras aceptadas por este autmata son la palabras que terminan en a. Correcto Puntos para este envo: 1/1. El conjunto de palabras aceptadas por este autmata son la palabras que terminan en a. Correcto: El conjunto de palabras aceptadas por este autmata son la palabras que terminan en a.

LECCION EVALUATIVA 1

1 Puntos: 1 Asocie los trminos correctamente: Conjunto de palabras (cadenas de caracteres) de longitud finita formadas a partir de un alfabeto (conjunto de caracteres) finito. Conjunto finito Incluyen a los Libres de Contexto (y por lo tanto a los Lenguajes Regulares).

Lenguaje Formal

Alfabeto Lenguajes recursivamente enumerables Lenguajes libres de Incluyen a los Lenguajes Regulares contexto Jerarqua de Lenguajes Chomsky Es la clase ms pequena, e incluye a los lenguajes ms simples Lenguajes regulares Correcto Puntos para este envo: 1/1. Llamamos clase de lenguajes a conjuntos de lenguajes que comparten una cierta propiedad dada. Esta nocin es muy abstracta, pues ya los lenguajes son en s mismos conjuntos de secuencias de smbolos, y las clases de lenguajes son entonces conjuntos de conjuntos de secuencias de smbolos. 2 Puntos: 1 Sea el Autmata Finito (AF) A= (, Q, f. q1, F) donde = {0,1} , Q = {q1, q2, q3, q4 }, F= { q2} y definimos la funcin de transicin f por la tabla siguiente:

Indique cul es lenguaje generado por el autmata: Seleccione una respuesta. a. 1( 1) (0)*

b. 1*(1) c. 1(01) * d. 0(010)* La expresin regular genera las cadenas que inician con 1 y que luego pueden o no tener un 0 o un 1 . Correcto Puntos para este envo: 1/1. La tabla de transicin tambin es una forma de describir un Autmata. Con ella se puede identificar su ER. La expresin regular genera las cadenas que inician con 1 y que luego pueden o no tener un 0 o un 1 . 3 Puntos: 1 Indique cul de las siguientes afirmaciones referidas a lenguajes del alfabeto = {0,1,2} son ciertas: Seleccione al menos una respuesta. a. El lenguaje de las cadenas equilibradas con igual nmero de 0s y de 1s tales que ningn prefijo de cualquiera de ellas posee ms de dos 0s que 1s ni ms de dos 1s que 0s es un lenguaje regular. b. No existe ningn autmata determinista que reconozca el lenguaje de las cadenas en las que toda pareja de 0s contiguos aparece antes de cualquier pareja de 1s contiguos. c. El lenguaje de las cadenas con a lo sumo una pareja de 0s consecutivos y a los sumo una pareja de 1s consecutivos no es regular. d. Si L es un lenguaje regular tambin lo es el lenguaje consistente en las inversas de las cadenas de L Parcialmente correcto Puntos para este envo: 0.5/1. Los tres lenguajes descritos son regulares. Adems si existe un autmata finito determinista que reconoce un lenguaje, bastar con intercambiar estado inicial por final e invertir el sentido de las transiciones para obtener un autmata finito que reconoce el lenguaje de las cadenas inversas. 4 Puntos: 1 Se disea el siguiente Autmata Finito Deterministico (AFD) para el lenguaje de palabras del alfabeto {a,b} que no tiene varias as seguidas. Esta solucin es defectuosa porque. Correcto: La expresin regular genera las cadenas que inician con 1 y que luego pueden o no tener un 0 o un 1 .

Seleccione al menos una respuesta. Correcto: El "problema de diseo" de un AFD es a. Hay palabras como baa, considerar demasiadas posibilidades. El hecho que tenga que tiene as seguidas y sin dos estados finales o de aceptacin no es problema y es embargo son aceptadas por vlido en el diseo. La palabra "baba" No es aceptada el AFD. por el autmata aunque sus elementos o smbolos si hacen parte del alfabeto que las compone. b. Hay palabras como baba que no tienen as seguidas y sin embargo son aceptadas por el AFD pero que no pertenecen al alfabeto dado. c. Hay palabras como ba, que no tienen as seguidas y sin embargo no son aceptadas por el AFD d. Tiene dos finales o de Incorrecto: Los dos estados finales no son errores de aceptacin q1 y q2 . diseo. Parcialmente correcto Puntos para este envo: 0.5/1. El "problema de diseo" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de aceptacin no es problema y es vlido en el diseo. La palabra "baba" No es aceptada por el autmata aunque sus elementos o smbolos si hacen parte del alfabeto que las compone. 5 Puntos: 1 El nmero mnimo de estados de un autmata finito no determinista es: Seleccione una respuesta. a. Depende del alfabeto sobre el que est definido.

b. No hay nmero mnimo c. Dos Correcto: Un solo estado es suficiente para repesentar una d. Uno mquina SFND si as fuese su diseo. En este caso el mismo estado inicial es el final. Hacemos notar en este punto que, dado que los AFN tienen menos restricciones que los AFD, resulta que los AFD son un caso particular de los AFND, por lo que todo AFD es de hecho un AFND. Un solo estado es suficiente para representar esta mquina si as se diseara. (AFND) Correcto Puntos para este envo: 1/1. Una extensin a los autmatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor que As, se puede permitir que falte la flecha correspondiente a alguno de los smbolos del alfabeto, o bien que haya varias flechas que salgan de un solo nodo con la misma etiqueta. Inclusive se permite que las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. A estos autmatas finitos se les llama no Determinsticos o no deterministas (abreviado AFND), Al retirar algunas de las restricciones que tienen los autmatas finitos Determinsticos, su diseo para un lenguaje dado puede volverse ms simple. 6 Puntos: 1 Los palndromos (palabras capicas) 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. Lenguaje Independiente del Contexto (en sentido estricto). c. Lenguaje Regular d. Lenguaje Normal Un lenguaje independiente del contexto se puede caracterizar mediante una gramtica independiente del contexto que casi tiene la forma normal de Chomsky. Incorrecto Puntos para este envo: 0/1. Los lenguajes independientes del contexto que tambien se conocen con el nombre de gramaticas de contexto libre son un mtodo recursivo sencillo de especificacin de reglas gramaticales con las que se pueden generar cadenas de un lenguaje. Es factible producir de esta manera todos los lenguajes regulares, ademas de que existen ejemplos sencillos de gramaticas de contexto libre que generan lenguajes no regulares. Las reglas gramaticales de este tipo permiten que la sintaxis tenga variedad y refinamientos mayores que los realizados Respuesta Equivocada

con lenguajes regulares, en gran medida sirven para especificar la sintaxis de lenguajes de alto nivel y otros lenguajes formales. 7 Puntos: 1 En un autmata Finito Determinista (AFD), Es vlido afirmar que : Seleccione una respuesta. a. A diferencia de los AF (Autmatas Finitos), los Autmatas Finitos Determinsticos Por ser AFD, no tienen ningn ciclo de ejecucin. Solo leen un dato de entrada. b. El nombre determinista viene de la forma en que est definida la funcin de transicin: si en un instante t la mquina Respuesta Correcta: est en el estado q y lee el smbolo a entonces, en el instante La funcin de siguiente t + 1 la mquina cambia de estado y sabemos con transicin define que seguridad cual es el estado al que cambia, que es precisamente sea determinado o no. (q, a). c. Todo autmata finito determinista de n estados, cuyo alfabeto E contiene m smbolos debe tener m x n transiciones. d. A diferencia de los AF (Autmatas Finitos), los Autmatas Finitos Determinsticos Por ser AFD, este no debe ser inicializado con ningn smbolo de entrada Una extensin a los autmatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor que As, se puede permitir que falte la flecha correspondiente a alguno de los smbolos del alfabeto, o bien que haya varias flechas que salgan de un solo nodo con la misma etiqueta. Inclusive se permite que las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. A estos autmatas finitos se les llama no Determinsticos o no deterministas (abreviado AFND), Incorrecto Puntos para este envo: 0/1. El nombre determinista viene de la forma en que est definida la funcin de transicin: si en un instante t la mquina est en el estado q y lee el smbolo a entonces, en el instante siguiente t + 1 la mquina cambia de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente (q, a). 8 Puntos: 1 Indique cul de las siguientes afirmaciones se apropia a los conceptos de los Autmatas Finitos: Seleccione una respuesta. a. Las mquinas de Turing y los autmatas de pila son autmatas finitos b. Los autmatas finitos tienen un Correcto: De hecho esta es una propiedad

nmero finito de estados. relevante y excluyente de estos autmatas. c. Los autmatas finitos slo pueden aceptar lenguajes finitos. d. Ninguna de las afirmaciones anteriores es cierta Al ser finitos, estas mquinas an mas abstractos, tratan secuencias de eventos aceptables de manera definida y concreta. Correcto Puntos para este envo: 1/1. Al describir una mquina de estados finitos en particular, debemos incluir las informaciones que varan de un autmata a otro; es decir, no tiene sentido incluir descripciones generales aplicables a todo autmata. Estas informaciones son exactamente las que aparecen en un diagrama de estados y transiciones. 9 Puntos: 1 Sea el autmata A = (, Q, f, q1, F) donde ={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la funcin f vienen dada por la siguiente tabla:

Determine qu aspectos son vlidos para el autmata. Seleccione al menos una respuesta. a. El lenguaje reconocido por el autmata es: a (b* | a* ) ba* b. Es un Autmata Finito Determinstico con lambda transiciones c. El lenguaje reconocido por el autmata es: a (b*b | a*b) a* d. Es un Autmata Finito

Incorrecto: No solo hay transiciones Lambda

Incorrecto:Se debe tener en cuenta la propiedad

Determinstico (AFD) de "determinstico o no determinstico" Es una Autmata Finito. Incorrecto Puntos para este envo: 0/1. Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para efectos de mejor comprensin, se debe escojer una cadena vlida y compararla con la ER. 10 Puntos: 1 Que representa la siguiente figura:

Seleccione una respuesta. a. No representa un autmata vlido por que tiene un solo estado. b. Un Autmata de tipo AFND vlido Correcto: Es una extensin vlida de un AFD.

c. No representa un autmata vlido por que el mismo estado inicial es el mismo estado final. d. Un Autmata que acepta palabras o cadenas que contienen nicamente bs Es un Autmata Finito No Determinstico (AFND) vlido. Es una extensin vlida de un AFD. Permite que de cada nodeo del diagrama de estados salga un nmero de flechas mayor o menor que || Correcto Puntos para este envo: 1/1. Es un Autmata Finito No Determinstico (AFND) vlido. Es una extensin vlida de un AFD. Permite que de cada nodeo del diagrama de estados salga un nmero de flechas mayor o menor que ||