Anda di halaman 1dari 33

Act1: Revisin de Presaberes Revisin del intento 1

Comenzado el: lunes, 10 de diciembre de 2012, 21:34 Completado el: lunes, 10 de diciembre de 2012, 22:02 Tiempo empleado: 28 minutos 10 segundos Puntuacin bruta: 6/6 (100 %) Calificacin: de un mximo de
5262

Continuar

1 Puntos: 1/1 Identifique que apreciaciones son vlidas cuando se trata de analizar la "Interseccin" y la "Unin" de dos alfabetos: Seleccione una respuesta. a. Con los alfabetos solo podemos hacer operaciones de Unin. b. La interseccin de dos alfabetos siempre Correcto: Es da como resultado otro alfabeto siemptre y diferente el vaci a cuando dicha interseccin sea distinta de lambda (cadena vaco. vaca) c. La interseccin entre alfabetos no e sposible por que se repiten elementos "Propiedad de Regularidad" d. No hay diferencia entre la Unin y la Interseccin de Alfabetos. La interseccin de dos alfabetos siempre da como resultado otro alfabeto siemptre y cuando dicha interseccin sea distinta de vaco. Correcto Puntos para este envo: 1/1. La interseccin de dos alfabetos siempre da como resultado otro alfabeto siemptre y cuando dicha interseccin sea distinta de vaco. 2 Puntos: 1/1

La jerarqua de Chomsky tiene como nico objetivo: Seleccione una respuesta. a. Clasificar los diferentes tipos de alfabetos que definen un lenguaje determinado. b. Clasificar de forma jerrquica los tipos de Autmatas (Finitos o Infinitos) de acuerdo a las gramticas y lenguajes que reconocen. c. Ordenar y clasificar los diferentes tipos de gramticas que generan lenguajes. Correcto: Clasicaciones basadas en la forma de la gramtica, ms que en la naturaleza del lenguaje que generan.

d. Clasificar de forma ordenada los diferentes modelos de computacin de acuerdo a las gramticas y lenguajes que existen. La jerarqua de Chomsky es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam Chomsky en 1956. Correcto Puntos para este envo: 1/1. La jerarqua de Chomsky es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam Chomsky en 1956. 3 Puntos: 1/1 Teniendo en cuenta que podemos definir un Autmata como una mquina conceptual o terica para el reconocimiento de patrones, entonces los siguientes componentes: Analizador Lxico, Analizador Sintctico y Generador de Cdigo corresponderan a una aplicacin de un Autmata en el la implementacin de: Seleccione una respuesta.

a. Compiladores

Correcto: Un autmata reconocedor de ese lenguaje, funciona de tal forma que cuando reciba a su entrada una determinada cadena de smbolos indica si dicha cadena pertenece o no al lenguaje. Tambin se mostrar como existe un tipo de autmata para reconocer cada uno de los tipos de lenguajes generados por las correspondientes gramticas.

b. Aplicaciones de Computador c. Lenguajes de Programacin d. Procesadores de texto Un autmata reconocedor de ese lenguaje, funciona de tal forma que cuando reciba a su entrada una determinada cadena de smbolos indica si dicha cadena pertenece o no al lenguaje. Tambin se mostrar como existe un tipo de autmata para reconocer cada uno de los tipos de lenguajes generados por las correspondientes gramticas. Correcto Puntos para este envo: 1/1. La palabra autmata evoca algo que pretende imitar las funciones propias de los seres vivos, especialmente relacionadas con el movimiento, por ejemplo el tpico robot antropomorfo. En el campo de los Traductores, Procesadores, Compiladores e Intrpretes, lo fundamental no es la simulacin del movimiento, sino la simulacin de procesos para tratar informacin. 4 Puntos: 1/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 un Lenguaje que es Correcto: (gramticas libres del generado por una contexto) generan los lenguajes gramtica libre de contexto independientes del contexto. c. Es lo mismo que decir un Autmata Libre de Contexto d. Es un lenguaje regular (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. 5 Puntos: 1/1 Cules de los siguientes elementos son necesarios para conocer el estado de un Autmata en un momento dado. Seleccione al menos una respuesta. Correcto: El estado de un autmata es toda la a. Smbolo de informacin necesaria en un momento dado, Entrada para poder deducir, dado un smbolo de entrada en ese momento, cual ser el smbolo de salida Incorrecto. El estado de un autmata es toda la b. Estado Finito informacin necesaria en un momento dado c. Cadena Incorrecto: Las cadenas rechazadas no pueden rechazada determinar el estado actual de un Autmata. d. Lenguaje Correcto: El estado de un autmata es toda la e. Smbolo de informacin necesaria en un momento dado, salida para poder deducir, dado un smbolo de entrada

en ese momento, cual ser el smbolo de salida f. Cadena Incorrecto: Las cadenas o palabras no aceptada determinan el estado actual del autmata. g. Lenguaje que Incorrecto: El lenguaje que reconoce el reconoce el autmata es independiente del nmero de autmata. estados. h. Alfabeto 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. 6 Puntos: 1/1 Asocie correctamente la estructura de la clase de lenguajes y las gramticas que los pueden generar: "Jerarqua de Chomsky" Se denominan dependientes del contexto. Los lenguajes aceptados por estas gramticas son los lenguajes dependientes del contexto Se denominan regulares o de estado nito. Los lenguajes aceptados por estas gramticas se denominan conjuntos regulares. As como los lenguajes generados, se llaman independientes del contexto. Correcto Puntos para este envo: 1/1.

Las gramticas de tipo 1

Las gramticas de tipo 3

Las gramticas de tipo 2

N. Chomsky (1956) propone tres modelos para la descripcin de lenguajes, que son la base de su futura jerarqua de los tipos de lenguajes, que ayud tambin en el desarrollo de los lenguajes de programacin.
5262

Act 3: Reconocimiento Unidad No. 1 Revisin del intento 1


Comenzado el: domingo, 2 de diciembre de 2012, 11:40 Completado el: domingo, 2 de diciembre de 2012, 11:58 Tiempo empleado: 18 minutos 5 segundos Puntuacin bruta: 5/6 (83 %) Calificacin: de un mximo de Comentario - Correcto: Contest la totalidad de las preguntas.
5265

Continuar

1 Puntos: 1/1 Asocie correctamente los siguientes conceptos con referencia al tipod elenguajes que pueden implementar las mquinas (Autmatas).
Autmatas de Pila Gramticas Independientes del Contexto Mquinas de Turing Gramticas Generales En Autmatas cuando tenemos lenguajes muy Regularidad sencillos Autmatas Finitos Lenguajes (Expresiones Regulares) 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. 2 Puntos: 1/1 El nombre determinista viene de: Seleccione una respuesta. a. La cantidad de estados iniciales y sentencias que la componen b. La cantidad de estados finales que la componen c. El tipo de lenguaje que reconoce Correcto:El nombre determinista viene de la forma en que est definida la funcin de d. La forma en transicin: si en un instante t la mquina est que est definida en el estado q y lee el smbolo a entonces, en la funcin de el instante siguiente t + 1 la mquina cambia transicin de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente (q, a). El diagrama de transicin de un AFD tiene por cada nodo un solo arco etiquetado con cada uno de los smbolos del alfabeto. Algunos autores consideran que la funcin de transicin puede ser parcial, es decir, no estar definida para algn (q, a). En ese caso se dice que el AFD es incompleto, y en el diagrama de trancisin faltan entonces los arcos correspondientes a los casos no definidos de la funcin de transicin. Correcto Puntos para este envo: 1/1.

El diagrama de transicin de un AFD tiene por cada nodo un solo arco etiquetado con cada uno de los smbolos del alfabeto. Algunos autores consideran que la funcin de transicin puede ser parcial, es decir, no estar definida para algn (q, a). En ese caso se dice que el AFD es incompleto, y en el diagrama de trancisin faltan entonces los arcos correspondientes a los casos no definidos de la funcin de transicin. 3 Puntos: 1/1
Identifique la forma como se puede caracterizar, identificar o clarificar un lenguaje.

Seleccione una respuesta. a. Mediante el uso de alfabetos definidos y cortos que no conviertan al lenguaje complejo. (Ejemplo el sistema binario) Esta es la respuesta correcta: Los intentos de formalizar los lenguajes, b. Se puede caracterizar lleva a la construccin de gramticas, un Lenguaje, mediante como una forma de describir estos las reglas de una lenguajes, utilizando para ello reglas de gramtica adecuada. produccin para construir las frases del lenguaje c. Mediante las reglas semnticas rgidas y concretas bien definidas d. Mediante las reglas sintcticas rgidas y concretas bin definidas. Los intentos de formalizar los lenguajes, 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 Correcto

Puntos para este envo: 1/1. Un Lenguaje normal o natural, como por ejemplo el lenguaje espaol u ingls, son la clase de lenguajes que han evolucionado con el paso del tiempo y tienen por fin la comunicacin humana. Este tipo de lenguajes estn en constante evolucin y sus reglas gramaticales solo pueden ser explicadas y no determinadas en cuanto a la estructura del lenguaje. 4 Puntos: 1/1
Los lenguajes se pueden clasificar segn el tipo de dispositivos de aceptacin y generacin que existen para ellos. Con respecto a esto, asocie correctamente los siguientes textos:

Los mecanismos de aceptacin de los lenguajes regulares y de los lenguajes libres de contexto forman la base para Alfabeto Lenguaje Los dispositivos de generacin de los lenguajes regulares y de los lenguajes

el diseo de los analizadores lxicos y sintcticos de los compiladores.

Conjunto finito no vaco de elementos. Conjunto de palabras o sentencias formadas sobre un alfabeto.

la sintaxis de los lenguajes de programacin.

libres de contexto, son ampliament e usados como modelos para expresar la Correcto Puntos para este envo: 1/1. Informalmente, el trmino lenguaje formal se utiliza en muchos contextos (en las ciencias, en derecho, etc.) para referirse a un modo de expresin ms cuidadoso y preciso que el habla cotidiana. Hasta finales de la dcada de 1990, el consenso general era que un lenguaje formal, era en cierto modo la versin lmite de este uso antes mencionado: un lenguaje tan formalizado que poda ser usado en forma escrita para describir mtodos computacionales. Sin embargo, hoy en da, el punto de vista de que la naturaleza esencial de los lenguajes naturales (sin importar su grado de formalidad en el sentido informal antes descrito) difiere de manera importante de aquella de los verdaderos lenguajes formales, gana cada vez ms adeptos. 5 Puntos: 0/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.

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. {w a | w {a,b} potencia 2 } c. Todas las palabras que terminan en dos as Incorrecto d. Todas las palabras que terminan en a y que estn precedidas por una b Tengase en cuenta la operacin estrella que es la que est determinando el tipo de cadenas vlidas que acepta el autmata. Incorrecto Puntos para este envo: 0/1. El conjunto de palabras aceptadas por este autmata son la palabras que terminan en a. 6 Puntos: 1/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 smbolo de salida que en un Esta es la respuesta instante determinado produce un correcta: Un autmata autmata, no slo depende del ltimo produce entradas y smbolo recibido a la entrada, sino de salidas ordenadas que toda la secuencia o cadena, que ha dependen del estado en recibido hasta ese instante. que se encuentre. c. El autmata no es una simulacin. No es una mquina. 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

Act 4: Leccin Evaluativa Unidad No.1 Revisin del intento 1


Comenzado el: domingo, 2 de diciembre de 2012, 12:21 Completado el: domingo, 2 de diciembre de 2012, 13:00 Tiempo empleado: 39 minutos 5 segundos Puntuacin bruta: 4.57/10 (46 %) Calificacin: de un mximo de Comentario - Correcto
5266

Continuar

1 Puntos: 0/1 Acerca de la cadena vaca lambda se puede afirmar que: Seleccione una respuesta. a. Es un palndromo b. Es un Autmata finito (AF) c. Es un smbolo y no es parte de un lenguaje d. No es una cadena sino un smbolo Incorrecto. Palndromos (palabras que se leen igual al derecho y al revs, como ANITALAVALATINA). labada puede ser repetitivo al igual que como por ejemplo la cadena {aa} Incorrecto Puntos para este envo: 0/1. Palndromos (palabras que se leen igual al derecho y al revs, como ANITALAVALATINA). labada puede ser repetitivo al igual que como por ejemplo la cadena {aa} 2 Puntos: 0.5/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. Es un Autmata Finito Determinstico (AFD) b. Es un Autmata Finito Determinstico con lambda - transiciones c. El lenguaje reconocido por el autmata Correcto. Esta ER es: a (b* | a* ) ba* es vlida d. El lenguaje reconocido por el autmata es: a (b*b | a*b) a* Parcialmente correcto Puntos para este envo: 0.5/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. 3 Puntos: 0.67/1
Los autmatas y su definicin se pueden representar mediante :

Seleccione al menos una respuesta. Correcto: Se pueden identificar a. Tabla de transiciones estados, transiciones y desde all se puede identificar las cadenas vlidas. b. Diagramas de Moore Correcto: Los diagramas de Moore son

otra forma de representar las funciones de transicin y salida de un autmata. c. Descripcin matemtica de la funcin de transicin d. El conjunto de tablas representativas Parcialmente correcto Puntos para este envo: 0.67/1. La palabra autmata evoca algo que pretende imitar las funciones propias de los seres vivos, especialmente relacionadas con el movimiento. Se pueden represnerar o definir mediante las tablas de transicin, Diagramas de Moore, La funcin de transicin. 4 Puntos: 0/1
Dado el siguiente Autmata Finito cuyo diagrama de transicin corresponde al de la siguiente figura, determine cuales afirmaciones son vlidas cuando se analiza la ejecucin del autmata.

Seleccione una respuesta. a. El conjunto de cadenas que es capaz de reconocer este autmata es. {, b, bb, bbb, bbbb, } b. El conjunto de cadenas que es Incorrecto: Tngase en capaz de reconocer este autmata es. cuenta la stransiciones {b} lambda.

c. El conjunto de cadenas que es capaz de reconocer este autmata es {b, bb, bbb} d. El conjunto de cadenas que es capaz de reconocer este autmata es. {b, bb, bbb, bbbb, } Las transiciones lambda son vlidas y se deben tener en cuenta al anlisis del lenguaje aceptado por el autmata. Incorrecto Puntos para este envo: 0/1. Se evala la cadena hasta llegar al estado de aceptacin o final q5. El conjunto de cadenas que es capaz de aceptar este autmata es {b,bb.bbb} 5 Puntos: 1/1 Acerca de la Equivalencia de AFD Y AFN es vlido afirmar. Seleccione una respuesta. a. Los autmatas finitos determinsticos (AFD) son un Correcto. subconjunto propio de los no determinsticos (AFN) b. Para covertir u AFD a u AFND, el AFD debe tener menos estados que el AFND c. Todo Autmata por defecto es Determinstico. d. Todo Autmata por defecto es No determinstico Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN), lo que quiere decir que todo AFD es un AFN. Podra entonces pensarse que los AFN son ms poderosos que los AFD, en el sentido de que habra algunos lenguajes aceptados por algn AFN para los cuales no habra ningn AFD que los acepte. Sin embargo, en realidad no sucede as. Correcto Puntos para este envo: 1/1. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN), lo que quiere decir que todo AFD es un AFN. Podra entonces pensarse que los AFN son ms poderosos que los AFD, en el sentido de que habra algunos

lenguajes aceptados por algn AFN para los cuales no habra ningn AFD que los acepte. Sin embargo, en realidad no sucede as. 6 Puntos: 1/1 Asocie los trminos correctamente: Incluyen a los Libres de Contexto (y Lenguajes Recursivamente Enumerables por lo tanto a los Lenguajes Regulares). Es la clase ms pequena, e incluye Lenguajes Regulares a los lenguajes ms simples Alfabeto Conjunto finito Lenguajes Libres de Contexto Incluyen a los Lenguajes Regulares Conjunto de palabras (cadenas de caracteres) de longitud finita Lenguaje Formal. formadas a partir de un alfabeto (conjunto de caracteres) finito. Chomsky Jerarqua de Lenguajes 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. 7 Puntos: 1/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) b. 1( 1) (0)* Correcto: La expresin regular genera las cadenas que c. 1(01) * inician con 1 y que luego pueden o no tener un 0 o un 1 . 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 . 8 Puntos: 0.4/1
Defina los siguientes conceptos: smbolo, alfabeto, palabra, lenguaje y gramatica.

Secuencias o cadenas de caracteres Una representacin distinguible de cualquier informacin

Palabras Lenguaje

Conjunto de reglas para formar correctamente las frases Gramtica de un lenguaje. Elegir... Un conjunto de palabras Smbolo Un conjunto no vaco de smbolos. Parcialmente correcto Puntos para este envo: 0.4/1. La nocin ms primitiva es la de smbolo, que es simplemente una representacin distinguible de cualquier informacin. Los smbolos pueden ser cualesquiera, como w, 9, #, etc., Un smbolo es una entidad indivisible. 9 Puntos: 0/1
En un autmata Finito Determinista (AFD), Es vlido afirmar que :

Seleccione una respuesta. a. El nombre determinista viene de la forma en que est definida la funcin de Respuesta Correcta: transicin: si en un instante t la mquina La funcin de est en el estado q y lee el smbolo a transicin define que entonces, en el instante siguiente t + 1 la sea determinado o mquina cambia de estado y sabemos con no. seguridad cual es el estado al que cambia, que es precisamente (q, a). b. A diferencia de los AF (Autmatas Finitos), los Autmatas Finitos Determinsticos Por ser AFD, este no debe ser inicializado con ningn smbolo de entrada 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, no tienen ningn ciclo de ejecucin. Solo leen un dato 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). 10 Puntos: 0/1
Indique cul de las siguientes afirmaciones se apropia a los conceptos de los Autmatas Finitos:

Seleccione una respuesta. a. Los autmatas finitos tienen un nmero finito de estados. b. Ninguna de las Tengase en cuenta el trmino afirmaciones anteriores es "finito" cuando se describen cierta mquinas computacionales. c. Los autmatas finitos slo pueden aceptar lenguajes finitos. d. Las mquinas de Turing y los autmatas de pila son autmatas finitos Una mquina de estados finitos M es un quntuplo claramente definiendo sus elementos, entre ellos que estados tiene.

Incorrecto Puntos para este envo: 0/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.
5266

Act 5: Quiz 1 - Unidad No. 1 Revisin del intento 1


Comenzado el: domingo, 2 de diciembre de 2012, 12:00 Completado el: domingo, 2 de diciembre de 2012, 12:20 Tiempo empleado: 20 minutos 13 segundos Puntuacin bruta: 10/15 (67 %) Calificacin: de un mximo de Comentario - Contesto parcialmente
5267

Continuar

1 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 y la Razn es una explicacin CORRECTA de la Afirmacin b. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA c. La Afirmacin es FALSA, pero la Razn es una

proposicin VERDADERA d. La Afirmacin y la Razn son VERDADERAS Respuesta pero la Razn NO es una explicacin CORRECTA Correcta de la Afirmacin Correcto Puntos para este envo: 1/1. 2 Puntos: 1 Un ejemplo de Lenguaje es el conjunto de palndromos (cadenas que se leen igual hacia adelante, que hacia atrs). Para el caso del alfabeto { 0, 1} Es vlido afirmar: (Seleccione dos respuestas). Tenga en cuenta que el smbolo lambda (usado en autmatas), http://es.wikipedia.org/wiki/Lambda Seleccione al menos una respuesta. a. Pueden ser cadenas vlidas como: {lambda, 0, 1. 00, 11, 010, 0110, 000000, 101101, 10001} b. Este Lenguaje tiene cadenas finitas c. Las cadenas vlidas para ese alfabeto obedece a sus seis posibles combinaciones: {0, 1, 01, 10, 00, 11} d. Este Lenguaje tiene cadenas infinitas Correcto: Este lenguaje {0,1} tiene cadenas infinitas (muchisimas se pueden combinar como palindromos que se lean iagual al derecho y al reves). Correcto: Este lenguaje {0,1} tiene cadenas infinitas (muchisimas se pueden combinar como palindromos que se lean iagual al derecho y al reves).

Correcto Puntos para este envo: 1/1. Los lenguajes regulares se llaman as porque sus palabras contienen regularidades o repeticiones de los mismos componentes, como por ejemplo en el lenguaje L1 siguiente: L1 =

{ab, abab, ababab, abababab, . . .} En este ejemplo se aprecia que las palabras de L1 son simplemente repeticiones de ab cualquier nmero de veces. Aqu la regularidad consiste en que las palabras contienen ab algn nmero de veces. 3 Puntos: 1 Indique cual de las siguientes afirmaciones aplica correctamente a las caractersticas o definicones de un AF. Seleccione una respuesta. a. Un automata finito no determinista es una representacion abreviada de un automata finito determinista. b. Ninguna de las afirmaciones anteriores es cierta c. En un diagrama completo que represente a un automata finito determinista, de cada estado sale un arco por simbolo y solo uno. d. Los automatas finitos no deterministas son mas potentes que los automatas finitos deterministas Incorrecto Puntos para este envo: 0/1. 4 Puntos: 1 Una de las siguientes afirmaciones NO aplica a los lenguajes que reconocen un autmata. Identifquela Seleccione una respuesta. a. Un automata finito determinista utilizado como reconocedor de lenguajes con al menos una cadena necesariamente tiene que tener al menos un estado de aceptacion. b. 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. c. Un automata reconoce una cadena cuando alcanza un estado de aceptacion durante su lectura d. Un automata finito determinista M reconoce un lenguaje L(M)

si acepta exclusivamente la coleccion de cadenas de dicho lenguaje. Incorrecto Puntos para este envo: 0/1. 5 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) Correcto Puntos para este envo: 1/1. 6 Puntos: 1 Los Automatas finitos no Deterministicos tienen las caracteristicas de: Seleccione al menos una respuesta. a. Permitir que de cada nodo del diagrama de estados salga un numero de flechas mayor o menor. b. No permitir que cada nodo del diagrama de estados salga un numero de flechas mayor o menor. c. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vacia. d. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacia. Correcto Puntos para este envo: 1/1. 7

Puntos: 1 Un Autmata Determinstico de estados finitos (DFA), M, es una quntupla: (Q, , qi , F, ), donde: Q es un conjunto finito de estados. es un alfabeto finito. qi Q es el estado inicial. F Q son los estados finales. : (Q ) Q es la funcin de transicin de estados. La condicin de ser Determinstico es debido a que: Seleccione al menos una respuesta. a. El autmata comienza en el estado inicial y lee una secuencia de smbolos (smbolo por smbolo hasta que se acabe la secuencia). Esto corresponde a la definicin de Autmatas Determinsiticos (DFA). Estos autmatas se denominan determinsticos ya que en cada estado su comportamiento es fijo. Es decir, dado el estado y el smbolo en la cinta de entrada hay un nico estado al cual puede pasar. . Todas los items son verdaderas. Esto corresponde a la definicin de Autmatas Determinsiticos (DFA). Estos autmatas se denominan determinsticos ya que en cada estado su comportamiento es fijo. Es decir, dado el estado y el smbolo en la cinta de entrada hay un nico estado al cual puede pasar. . Todas los items son verdaderas.

b. Las transacciones estn descritas por una funcin total.

c. En cada instante lee un smbolo y dependiendo del smbolo y del estado s en el que se encuentra, cambia al estado dado por la funcin de transicin: (s, ) d. Hay un nico estado

inicial. Parcialmente correcto Puntos para este envo: 0.5/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 En un contexto general un Lenguaje lo podemos definir como: Seleccione una respuesta. a. Significado de las cadenas que lo componen b. Conjunto de instrucciones que indican acciones a realizar c. Estudio de las reglas y principios que regulan su uso d. Un Sistema de Smbolos Convencionales, Respuesta hablados o escritos con el que nos comunicamos Correcta Correcto Puntos para este envo: 1/1. 9 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 Incorrecto b. Un autmata de pila determinista c. Una mquina de Turing. d. Un autmata finito Incorrecto Puntos para este envo: 0/1.

10 Puntos: 1 Para el siguiente Autmata Finito denotado como: A2 = (E. Q, f, q1 , F) donde E = {0,1}, F = {q2 } y Q = {q1, q2 , q3 , q4 }, identifique correctamente el Lenguaje que genera y la expresin regular:

OPCUINES DE RESPUESTA: OPCION A. L = (A2 ) = {0, 001, 01111, } = { 1(10)n /n 0} La expresin regular es: 0(01) * OPCION B. L = (A2 ) = {1, 101, 10101, } = { 1(01)n /n 0} La expresin regular es: 1(01) * OPCION C. L = (A 2) = {0, 111, 11100, } = { 1(10)n /n = 0} La expresin regular es: 1(01) + OPCION D. L = (A2 ) = {0, 001, 00100, } = { 1(01)n/n 0} La expresin regular es: 0(01) * Seleccione una respuesta. a. OPCION (A)

b. OPCION (D) c. OPCION (C) d. Correcto: El lenguaje genrado se obtiene partiendo OPCION del estado inicial y recorriendo todos los caminos (B) posibles para alcanzar el estado final. 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. 11 Puntos: 1 Sea el vocabulario {1,2,3}, la expresin regular (1|2)* 3 indica el conjunto de todas las cadenas formadas con los smbolos 1,2 y 3 . Cules sentencias o cadenas son vlidas : Seleccione al menos una respuesta. Correcto: Pueden formarse cadenas con los a. smbolos 1 y 2, sucedndose cualquir nmero de 121211223 veces ( y en cualquir rden) y siempre terminando la cadena en el smbolo 3 b. 132211 Correcto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cualquir nmero de c. 221113 veces ( y en cualquir rden) y siempre terminando la cadena en el smbolo 3 d. 2213311 Correcto

Puntos para este envo: 1/1. Un posible alfabeto sera, digamos, {a, b}, y una cadena cualquiera sobre este alfabeto sera, por ejemplo, ababba. Un lenguaje sobre este alfabeto, que incluyera esta cadena, sera: el conjunto de todas las cadenas que contienen el mismo nmero de smbolos a que b. 12 Puntos: 1 Las cadenas no nulas, en un alfabeto se crean por: (selecciones dos opciones de respuesta). Seleccione al menos una respuesta. a. En un alfabeto no existen cadenas no nulas b. Longitud mnima del alfabeto unida al nmero mximo de combinaciones. Correcto: Las cadenas no nulas, en un alfabeto se crean por concatenacion de cadenas sencillas, las de longitud 1. Tambien es posible ver la concatenacin c. Interseccin de los como una operacin en lenguajes, de valores de lambda modo que se podran considerar los lenguajes obtenidos por concatenacin de lenguajes sencillos de la forma {a}, donde a PERTENECE A Incorrecto: Las cadenas no nulas, en un alfabeto se crean por concatenacion de cadenas sencillas, las de longitud 1. d. Concatenacin de Tambien es posible ver la concatenacin cadenas sencillas, las como una operacin en lenguajes, de de longitud 1. modo que se podran considerar los lenguajes obtenidos por concatenacin de lenguajes sencillos de la forma {a}, donde a PERTENECE A Parcialmente correcto

Puntos para este envo: 0.5/1. Las cadenas no nulas, en un alfabeto se crean por concatenacion de cadenas sencillas, las de longitud 1. 13 Puntos: 1 3. Partiendo de la definicin de que un Autmata Finito Determinstico (AFD) est dado por la quntupla: 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 que pertenece a Q es el estado inicial. Y que para el ejercicio, el autmata acepta las cadenas (01) n 1) : , A = ({q0 , q1 , q2 , q3 } , {0,1} , f , q0 , { q2 }) Representado mediante el grafo:

La tabla de transicin correspondiente es:

Seleccione una respuesta. a. TABLA DE TRANSICION C b. TABLA DE TRANSICION B Correcto: La transicin correcta es la B. est identificado de forma correcta el estado inicial, el estado final con un * y las transiciones (con los elementos de entrada) acordes al grafo. Opcin B.

c. TABLA D ETRANSICION A d. TABLA DE TRANSICION D Correcto Puntos para este envo: 1/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). 14 Puntos: 1

El nombre "finito" en un Autmata, se justifica por una de las siguientes afirmaciones. Seleccione una. Seleccione una respuesta. a. Que el Autmata contiene un alfabeto smbolos (letras del abecedario) y estas son finitas. b. Del hecho que el Autmata almacena informacin en un solo estado (el final), que es donde termina su recorrido Incorrecto. Los autmatas pueden almacenar informacin en cualquier estado dependiendo de la descricpcin de su funcin de transicin.

c. Del hecho que el autmata solo tiene un conjunto finito de estados distintos para recordar lo procesado (no tiene ningn sistema de almacenamiento de informacin adicional) d. Que el Autmata tiene un solo estado Inicial que se puede representar por un * o por un crculo doble. Incorrecto Puntos para este envo: 0/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. 15 Puntos: 1 Con referencia a los AFD, identifique cual caracterstica no aplica a su descripcin o funcionamiento. Seleccione una respuesta. a. Para un automata finito no determinista siempre podran

recorrerse una o mas rutas distintas al leer una cadena dada, y por tanto todas deberan examinarse para verificar si alguna termina en un estado de aceptacion. b. En un automata finito no determinista puede haber cero, una o mas transiciones desde un estado leyendo el mismo simbolo de entrada que conduzcan a estados diferentes (o posiblemente al mismo). c. Los automatas finitos tienen un numero finito de estados. d. En un automata finito determinista para cada estado existe exactamente una transicion por cada simbolo del alfabeto de la maquina. Correcto Puntos para este envo: 1/1.
5267 5265

Continuar