evaluaciones finales

55
7/13/2019 Evaluaciones Finales http://slidepdf.com/reader/full/evaluaciones-finales 1/55 Act 3: Reconocimiento Unidad No. 1 Revisión del intento 1 Finalizar revisión  Comenzado el domingo, 23 de marzo de 2014, 12:20 Completado el domingo, 23 de marzo de 2014, 13:17 Tiempo empleado 56 minutos 9 segundos Puntos 4.5/6 Calificación 7.5 de un máximo de 10 ( 75%) Comentario - Correcto: Contestó la totalidad de las preguntas. Question1 Puntos: 1 Un alfabeto es un conjunto finito de símbolos. De esta definición podemos afirmar correctamente: Seleccione al menos una respuesta. a. Por ser un alfabeto un conjunto finito de elementos, las posibles cadenas que se formen no pueden ser vacías b. Las cadenas que se forman a partir de un alfabeto finito, resultan ser infinitas. c. Por símbolo no se está haciendo referencia a un sólo carácter. Los símbolos pueden ser nombres. Correcto: Lenguaje Formal: Un alfabeto es un conjunto finito de símbolos. De esta definición se debe resaltar lo siguiente. (1) Los alfabetos son finitos. (2) Por símbolo no se está haciendo referencia a un sólo carácter. Los símbolos puede ser nombres d. Dado un alfabeto, podemos formar palabras o cadenas con los símbolos del alfabeto Correcto: Es el principio básico para empezar a tratar con lenguajes. Correcto Puntos para este envío: 1/1. Question2 Puntos: 1 Del tratado y temática de Autómatas, los principales objetivos de las ciencias de la computación es: Seleccione al menos una respuesta. a. Traducir lenguajes de máquina a programas escritos en lenguajes de alto nivel. Incorrecto: estas son tareas de máquina que surgen del análisis formulación de tratados como los de los algoritmo b. La solución de problemas por medio de un computador. Correcto: Fundamentalmente se trata de resolver problemas haciendo uso de un sistema computacional.  c. Reducir problemas en otros más pequeños.

Upload: saralhin

Post on 14-Oct-2015

517 views

Category:

Documents


2 download

TRANSCRIPT

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

Final del formularioComenzado eldomingo, 23 de marzo de 2014, 12:20

Completado eldomingo, 23 de marzo de 2014, 13:17

Tiempo empleado56 minutos 9 segundos

Puntos4.5/6

Calificacin7.5de un mximo de 10 (75%)

Comentario -Correcto: Contest la totalidad de las preguntas.

Question1Puntos: 1Un alfabeto es un conjunto finito de smbolos. De esta definicin podemos afirmar correctamente:Seleccione al menos una respuesta.a.Por ser un alfabeto un conjunto finito de elementos, las posibles cadenas que se formen no pueden ser vacas

b.Las cadenas que se forman a partir de un alfabeto finito, resultan ser infinitas.

c.Por smbolo no se est haciendo referencia a un slo carcter. Los smbolos pueden ser nombres.Correcto: Lenguaje Formal: Un alfabeto es un conjunto finito de smbolos.De esta definicin se debe resaltar losiguiente. (1) Los alfabetos son finitos. (2) Por smbolo no se est haciendo referencia a un slo carcter. Los smbolos pueden ser nombres

d.Dado un alfabeto, podemos formar palabras o cadenas con los smbolos del alfabetoCorrecto: Es el principio bsico para empezar a tratar con lenguajes.

CorrectoPuntos para este envo: 1/1.Question2Puntos: 1Del tratado y temtica de Autmatas, los principales objetivos de las ciencias de la computacin es:Seleccione al menos una respuesta.a.Traducir lenguajes de mquina a programas escritos en lenguajes de alto nivel.Incorrecto: estas son tareas de mquina que surgen del anlisisformulacin de tratados como los de los algoritmos

b.La solucin de problemas por medio de un computador.Correcto: Fundamentalmente se trata de resolver problemas haciendo uso de un sistema computacional.

c.Reducir problemas en otros ms pequeos.

d.Proporcionar mecanismos para analizar algoritmos, construir y expresar programasCorrecto: Fundamentalmente se trata de resolver problemas haciendo uso de un sistema computacional.

CorrectoPuntos para este envo: 1/1.Question3Puntos: 1Existen diferencias marcadas entre los lenguajes de programacin (LP) y los lenguajes naturales (LN). Identifique cules son vlidas.Seleccione al menos una respuesta.a.Los LP tienen unas reglas de sintaxis y de semntica mucho ms rgidas, (cerradas) lo que les hace manejables en los computadoresCorrecto: Tienen unas estructuras claramente definidas y determinadas por sus reglas gramaticales(sintcticas y semnticas).

b.En los lenguajes naturales, las reglas pretenden explicar la estructura del lenguaje.Correcto: En los LN, las reglas gramaticales se desarrollan para reglamentar" de alguna forma la propiaevolucin del lenguaje. Se trata pues de "explicar" la estructura del lenguaje, y no delimitarla. Esto obliga a reglas muy complejas y que se quedan obsoletas rpidamente.

c.Las reglas en sintaxis de los LP so las mismas para los LN. Difieren nicamente en la interpretacin semntica que se les d.

d.En los LN, las reglas gramaticales son interpretadas y manejadas por los computadores con instrucciones guales o similares alas de los LP.

CorrectoPuntos para este envo: 1/1.Question4Puntos: 1Acerca de los autmatas finitos no deterministas (AFND), cules apreciaciones son verdaderas cuando se analiza su comportamiento para aceptar lenguajes:Seleccione al menos una respuesta.a.Un autmata finito no determinista (AFND) acepta una cadena cuando es posible que su anlisis deje a la mquina en un estado de aceptacin.

b.Un autmata finito no determinista (AFND) solo puede utilizarse para aceptar lenguajes finitos.Incorrecto: la condicin de determinismo no define esta limitante.

c.Un autmata finito no determinista (AFND) se puede convertir a un AFD y solo ser vlido si aceptan el mismo lenguaje.Correcto: Corresponde a la condicin de determinismo.

d.Nunca se puede afirmar con seguridad que un autmata finito no determinista (AFND) acepta una cadena.

Parcialmente correctoPuntos para este envo: 0.5/1.Question5Puntos: 1Sea el vocabulario{a,b,c},la expresin regular(a|b)*cindica el conjunto de todas las cadenas formadas con los smbolos a, b y c . Cules sentencias o cadenas son vlidas:Seleccione al menos una respuesta.a.bbaccaa

b.ababaabbcCorrecto: Es una combinacin vlida.Pueden formarse cadenas con los smbolos a y b, sucedindose cualquier nmero de veces( y en cualquier orden) y siempre terminando la cadena en el smbolo c

c.bbaaacCorrecto: Es una combinacin vlida.Pueden formarse cadenas con los smbolos a y b, sucedindose cualquier nmero de veces( y en cualquier orden) y siempre terminando la cadena en el smbolo c

d.acbbaa

CorrectoPuntos para este envo: 1/1.Question6Puntos: 1Cuando se trata desimplificar Autmatas, se deben tener en cuenta aspectos como: (Identifique cul paso o concepto es vlido en este proceso deMinimizacin).Seleccione una respuesta.a.Para saber si dos estados q1 y q2 son equivalentes, se les pone a ambos como estado final de los autmatas M1 y M2, y se procede a comparar dichos autmatas. Si estos ltimos son equivalentes, quiere decir que los estados q1 y q2 son equivalentes

b.Dos estados son equivalentes si al intercambiar uno por otro en cualquier configuracin no altera la aceptacin o rechazo de toda la palabra.

c.Se entiende por minimizacin de autmatas finitos al proceso de obtencin de un autmata con el menor nmero de transiciones posiblesIncorrecto: la minimizacin est dada en la reduccin del nmero de estados. De all surge la reduccin de transiciones.

d.Dos estados son distinguibles si son compatibles (es decir, si ambos son finales o ambos son inciales).

IncorrectoPuntos para este envo: 0/1.Act 4: Leccin Evaluativa Unidad No.1Revisin del intento 1Principio del formulario

Final del formularioComenzado ellunes, 31 de marzo de 2014, 23:31

Completado elmartes, 1 de abril de 2014, 00:30

Tiempo empleado58 minutos 38 segundos

Puntos7/10

Calificacin21de un mximo de 30 (70%)

Comentario -Correcto

Question1Puntos: 1Si es un alfabeto, se le llama (potencia n)al conjunto de todas las palabras de longitudnsobre .Identifique las notaciones de conjuntos vlidas para la creacin de palabras sobre el alfabeto Seleccione al menos una respuesta.a. (potencia 0) = Conjunto de todas las cadenas sobre el alfabeto excepto la vaca.

b. *= Conjunto de todas las cadenas de cualquier longitud sobre Correcto: La longitud de una cadena que se denota como || es el nmero de letras que aparecen en . A la cadena que no tiene smbolos o que es lo mismo decir que tiene longitud cero, se le llama palabra vaca.Si es un alfabeto, se le llama n al conjunto de todas las palabras de longitud n sobre . la estrella * genera el conjunto de todas las cadena de cualquier longitud sobre .Si se analiza + esta representa al conjunto de todas las cadenas sobre el alfabeto excepto la vaca.

c. (potencia 0) = {lambda} Conjunto cuyo nico elemento es la palabra vaca.Correcto: La longitud de una cadena que se denota como || es el nmero de letras que aparecen en . A la cadena que no tiene smbolos o que es lo mismo decir que tiene longitud cero, se le llama palabra vaca.Si es un alfabeto, se le llama n al conjunto de todas las palabras de longitud n sobre . la estrella * genera el conjunto de todas las cadena de cualquier longitud sobre .Si se analiza + esta representa al conjunto de todas las cadenas sobre el alfabeto excepto la vaca.

d. (potencia +) = Conjunto de todas las cadenas positivas excepto la vacaIncorrecto:Conjunto de todas las cadenas excepto la vaca

CorrectoPuntos para este envo: 1/1.Question2Puntos: 1Para el siguiente Autmata Finito denotado como:A2= (E. Q, f, q1, F)dondeE = {0,1},F = {q2}yQ = {q1, q2, q3, q4},identifique correctamente el Lenguaje que genera y la expresin regular:

Seleccione una respuesta.a.L = (A2 ) = {0, 001, 01111, } = { 1(10)n |n 0} La expresin regular es: 0(01) *

b.L = (A2 ) = {0, 111, 11100, } = { 1(10)n |n = 0} La expresin regular es: 1(01)+

c.L = (A2 ) = {0, 001, 00100, } = { 1(01)n |n 0} La expresin regular es: 0(01) *

d.L = (A 2) = {1, 101, 10101, } = { 1(01)n |n 0} La expresin regular es: 1(01) *Correcto: El lenguaje generado se obtiene partiendo del estado inicial y recorriendo todos los caminos posibles para alcanzar el estado final

CorrectoPuntos para este envo: 1/1.Question3Puntos: 1La expresin regular que se asocia la siguiente autmata es:

Seleccione una respuesta.a.r = (10 + 0) *Correcto: Las cadenas que tengan varios unos consecutivos son rechazadas

b.r = (10) * + 1*

c.r = (1)* + (0) + lambda

d.r = (1 + 0) + 1*

CorrectoPuntos para este envo: 1/1.Question4Puntos: 1Dado un alfabeto , los smbolos , lambday los operadores + (unin), (punto) (concatenacin) y * (clausura), se define una EXPRESION REGULAR (ER) sobre el alfabeto en la que son vlidas las siguientes relaciones:Nota. es una cadena sobre un lenguaje LSeleccione al menos una respuesta.a.Si = entonces L () = Correcto: Esta es una ER

b.Si * es una ER entonces L (*) no es una ER

c.Si = a y a pertenece entonces L () no pertenece

d.Si = lambda entonces L (lambda) = { lambda}Correcto: Esta es una ER

CorrectoPuntos para este envo: 1/1.Question5Puntos: 1Que representa la siguiente figura:

Seleccione una respuesta.a.Que representa la siguiente figura:

b.No representa un autmata vlido por que el mismo estado inicial es el mismo estado final.

c.Un Autmata de tipo AFND vlido.Correcto: Es un Autmata Finito No Determinstico (AFND) vlido. Es una extensin vlida de un AFD. Permite que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor que ||

d.Un Autmata que acepta palabras o cadenas que contienen nicamente bs o as

CorrectoPuntos para este envo: 1/1.Question6Puntos: 1Dado los autmatas M1y M2 siguientes, cules relaciones entre estas dos mquinas son vlidas.

Seleccione al menos una respuesta.a.Los Autmatas M1 y M2 son iguales pero no equivalentes

b.Los Autmatas M 1 y M2 son equivalentes: M1 M2 , por que aceptan exactamente el mismo lenguajeCorrecto: La equivalencia se da por la aceptacin de lenguajes. Ambos aceptan el lenguaje a * y aceptan exactamente el mismo lenguaje

c.Los Autmatas M1 y M2 aceptan ambos el lenguaje a *Correcto: La equivalencia se da por la aceptacin de lenguajes. Ambos aceptan el lenguaje a * y aceptan exactamente el mismo lenguaje

d.Los Autmatas M1 y M2 no son equivalentes porque ambos rechazan el lenguaje b*. La equivalencia se da en la aceptacin de lenguajes.

CorrectoPuntos para este envo: 1/1.Question7Puntos: 1Analice el siguiente Autmata y determine cules apreciaciones son vlidas en su anlisis:

Seleccione al menos una respuesta.a.La funcin de transicin puede no estar definida para alguna combinacin (0,1) y, por el contrario, puede definir para otras combinaciones (0,1) ms de un estado.

b.Es un autmata no determinstico (AFND), con un conjunto finito de estados y smbolos de entrada, un estado inicial, un conjunto de estados finales, y una funcin de transicin de estados.

c.La funcin de transicin define para cada posible combinacin (0,1) un estado nuevo.Incorrecto

d.Es un autmata determinstico (AFD), con un conjunto finito de estados y smbolos de entrada, un estado inicial, un conjunto de estados finales, y una funcin de transicin de estados.Incorrecto. Es un AFND

IncorrectoPuntos para este envo: 0/1.Question8Puntos: 1Cules afirmaciones son vlidas cuando se trata de analizar el funcionamiento de los Autmatas Finitos (AF):Seleccione al menos una respuesta.a.Los AF son mquinas de memoria amplia por ser mquinas abstractas (no reales).

b.En una mquina de estados finitos, la funcin de transicin almacena los datos de entrada del Autmata.

c.Los estados son el nico medio de que disponen los AF para recordar los eventos que ocurren (por ejemplo que caracteres se han ledo hasta el momento).Correcto: Los estados son el nico medio de que disponen los AF para recordar los eventos que ocurren (por ejemplo, qu caracteres se han ledo hasta el momento); esto quiere decir que son mquinas de memoria limitada.

d.Los AF son mquinas de memoria limitada.Correcto: Los estados son el nico medio de que disponen los AF para recordar los eventos que ocurren (por ejemplo, qu caracteres se han ledo hasta el momento); esto quiere decir que son mquinas de memoria limitada.

CorrectoPuntos para este envo: 1/1.Question9Puntos: 1Dado el siguiente Autmata Finito cuyo diagrama de transicin corresponde al de la siguiente figura, determine cual afirmacin es vlida 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 capaz de reconocer este autmata es {b, bb, bbb}

c.El conjunto de cadenas que es capaz de reconocer este autmata es. {, b, bb, bbb, bbbb, }Incorrecto: bbbb no es aceptada, ni tampoco el smbolo vaco. La cadena vaca es diferente.

d.El conjunto de cadenas que es capaz de reconocer este autmata es. {b}

IncorrectoPuntos para este envo: 0/1.Question10Puntos: 1Dado el Autmata con la siguiente tabla de transicin, identifique las cadenas que son vlidas para el lenguaje que acepta

Seleccione una respuesta.a.Solo acepta cadenas vacas (lambda).Incorrecto: Es un AND de landa transiciones. Aceptar las cadenas que inicien con un orden jerrquico de nmeros (es decir de menor a mayor, siendo vlida la repeticin de los mismos), Ej 012, 12pero nunca 210, 20 entre otros.

b.Es un AFND y acepta cualquier cadena que inicie con cero (0)

c.{22, 0,1,001122, 12, 012, 022}

d.{101, 210, 20,110, 200}

IncorrectoPuntos para este envo: 0/1.Act 5: Quiz 1 - Unidad No. 1Revisin del intento 1Principio del formulario

Final del formularioComenzado eljueves, 3 de abril de 2014, 20:58

Completado eljueves, 3 de abril de 2014, 21:58

Tiempo empleado1 hora

Puntos10/15

Calificacin20de un mximo de 30 (67%)

Comentario -Contesto parcialmente

Question1Puntos: 1Cules afirmaciones son vlidas y que surgen de un anlisis de las ER (Expresiones Regulares):Analice los autmatas dados:

Seleccione al menos una respuesta.a.La ER (0+1)*01 genera las mismas cadenas para el Autmata B y del autmata A

b.La ER (0+1)*01 genera cadenas vlidas para el autmata A, pero no para las del autmata B.Incorrecto

c.La ER (1*00*1(00*1)*1)*1*00*1(00*1)* genera las mismas cadenas para el Autmata A el autmata B.

d.La ER (0+1)*11(01)* genera cadenas vlidas para el autmata B pero no para las del autmata A.Incorrecto

IncorrectoPuntos para este envo: 0/1.Question2Puntos: 1Dado los siguientes dos autmatas: identifique las apreciaciones verdaderas con respecto al comportamiento de los dos autmatas:

Seleccione una respuesta.a.Ambos autmatas aceptan las mismas cadenas, como por ejemplo: {012,011,11,2222,1122,001122}Incorrecto: La cadena 00 por ejemplo no son aceptadas por el segundo autmata

b.Solo un autmata es una mquina de estados que representa un lenguaje regular

c.Un autmata es AFD y el otro es AFND

d.Ambos autmatas son AFD

IncorrectoPuntos para este envo: 0/1.Question3Puntos: 1Apoyado en las caractersticas funcionales y de diseo de los AFD y de os AFND; identifique las apreciaciones vlidas de su comportamiento:Seleccione al menos una respuesta.a.Un AFND puede reconocer el mismo lenguaje que un AFD. Solo que el AFND consume ms estados de memoria por la caracterstica del no determinismo.

b.Si se tiene un AFND seguramente ser posible encontrar otro autmata AFD que sea equivalente a el.Correcto:

c.Los AFND y os AFD pueden resolver los mismos problemasCorrecto:

d.Los AFD y los AFND tienen la misma capacidad de operacin y poder computacional.

Parcialmente correctoPuntos para este envo: 0.7/1.Question4Puntos: 1Dentro de la jerarqua y clasificacin de los lenguajes (Chomsky) identifique que asociaciones estn erradas.Seleccione al menos una respuesta.a.Los lenguajes libres de contexto o de tipo 2, pueden ser generados por los autmatas de pila (AP)

b.Los lenguajes regulares pueden ser pueden ser descritos mediante expresiones regulares (ER)Esta afirmacin es verdadera. Un lenguaje puede ser descrito mediante una expresin regular (expresar de forma compacta cmo son todas las cadenas de smbolos que le pertenecen).

c.Una gramtica regular o de tipo 3, puede generar Autmatas finitos (AF)Correcto: esta afirmacin es errada ya que las gramticas generan lenguajes. Las mquinas o autmatas reconocen es lenguajes.

d.Los lenguajes que no poseen restricciones o de tipo 0, son reconocidos mediante Autmatas Finitos No Deterministas (AFND)Correcto: esta afirmacin est errada. Los lenguajes que no poseen restricciones o de tipo 0, son reconocidos mediante Mquinas de Turing (MT)

Parcialmente correctoPuntos para este envo: 0.7/1.Question5Puntos: 1Sean dos lenguajes L1 y L2 definidos sbre el mismo alfabeto , la operacin que se representa a continuacin es:L = L1L2 = {xy / x pertenece L1 y perteneceL2}Seleccione una respuesta.a.Unin de lenguajes

b.Asociacin de lenguajes

c.Operacin cerrada de dos lenguajes

d.Concatenacin de lenguajesCorrecto: La concatenacin de ambos lenguajes estar formada por todas las palabras obtenidas al concatenar una palabra cualquiera de L1 con otra de L2.

CorrectoPuntos para este envo: 1/1.Question6Puntos: 1Expresiones regulares: Determine que igualdades son vlidas:Seleccione al menos una respuesta.a.a*=a*.a*=(a*)*Correcto: Por asociacin

b.a+a=aCorrecto: dada las propiedades de las ER

c.a(aa+b)* + a(aa+b)* = a(aa+b)*Correcto

d.aa+b*a = (aa+b*)aIncorrecto

CorrectoPuntos para este envo: 1/1.Question7Puntos: 1Acerca de la clasificacin de los lenguajes, identifique las afirmaciones vlidas con referencia a la jerarqua y comportamiento de los mismos:Seleccione al menos una respuesta.a.Los lenguajes son en s conjuntos de secuencias de smbolos y las clases de lenguajes son conjuntos de conjuntos de secuencias de smbolos.Correcto

b.Al clasificar lenguajes, no se estn clasificando mquinas que los reconozcan, Se clasifican gramticas que los generan.

c.Se llama clase de lenguajes a conjuntos de lenguajes que comparten cierta propiedad dada.

d.Segn la clasificacin de lenguajes definida por Chomsky y que la llam jerarqua de lenguajes, los Lenguajes Regulares es la clase ms pequea en la jerarqua, e incluye a los lenguajes ms simples. Estos se llaman as porque sus palabras contienen regularidades o repeticiones de los mismos componentes.Correcto

Parcialmente correctoPuntos para este envo: 0.7/1.Question8Puntos: 1Para el siguiente autmata determine cuales afirmaciones son vlidas cando se trata de evaluar que cadenas acepta el autmata.

Seleccione al menos una respuesta.a.Si una cadena tiene 5 unos o ms, entonces contiene un nmero par de unos.

b.Todas las cadenas que tengan igual nmero de unos y de ceros son aceptadas.Incorrecto: No corresponden el nmero de unos descritos en la cadena

c.Si una cadena tiene menos de 5 unos, entonces tiene un nmero par de unos.Correcto: Al recorrer el autmata, se confirma la relacin de unos descrita.

d.Si una cadena tiene 5 unos o ms, entonces contiene un nmero impar de unos.

Parcialmente correctoPuntos para este envo: 0.5/1.Question9Puntos: 1Analice el siguiente diagrama de Moore e identifique las apreciaciones vlidas:

Seleccione al menos una respuesta.a.Es un AF.Correcto

b.Es una aplicacin de los autmatas. Un interruptor de luzCorrecto

c.No es un autmata vlido en diseo

d.No tiene alfabeto definidoIncorrecto: se puede asociar a estados de 1 y 0 (encendido, apagado) como impulsos elctricos

CorrectoPuntos para este envo: 1/1.Question10Puntos: 1Sea el autmataA = (, Q, f,q1, F)donde: ={a,b},Q = {q1, q2, q3, q4},F= { q4}y la funcinfvienen dada por la siguiente tabla:

Determine qu aspectos son vlidos para el autmataSeleccione al menos una respuesta.a.El lenguaje reconocido por el autmata es: a (b* | a* ) ba*Correcto: Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a*otambina (b* | a* ) ba*para efectos de mejor comprensin, hay que recrear o realizar el autmata mediante un diagrama de Moore

b.Es un Autmata Finito Determinstico con lambda transiciones

c.Es un Autmata Finito Determinstico (AFD)

d.El lenguaje reconocido por el autmata es: a (b*b | a*b) a*Correcto: Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a*otambina (b* | a* ) ba*para efectos de mejor comprensin, hay que recrear o realizar el autmata mediante un diagrama de Moore

CorrectoPuntos para este envo: 1/1.Question11Puntos: 1Acerca del comportamiento de los estados en un autmata, indique que apreciaciones son vlidas con respecto a su funcin y comportamiento:Seleccione al menos una respuesta.a.Se define como 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, cul ser el smbolo de salida.Correcto

b.Un estado de un autmata funciona de tal forma que cuando reciba a su entrada una determinada cadena de smbolos, indica si dicha cadena pertenece o no al lenguajeIncorrecto: Un autmata es reconocedor de lenguajes si tiene esa funcin. Pero un solo estado no puede determinar si reconoce o no una cadena. Depende de otros estados y ms an si no es de aceptacin

c.Un estado de aceptacin tambin puede ser inicial. Solo para autmatas finitos no

d.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.Correcto

CorrectoPuntos para este envo: 1/1.Question12Puntos: 1Con los smbolos del alfabeto se forman cadenas, frases o palabras que se denotan por la letra .Algunas operaciones entre palabras son la concatenacin y la inversa.Que afirmaciones son vlidas para estas propiedades y en algunas particularidades para el comportamiento de las cadenas o palabras (que se forman con los smbolos de un alfabeto) y que haran parte de un lenguaje.Seleccione al menos una respuesta.a.La Inversin ( potencia R) consiste en una operacin sobre palabras o cadenas que escribe al revs una palabra. La palabra resultante se denomina inversa.

b.El Palndromo se puede definir como: ( = potencia R ).

c.La concatenacin por ejemplo no tiene la propiedad conmutativa, es decir: 1 2 2 1 .Correcto

d.En general (1 2 ) potencia R 1 potencia R 1 potencia R pero (1 2) potencia R = 2 potencia R 1 potencia RCorrecto

Parcialmente correctoPuntos para este envo: 0.5/1.Question13Puntos: 1Dado el siguiente autmata: Cambie los smbolos del alfabeto asociando a = 0yb =1. Para las siguientes opciones,(que estn en base 10o decimal), convirtalas a base 2 (binario) y recorra el autmata e identifiquecul nmero acepta el autmata.

Seleccione una respuesta.a.253Incorrecto: equivale a la cadena 11111101y esta no es reconocida

b.73

c.182

d.205

IncorrectoPuntos para este envo: 0/1.Question14Puntos: 1Dada la siguiente ER, el lenguaje que define esta, es el de todas las cadenas que alternan entre0 y 1.(((01)*+(01)*0)+((10)*+(10)*1))Identifique las cadenas no vlidas.Seleccione una respuesta.a.{01,10,101,010}

b.{11, 0110, 00,11,1011}Correcto: estas son cadenas no validas

c.{010010, 101101,1}

d.{0,1}

CorrectoPuntos para este envo: 1/1.Question15Puntos: 1Dado el siguiente autmata, analice si es posible su minimizacin y seleccione las opciones vlidas para su anlisis:

Seleccione al menos una respuesta.a.Los estados q2 y q3 son equivalentes. Dado que transitan igual para los dos smbolos del alfabeto. Por tanto se pueden fusionar en no solo.Correcto

b.El autmata no se puede minimizar. No hay estados equivalentes y los estados distinguibles no se pueden modificar.

c.Si es posible minimizarlos y el autmata resultante tendr tres estadosCorrecto

d.El estado final q1 es equivalente con el inicial. (teorema de equivalencia de estados). Por tanto el autmata es candidato a minimizarse.

CorrectoPuntos para este envo: 1/1.Act 7: Reconocimiento Unidad No. 2Revisin del intento 1Principio del formulario

Final del formularioComenzado elmircoles, 16 de abril de 2014, 16:02

Completado elmircoles, 16 de abril de 2014, 16:47

Tiempo empleado45 minutos 14 segundos

Puntos5/6

Calificacin8.3de un mximo de 10 (83%)

Comentario -Correcto:

Question1Puntos: 1Dado el alfabeto = {a,b}, identifique cul afirmacin es falsa.Seleccione una respuesta.a.La expresin regular (b*ab*ab*a) * representa al lenguaje de las cadenas con un nmero mltiplo de 3 de letras aEsta afirmacin (ER) es errada para las cadenas que dice generar.

b.La expresin regular b*a*b* representa al lenguaje de las cadenas que pueden o no tener a

c.La expresin regular b*(ab*ab*)* representa al lenguaje de las cadenas con un nmero par de letras a

d.La expresin regular b*ab* (ab*ab*)* representa al lenguaje de las cadenas con un nmero impar de letras a

CorrectoPuntos para este envo: 1/1.Question2Puntos: 1Dada la GramticaSaS;SaSbS;S. Indique cules de las siguientes afirmaciones no corresponden al desarrollo de la misma o al tipo de cadenas o palabras que pueda generar.Seleccione al menos una respuesta.a.Las cadenas que acepta la gramtica siempre van a empezar por a. Adems el lenguaje generado por la gramtica es estructurado por frases.Esta afirmacin es cierta en el contexto. Pero la pregunta est solicitando cules apreciaciones son falsas.

b.Las cadenas que acepta la gramtica siempre van a empezar por b. Adems el lenguaje generado por la gramtica es no es estructurado por frases.

c.Cualquier cadena generada por la gramtica contiene una subcadena no vaca donde el nmero de letras a es igual al nmero de letras b.Es cierto que: Las cadenas van a empezar por a. El lenguaje generado por la gramtica es estructurado por frases. Solo algunas cadenas generadas contiene igual nmero de as que de bs

d.Para cualquier prefijo de una cadena generada por la gramtica se verifica que el nmero de letras a es mayor o igual al nmero de letras b. Prefijo de una cadena es toda cadena no vaca x para la que existe una cadena u tal que =xuEsta afirmacin es cierta en el contexto. Pero la pregunta est solicitando cules apreciaciones son falsas.

Parcialmente correctoPuntos para este envo: 0.5/1.Question3Puntos: 1Dada la GramticaSaS; SaSbS; S.Indique cules de las siguientes afirmaciones no corresponden al desarrollo de la misma o al tipo de cadenas o palabras que pueda generar.

Seleccione al menos una respuesta.a.Las cadenas que acepta la gramtica siempre van a empezar por a. Adems el lenguaje generado por la gramtica es estructurado por frasesCorrecto:Correcto: Las cadenas van a empezar por a. El lenguaje generado por la gramtica es estructurado por frases. Solo algunas cadenas generadas contiene igual nmero de as que de bs.

b.Para cualquier prefijo de una cadena generada por la gramtica se verifica que el nmero de letras a es mayor o igual al nmero de letras b. Prefijo de una cadena es toda cadena no vaca x para la que existe una cadena u tal que =xuIncorrecto

c.Cualquier cadena generada por la gramtica contiene una subcadena no vaca donde algunas veces el nmero de letras a es igual al nmero de letras b.Correcto:Correcto: Las cadenas van a empezar por a. El lenguaje generado por la gramtica es estructurado por frases. Solo algunas cadenas generadas contiene igual nmero de as que de bs.

d.Las cadenas que acepta la gramtica siempre van a empezar por b. Adems el lenguaje generado por la gramtica es no es estructurado por frases.

Las gramticas cuyas reglas son de la forma A ---> aB o bien A ---> a, donde A y B son variables, y a es un caracter terminal. A estas gramticas se les llama regulares.CorrectoPuntos para este envo: 1/1.Question4Puntos: 1Un rbol de derivacin, para una derivacin dada se construye: (seleccione que las operaciones que son necesarias): Teniendo en cuenta el siguiente rbol.

Seleccione al menos una respuesta.a.Todos los nodos hoja estn etiquetados con smbolos terminales.Correcto

b.Los nodos que no tienen hijos, deben ser etiquetados con smbolos terminales.Correcto

c.Creando un nodo raz que se etiqueta con el smbolo inicial.Correcto

d.El nodo raz tiene unos hijos para cada smbolo que aparece en el lado derecho de la produccin usada para reemplazar el smbolo inicial.Correcto

CorrectoPuntos para este envo: 1/1.Question5Puntos: 1Cuando se disean AP o se formalizan, se utilizan notaciones grficas parecidas a la de los diagramas de los AF. Con respecto a esto: qu aspectos de diseos son vlidos para formalizar un AP.?Seleccione al menos una respuesta.a.Si se da la transicin a/x/c indica que se consume de la entrada un carcter a, se avanza una posicin x y se mete c a la pila.Incorrecto:indica que se consume de la entrada uncarctera, no se saca nada de la pila, y se meteca la pila.

b.Para que una palabra de entrada sea aceptada en un AP debe cumplir tres condiciones. Una de ellas es que el AP se debe encontrar en un estado final.

c.Si se da la transicin a/x/c indica que se consume de la entrada un carcter a, no se saca nada de la pila, y se mete c a la pila.Correcto: Ese es el funcionamiento en sintaxis de la pila o la forma como se alimenta el autmata..

d.Si se da la transicin a/x/c indica que se saca de la pila un carcter a, luego se avanza una posicin x en la pila, y se mete c a la pila.Incorrecto No es la sintaxis de recorrido de un AP.

Parcialmente correctoPuntos para este envo: 0.5/1.Question6Puntos: 1Con referencia las gramticas de Tipo 2, que aspectos vlidos hacen referencia a la forma de generar lenguajes de tipo 2 y su comportamiento y descripcin:Seleccione al menos una respuesta.a.Si M es un AP, entonces L(M) es un LLCCorrecto

b.Los autmatas de pila aceptan exactamente los LLC (Lenguajes Libres de Contexto).Correcto

c.Las producciones son de la forma: A - aa Dado que hay un carcter de lectura y uno de escritura

d.Si L es un LLC, entonces hay un AP M tal que L(M) = LCorrecto

CorrectoPuntos para este envo: 1/1.Principio del formulario

Act 8: Leccin Evaluativa Unidad No. 2Revisin del intento 1Principio del formulario

Final del formularioComenzado elmircoles, 23 de abril de 2014, 20:03

Completado elmircoles, 23 de abril de 2014, 21:02

Tiempo empleado58 minutos 16 segundos

Puntos8.5/10

Calificacin25.5de un mximo de 30 (85%)

Comentario -Correcto

Question1Puntos: 1De entre las cuatro clases de gramticas de la clasificacin de Chomsky, el grupo ms importante, desde el punto de vista de la aplicabilidad en teora de compiladores, es el de las gramticas independientes o libres del contexto. Las gramticas de este tipo se pueden usar para expresar la mayora de estructuras sintcticas de un lenguaje de programacin.

Aspectos que caracterizan este tipo de gramticas son:Seleccione al menos una respuesta.a.La representacin de las derivaciones de la gramtica siempre se hacen de forma vertical. Nunca de forma comprimida u horizontalIncorrecto

b.Un rbol ordenado y etiquetado D es un rbol de derivacin para una gramtica libre de contexto G(A)Correcto

c.La longitud de las cadenas de derivaciones nunca puede ser nula y siempre se grafican en el Arbol de derivacin iniciando por la Izquierda La representacin de las derivaciones de la gramtica siempre se hacen de forma vertical. Nunca de forma comprimida u horizontalIncorrecto

d.El lenguaje definido por una gramtica G, denotado L(G) es el conjunto de cadenas de smbolos terminales, que se pueden derivar partiendo del axioma de la gramtica, y empleando para las derivaciones las reglas de produccin de PCorrecto

Una gramtica es un conjunto de reglas para formar correctamente las frases de un lenguaje; as tenemos la gramtica del espaol, del francs, etc. La formalizacin que presentaremos de la nocin de gramtica es debida a N. Chomsky, y est basada en las llamadas reglas gramaticales.CorrectoPuntos para este envo: 1/1.Question2Puntos: 1Dado el siguiente autmata finito (AF), reconoce el lenguaje generado por la gramtica:

Seleccione una respuesta.a.G={S ---> 0A| lambda,, A ---> 0A | 1B, B ---> 1B|lambda}

b.G = { S --->A |lambda , A ---> 0B | lambda,, B ---> lambda}

c.G= {S -->0B | 0A , A ---> 1B | lambda , B ---> lambdaIncorrecto

d.G = { S --->B |lambda , A ---> 1B | lambda,, B ---> lambda}

IncorrectoPuntos para este envo: 0/1.Question3Puntos: 1Si es un alfabeto, se le llama nal conjunto de todas las palabras de longitudnsobre .Identifique las notaciones de conjuntos vlidas para la creacin de palabras sobre el alfabeto Seleccione al menos una respuesta.a. * = Conjunto de todas las cadenas de cualquier longitud sobre Correcto

b.0 = {lambda} Conjunto cuyo nico elemento es la palabra vaca.Correcto

c.0 = Conjunto de todas las cadenas sobre el alfabeto excepto la vaca.

d.+ = Conjunto de todas las cadenas positivas excepto la vacaIncorrecto

La longitud de una cadena que se denota como || es el nmero de letras que aparecen en . A la cadena que no tiene smbolos o que es lo mismo decir que tiene longitud cero, se le llama palabra vaca. Si es un alfabeto, se le llama n al conjunto de todas las palabras de longitud n sobre . La estrella * genera el conjunto de todas las cadena de cualquier longitud sobre . Si se analiza + esta representa al conjunto de todas las cadenas sobre el alfabeto excepto la vaca.CorrectoPuntos para este envo: 1/1.Question4Puntos: 1Del diseo y naturaleza de los autmatas de pila (PDA), es vlido afirmar:Seleccione una respuesta.a.Para poder simular un autmata de Pila se debe tener en cuenta: Las columnas de una traza de ejecucin para un AP son: el estado en que se encuentra el autmata, lo que ha leido hasta el momento o estado actual al inicio de la simulacin, y el contenido de la memoria al final del recorrido.

b.Un autmata de pila no puede hacer las funciones de "contador" ya que sus recorridos varan en la cinta y lo que le importa a esta automatizacin es el estado final y la salida del dato.

c.Un Autmata de Pila al igual que una Mquina de Turing o un Autmata Finito, su definicin bsica es de naturaleza no determinista

d.A la hora de disear un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos diseos para un mismo problema pueden tomar decisiones diferentes en cuanto a que recuerda cada cualRespuesta Correcta: Aunque en el caso de los AP no hay metodologas tan generalmente aplicables como era el caso de los autmatas finitos, siguen siendo vlidas las ideas bsicas del diseo sistemtico, en particular establecer claramente qu es lo que recuerda cada estado del AP antes de ponerse a trazar transiciones a diestra y siniestra.

A la hora de disear un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos diseos para un mismo problema pueden tomar decisiones diferentes en cuanto a que recuerda cada cual.CorrectoPuntos para este envo: 1/1.Question5Puntos: 1Para que una palabra de entrada sea aceptada en un AP se deben cumplir las condiciones siguientes:Seleccione al menos una respuesta.a.La pila debe estar vaca.Correcto: la pila debe estar vaca.

b.El AP se debe encontrar en un estado final.Correcto: para que una palabra de entrada sea aceptada en un AP se deben cumplir todas las condiciones siguientes: 1. La palabra de entrada se debe haber agotado (consumido totalmente). 2. El AP se debe encontrar en un estado final. 3. La pila debe estar vaca.

c.La palabra de entrada se debe haber agotado (consumido totalmente).Correcto; para que una palabra de entrada sea aceptada en un AP se deben cumplir todas las condiciones siguientes: 1. La palabra de entrada se debe haber agotado (consumido totalmente). 2. El AP se debe encontrar en un estado final. 3. La pila debe estar vaca.

d.La pila debe tener lambda como elemento final.

A la hora de disear un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos diseos para un mismo problema pueden tomar decisiones diferentes en cuanto a qu recuerda cada cual.CorrectoPuntos para este envo: 1/1.Question6Puntos: 1En un autmata de pila (AP), la funcin de transicin aplica o interviene a:Seleccione al menos una respuesta.a.A cada smbolo topo de la pilaCorrecto

b.A cada estadoCorrecto

c.A cada smbolo de entrada (Incluyendo la cadena vaca)Correcto

d.A cada movimiento de la pila

La funcin de transicin aplica cada estado, cada smbolo de entrada (incluyendo la cadena vaca) y cada smbolo tope de la pila en un conjunto de posibles movimientos. Cada movimiento parte de un estado, un smbolo de la cinta de entrada y un smbolo tope de la pila. El movimiento en s consiste en un cambio de estado, en la lectura del smbolo de entrada y en la substitucin del smbolo tope de la pila por una cadena de smbolos.Parcialmente correctoPuntos para este envo: 0.8/1.Question7Puntos: 1Indique cul de las siguientes afirmaciones es verdadera:Seleccione al menos una respuesta.a.Para reconocer un lenguaje regular mediante un autmata de pila no es necesario que el alfabeto de la pila contenga ningn smboloCorrecto: Cualquier lenguaje independiente del contexto puede ser aceptado por un autmata de pila, y todos lenguajes regulares son independientes del contexto.

b.Cuando se dice que un AFPD (autmata de pila determinista) es ms sencillo , se refiere a que es menos potente y no se refiere ala sencillez de su diseo.Correcto:

c.Con un autmata de pila no puede reconocerse un lenguaje regularEsta opcin es falsa: Para reconocer un lenguaje regular mediante un autmata de pila no es necesario que el alfabeto de la pila contenga ningn smbolo, ya que en realidad no se necesita usar la pila.

d.Para reconocer un lenguaje regular mediante un autmata de pila el alfabeto de la pila debe contener al menos un smbolo

CorrectoPuntos para este envo: 1/1.Question8Puntos: 1Identifique los aspectos que se deben tener para garantizar el determinismo en un Autmata de pila finito determinista (AFPD).Tenga en cuenta adems de los componentes (tupla) de la pila que::f: es la funcin de transicin:e:es una transicin dada espontanea.Seleccione al menos una respuesta.a.Las operaciones: f(q,a,s)y f(q,e,s) con a ,, q Q y s (pertenecen) al alfabeto de la pila y no pueden estar simultneamente definidos o declarados.

b.La definicin de la funcin de transicin (f) requiere que haya por lo menos un smbolo en la pila. No se permiten operaciones con la pila vaca.Correcto

c.El determinismo se da cuando no hay alternativas de movimiento para el mismo estado, usando la misma entrada y el mismo smbolo de pila.Correcto

d.Las transiciones lambda en un AFPD permiten que el autmata cambie el contenido de la pila, sin procesar (o consumir) smbolos sobre la cinta de entrada.Correcto

Parcialmente correctoPuntos para este envo: 0.8/1.Question9Puntos: 1Sea un autmata (finito o de pila) M y una cadena xL(M). Si el autmata lee la cadena x, llegar necesariamente a un estado de aceptacin?Seleccione una respuesta.a.Si, si M es un autmata finito.

b.Nunca, Queda en un bucle ya que solo recorre un smbolo.

c.S, siempre.

d.No todas las veces, dado que puede tratarse de un autmata no determinista.Correcto

CorrectoPuntos para este envo: 1/1.Question10Puntos: 1Respecto a la relacin entre un AF y un AP cul afirmacin es cierta:Seleccione una respuesta.a.Un AP es infinito por su capacidad de memoria. Un AF es finito por su nmero de estados.

b.Los AF y los AP tienen la misma capacidad de memoria

c.Todo lenguaje aceptado por un AF es tambin aceptado por un APCorrecto: Este resultado debe quedar intuitivamente claro, puesto que los AP son una extensin de los AF.

d.Las gramticas que generan los lenguajes que pueden representar estos autmatas o mquinas, son las GLC

En los AP tambin es posible aplicar mtodos de combinacin modular de autmatas, como se hizo con los autmatas finitos. En particular, es posible obtener AP que acepten la unin y concatenacin de los lenguajes aceptados por dos AP dados.CorrectoPuntos para este envo: 1/1.Act 9: Quiz 2 - Unidad No. 2Revisin del intento 1Principio del formulario

Final del formularioComenzado elmircoles, 23 de abril de 2014, 21:03

Completado elmircoles, 23 de abril de 2014, 21:58

Tiempo empleado55 minutos 44 segundos

Puntos11/15

Calificacin22de un mximo de 30 (73%)

Comentario -Correcto: Contest la totalidad de las preguntas.

Question1Puntos: 1La combinacin de autmatas se demostr en los Autmatas Finitos de la Unidad 1 en as que era viable combinar dos Autmatas que generaban el miso lenguaje y obtener otro que genera las mismas cadenas que los autmatas combinados.Con referencia a los Autmatas de Pila (AP), este tema de combinacin tiene aspectos a analizar. identifique cul es vlido para estas operaciones:Seleccione una respuesta.a.Las operaciones de combinar AP solo es viable cuando los dos Autnomas leen el mismo alfabeto.Incorrecto

b.Se pueden obtener AP que acepten operaciones de Unin y Concatenacin de los lenguajes aceptados por los Autnomas de Pila dados.

c.Un AP se puede combinar con una MT siempre y cuando lean y acepten el mismo lenguaje.

d.Solo la operacin de Unin de los lenguajes de dos AP es permitida.

En los AP tambin es posible aplicar mtodos de combinacin modular de autmatas, como se hizo con los autmatas finitos. En particular, es posible obtener AP que acepten la unin y concatenacin de los lenguajes aceptados por dos AP dados.IncorrectoPuntos para este envo: 0/1.Question2Puntos: 1Considere la gramtica: S 0S, S 1S, S S0, S . Indique cules de lassiguientes afirmaciones son verdaderasSeleccione al menos una respuesta.a.La gramtica es equivalente a S0S, S 1S, S Correcto

b.Existen derivaciones distintas que generan cadenas idnticasCorrecto

c.Las cadenas {0101, 1001] no son parte del lenguaje que genera

d.La regla S S0 es innecesariaCorrecto

CorrectoPuntos para este envo: 1/1.Question3Puntos: 1Dado el lenguaje L = {a, abb, ba, bbba, b} indique cuntas cadenas de longitudestrictamente menor que 3 hay en L*:Seleccione una respuesta.a.6

b.7Correcto: L* {wL* | |w| < 3}= { , a,b,aa,ab,ba,bb}

c.5

d.4

CorrectoPuntos para este envo: 1/1.Question4Puntos: 1Indique cul de las siguientes afirmaciones es falsa:Seleccione una respuesta.a.La unin de un nmero finito de lenguajes estructurados por frases es un lenguaje estructurado por frasesIncorrecto

b.La interseccin de dos lenguajes estructurados por frases es un lenguaje estructurado por frases

c.La interseccin de un lenguaje regular con un lenguaje independiente del contexto es siempre un lenguaje regular.

d.Todo lenguaje cuyo complementario sea un lenguaje finito es independiente del contexto

IncorrectoPuntos para este envo: 0/1.Question5Puntos: 1Indique cul de las siguientes afirmaciones es verdadera:Seleccione una respuesta.a.Los AP son siempre deterministas. El no determinismo no se hace presente por que los AP poseen un mecanismo adicional de manejo de memoria

b.Los autmatas finitos no deterministas son ms potentes que los autmatas finitos deterministas

c.En un diagrama completo que represente a un autmata finito determinista, de cada estado sale un arco por smbolo y slo unoCorrecto

d.Un PDA es siempre no determinista por que la cinta es infinita y puede generar muchas combinaciones en las cadenas que lee.

CorrectoPuntos para este envo: 1/1.Question6Puntos: 1En la descripcin de las gramticas, las producciones unitarias tienen la forma:Seleccione una respuesta.a.A -->sB

b.S-->ABs

c.A --> BCorrecto

d.S-->a

LasproduccionesunitariassonlasquetienenlaformaABCorrectoPuntos para este envo: 1/1.Question7Puntos: 1Si a un Autmata se le adiciona un almacenamiento auxiliar, se est construyendo entonces:Seleccione una respuesta.a.Un Pushdown Automaton (PA)

b.Un Autmata Determinstico Finito.

c.Un Autmata No determinstico pero Finito

d.Una Turing Machine (TM)Incorrecto

Aadir al AF un almacenamiento auxiliar, que llamaremos pila, donde se podran ir depositando caracter por caracter cadenas arbitrariamente grandes, es el primer paso a la construccin de un AP a partir de un simple AF.IncorrectoPuntos para este envo: 0/1.Question8Puntos: 1Cual de las siguientes afirmaciones es VERDADERASeleccione una respuesta.a.En un rbol de derivacin cada nodo solamente puede tener otro hijo nodo. De lo contrario se formara otro nodo.

b.En los arboles de derivacin, los nodos races siempre derivan en dos ramas.

c.Los lenguajes generados por una Gramtica Independiente del Contexto son llamados Lenguajes Regulares

d.En un rbol de derivacin, una gramtica es ambigua, cuando hay dos o ms rboles de derivacin distintos para una misma cadena.Correcto. En este caso es ambigua por cuanto puede tener varias soluciones

Es posible probar que cualquier palabra que sea aceptada por el AFD M, puede ser generada por la gramtica regular G. Esto significa que L(G) = L(M).CorrectoPuntos para este envo: 1/1.Question9Puntos: 1Considere la gramtica S Rc, R aRbR, R . Siendo w una cadena cualquiera generada por dicha gramtica, indique cul de las siguientes afirmaciones es falsa:Seleccione una respuesta.a.Las cadenas {abc, c} son aceptadas

b.El nmero de letras a es igual al de letras b en w

c.w = xc | x (a b)*Esta afirmacin es falsa y es la respuesta correcta: Por ejemplo la cadena w = ac no es generada por la gramtica

d.El nmero de letras a es mayor o igual al de letras b en todo prefijo de w. Prefijo de una cadena w es toda cadena no vaca x para la que existe una cadena u tal que w = xu.

CorrectoPuntos para este envo: 1/1.Question10Puntos: 1Considere la gramtica G1 = {S aS/ aA/ a, A aB/ bS, B aB/ bB, C aA/ bC}y G2 = {S aS/ aA/ a, A bS}. Sean L1 y L2 los lenguajes generados respectivamentepor G1 y G2; entonces: (Nota: el smbolodenota la relacin de inclusin estricta):Seleccione una respuesta.a.L1 L2

b.L1 = L2Correcto:Las reglas que implican a los no terminales B y C no generan ningunacadena.

c.L2 L1

d.L1 L2

CorrectoPuntos para este envo: 1/1.Question11Puntos: 1Si una gramtica independiente del contexto tiene todas sus reglas de la forma: A wB, o bien de la forma A w, donde w es una cadena de uno o ms terminales, y A y Bson smbolos no terminales, entonces el lenguaje generado por dicha gramtica es:Seleccione una respuesta.a.Estructurado por frases y no independiente del contexto

b.Decidible

c.RegularCorrecto

d.Independiente del contexto no regular

CorrectoPuntos para este envo: 1/1.Question12Puntos: 1Para simular el funcionamiento de un Autmata de Pila lo ms recomendable es hacer primero:Seleccione una respuesta.a.Simular su ejecucin en un software (podra ser como Visual Autmata Simulator) iniciando con una cadena no vlida para determinar si el ciclo de la cinta inicia o no.

b.Simularlo en JFLAP con la cadena vaca Lambda para determinar si la pila inicia o no.

c.Simular su ejecucin, listando las situaciones sucesivas en que se encuentra, mediante una tabla llamada traza de ejecucinCorrecto

d.Simular su ejecucin en una MT que se comporta de igual forma

Para verificar el funcionamiento del autmata, podemos simular su ejecucin, listando las situaciones sucesivas en que se encuentra, mediante una tabla que llamaremos traza de ejecucin. Las columnas de una traza de ejecucin para un AP son: el estado en que se encuentra el autmata, lo que falta por leer de la palabra de entrada, y el contenido de la pila.CorrectoPuntos para este envo: 1/1.Question13Puntos: 1Cual de las siguientes afirmaciones se asocia correctamente al diseo y funcionamiento de los rboles de derivacin.Seleccione una respuesta.a.En un rbol de derivacin, una gramtica es ambigua cuando hay dos o ms rboles de derivacin distintos para una misma cadena.Respuesta Correcta: Una gramtica es ambiga cuando hay dos o ms rboles de derivacin distintos para una misma cadena

b.Los lenguajes generados por una Gramtica Independiente del Contexto son llamados Lenguajes Regulares

c.En un rbol de derivacin cada nodo solamente puede tener otro hijo nodo

d.En los rboles de derivacin, no es necesario usar nodo raz

Al derivar una cadena a travs de una GIC, el smbolo inicial se sustituye por alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan smbolos no terminales, queda una cadena con slo smbolos terminales. A veces es til realizar un grfico de la derivacin. Tales grficos tienen forma de rbol y se llaman rbol de derivacin o rbol de anlisis. Para una derivacin dada, el smbolo inicial S etiqueta la raz del rbol. El nodo raz tiene unos nodos hijos para cada smbolo que aparezca en el lado derecho de la produccin, usados para reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tiene unos nodos hijos etiquetados con smbolos del lado derecho de la produccin usada para sustituir ese no terminal.CorrectoPuntos para este envo: 1/1.Question14Puntos: 1Dada la siguiente gramtica con las siguientes producciones: Determine que opciones son verdaderas y aplican al diseo y anlisis de la misma.

Seleccione al menos una respuesta.a.Genera le lenguaje : L = {x (potencia m) y (potencia n) | 0