Automatas y Lenguajes Formales

AUTOMATAS Y LENGUAJES FORMALES 301405

Act1: Revisión de Presaberes Question 1 Puntos: 1 En Octubre de 1950, Alan Turing hizo estudios más abstractos y trató el tema de la Inteligencia artificial. Para ello propuso un experimento que hoy se conoce como el “test de Turig”. Que consiste básicamente en: (seleccione la verdadera).

Question 1 Puntos: 1 En Octubre de 1950, Alan Turing hizo estudios más abstractos y trató el tema de la Inteligencia artificial. Para ello propuso un experimento que hoy se conoce como el “test de Turig”. Que consiste básicamente en: (seleccione la verdadera).

Seleccione una respuesta.

a. Método para evaluar el rendimiento y capacidad de una maquia. “Poder de  procesamiento”

Correcto: El Test de Turing nace como un método para determinar si una máquina puede pensar.

 b. “Método” para determinar si una

máquina puede pensar. c. Prueba de error que determina cuando un  problema tiene solución o no. d. Procedimientos para evaluar decisiones lógicas de una máquina.

2. Turing trabajo desde 1952 – 1952 – 1954  1954 en la Biología Matemática (Morfogénesis). Publicó un trabajo titulado “Fundamentos químicos de la morfogénesis”. morfogénesis”. Su principal interés era: (seleccione los verdaderos).

Seleccione al menos una respuesta. a. Definir los números áureos y sus características.  b. Comprender la existencia de números de Fibonacci en las estructuras vegetales. c. Comprender la secuencia de Fibonacci y determinar si es finta o infinita. d. Comprender la phyllotaxis de fibonacci. Biografía de Alan Turing

Incorrecto Correcto Incorrecto Correcto: Utilizó ecuaciones de reaccióndifusión actualmente usadas en el campo de la formación de patrones.

a. Método para evaluar el rendimiento y capacidad de una maquia. “Poder de  procesamiento”

Correcto: El Test de Turing nace como un método para determinar si una máquina puede pensar.

 b. “Método” para determinar si una

máquina puede pensar. c. Prueba de error que determina cuando un  problema tiene solución o no. d. Procedimientos para evaluar decisiones lógicas de una máquina.

2. Turing trabajo desde 1952 – 1952 – 1954  1954 en la Biología Matemática (Morfogénesis). Publicó un trabajo titulado “Fundamentos químicos de la morfogénesis”. morfogénesis”. Su principal interés era: (seleccione los verdaderos).

Seleccione al menos una respuesta. a. Definir los números áureos y sus características.  b. Comprender la existencia de números de Fibonacci en las estructuras vegetales. c. Comprender la secuencia de Fibonacci y determinar si es finta o infinita. d. Comprender la phyllotaxis de fibonacci. Biografía de Alan Turing

Incorrecto Correcto Incorrecto Correcto: Utilizó ecuaciones de reaccióndifusión actualmente usadas en el campo de la formación de patrones.

3En

septiembre de 1939 Inglaterra le declara a guerra a Alemania. A Turing junto con otros criptógrafos, se les asignó el trabajo de descifrar la máquina “Enigma” del ejército Alemán que transmitía de manera codificada las coordenadas y comunicaciones que definían las estrategias de guerra y la ubicación de bombarderos y, misiles, tanques y submarinos. Para este trabajo Turing ideo: Seleccione una respuesta. a. La MUT  b. La MT c. La Criptografía Correcto. El Bombe replicaba la acción de varias máquinas Enigma cableadas una con la otra. Casda uno de los rápidos tambores rotativos. Simulaba la acción de un rotor del enigma Biografía de Alan turing d. El Bombe

4. Identifique los acontecimientos que dentro del marco histórico sucedieron e n torno a la vida del matemático Alan Turing.

Seleccione una respuesta. Correcto: El hundimiento del Titanic se a. En el mismo año que nació Alan desarrolló en la noche del 14 al 15 de abril de Mathison Turing, aconteció el 1912 en el océano Atlántico Septentrional frente hundimiento del trasatlántico a las costas de Terranova. Por otra parte Alan Mathison Turing nació en Londres, 23 de junio Br itánico itánico “El Titanic” de 1912  b. Alan Mathison Turing fue criado siempre al lado de sus padres. Por

eso su cultura y legado que ha dejado a raíz de las enseñanzas y educación que ellos le dieron. c. El Padre de Alan Mathison Turing: Julius Mathison Turing era de origen Polaco. d. Alan Mathison Turing murió a los 48 años de edad. Se cree que fue un suicidio aunque hay apartes de la historia que mienten esta versión. Biografía de Alan Turing 5Turing era ateo. Reafirmó sus conceptos superficiales y concretos en los que todos los fenómenos incluyendo el funcionamiento del cerebro humano, deben ser materialistas. Pese a ello siguió creyendo en la supervivencia del espíritu después de la muerte. Estas  posiciones fueron dadas a raíz de: Seleccione una respuesta. a. A empezar estudios del cerebro humano y descubrir que podría asociarse al funcionamiento de una máquina mecánica y que no podría haber sido creación de Dios.  b. En 1928, con dieciséis años, al descubrir descub rir e interpretar los trabajos de Albert Einstein c. Dada la muerte de Christopher Morcom, quién fue el primer amor. Morcom murió repentinamente el 13 de febrero de 1930 . d. Al ver el horror de la segunda erra mundial en la Incorrecto: Fue por la temprana que participó como agente encubierto descifrando muere de su amigo y también códigos e interceptando comunicaciones del ejército científico joven Christopher Morcom, Alemán. Biografía de Alan Turing Incorrecto Puntos para este envío: 0/1. Question 6 Puntos: 1 En 1936, Alonzo Churh fue director de tesis del trabajo de grado doctoral de Alan Turing quién le siguió sus pasos “estudios” en lógica y computabilidad. El nombre del trabajo doctoral fue “Sistemas de lógica basada en ordinales sobre números computables”. Este

tema ya lo había tratado Davd Gilbert en 1928. Este trabajo es el que hoy en día ha llevado a: Seleccione una respuesta. a. Determinar las teorías de números ordinales y de algoritmos.  b. Establecer los principios de la criptografía.

c. Definir los conceptos modernos de lógica d. Establecer las nociones de lo que hoy se conoce como la “Máquina de Turing”

Correcto

Biografía de Alan Turing Correcto

Act 3: Reconocimiento Unidad No. 1 1 Puntos: 1 Sea el vocabulario {a,b} y la expresión regular aa*bb* Indique cuales cadenas que se relacionan a continuación son válidas para esa ER Seleccione una respuesta. a. {ab, aab, aab, a, aa,bb} Incorrecto: las cadenas válidas tienen almenos una “b” después de almenos una “a”

 b. {a, b, ab, ba, aab, bba, aaab} c. {ab, aab, aaab, abbb, abb, aa,bb} d. {ba, ab, b, a} Incorrecto Puntos para este envío: 0/1. Question 2 Puntos: 1 La definición formal de un Lenguaje Regular (ele) L, se da solo si cumple ciertas condiciones . Siendo ∑ un alfabeto, el conjunto de los lenguajes regulares sobre ∑ = {a,b} puede estar formado por: Seleccione al menos una respuesta. a. La cadena vacía (lambda) es un lenguaje regular.  b. La cadena vacía y el conjunto vacío no son lenguajes regulares. c. {ab} no es regular. d. {a} y {b} son lenguajes regulares. {a,b} es regular  pues resulta de la unión de {a} y {b}.

Correcto: Lambda es regular.

Correcto: Definición formal de Lenguaje Regular. Por la definición anterior, el conjunto de los lenguajes regulares

formado por el lenguaje vacío, los lenguajes unitarios incluido lambda y todos los lenguajes obtenidos a partir de la unión, concatenación y cerradura o estrella de Kleene.. {ab} es regular pues resulta de la concatenación de {a} y {b}. Correcto Puntos para este envío: 1/1. Question 3 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 símbolo no se está haciendo referencia a un sólo carácter. Los símbolos pueden ser nombres.  b. Por ser un alfabeto un conjunto finito de elementos, las posibles cadenas que se formen no  pueden ser vacías c. Las cadenas que se forman a partir de un alfabeto Incorrecto: Las palabras aceptadas pueden ser infinitas. finito, resultan ser infinitas. d. Dado un alfabeto, podemos formar palabras o Correcto: Es el principio básico  para empezar a tratar con cadenas con los símbolos del alfabeto lenguajes. Parcialmente correcto Puntos para este envío: 0.5/1. Question 4 Puntos: 1 Cuando se trata de simplificar Autómatas, se deben tener en cuenta aspectos como: (Identifique cuál paso o concepto es válido en este proceso de Minimización). Seleccione una respuesta. a. Se entiende por minimización de autómatas finitos al proceso de obtención de un autómata con el menor número de transiciones posibles  b. Para saber si dos estados q1 y q2 son equivalentes, se les pone a ambos como estado final de los autómatas M1 y M2, y se procede a comparar dichos autómatas. Si estos últimos son equivalentes, quiere decir que los Incorrecto estados q1 y q2 son equivalentes c. Dos estados son equivalentes si al intercambiar uno por otro en cualquier configuración no altera la aceptación o rechazo de toda la  palabra.

d. Dos estados son distinguibles si son compatibles (es decir, si ambos son finales o ambos son iníciales). Incorrecto Puntos para este envío: 0/1. Question 5 Puntos: 1 Los Autómatas finitos no determinísticos (AFND) es una quíntupla donde todos los componentes son como en los AFDs, estos autómatas aceptan exactamente los mismos lenguajes que los autómatas determinísticos, pero cuentan con una diferencia con relación a los AFD como es. Seleccione una respuesta. a. El alfabeto de entrada  b. El conjunto finito de estados. c. El estado inicial. d. La función de transición.

Correcto: Solo la función de transición puede diferenciar los AFD de los AFND. Las demás opciones pueden ser comunes a ambos tipos de autómatas y válidas.

Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1 Dados los siguientes lenguajes del alfabeto ∑= {0,1}: L1= {0 n1n, | n ≥ 1} y L2 = {cadenas con igual número de 1´s que de 0´s} y L3 = {cadenas en que cada 1 va seguido de al menos un 0}. Señale la afirmación que es verdadera: Tenga en cuenta qque se 0n1n (equivale a 0 potencia n 1 potencia n)

Seleccione una respuesta. a. L1 y L2 son independientes del contexto  b. Ninguno de los lenguajes es regular. c. Solo L2 y L3 son regulares. d. Solo L1 es regular. Correcto

Correcto: L1 y L2 son independientes de contexto.

Act 4: Lección Evaluativa Unidad No.1 Question 1 Puntos: 1 Algunas operaciones y propiedades sobre lenguajes y ER que se pueden realizar son: Seleccione al menos una respuesta. a. El orden de prioridad de los operadores es, de mayor a menor: *, ∙, + Este orden puede alterarse

mediante paréntesis, de forma análoga a como se Correcto hace con las expresiones aritméticas. Correcto: Se está identificando o definiendo que la concatenación de  b. A ∙ (B U C) = (A ∙ B) U (A ∙ C) lenguajes es distributiva con respecto a la unión c. La concatenación de lenguajes sobre un Correcto. Es parte de las alfabeto es una operación cerrada, y tiene un  propiedades de los lenguajes elemento neutro que es el lenguaje {lambda}. Correcto: Se está identificando o definiendo que la concatenación de d. (B U C) ∙ A = (B ∙ A) U (C ∙ A) lenguajes es distributiva con respecto a la unión. Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1 Si se considera un autómata finito M con transiciones lambda que reconoce el lenguaje L: De la relación entre determinista y no determinista de los autómatas, y el comportamiento de las cadenas vacías (lambda), es válido afirmar Seleccione al menos una respuesta. a. Las transiciones lambda solo son aceptadas en Incorrecto: Estas transiciones son aceptadas en AF. la descripción de las gramáticas.  b. Siempre existe un autómata finito determinista Correcto: Las cadenas vacías que reconoce un lenguaje reconocido por un lambda son aceptadas y suelen  presentarse en AFND. autómata finito no determinista. c. Un autómata finito con transiciones lambda es Correcto: Las cadenas vacías lambda son aceptadas y suelen un autómata no determinista.  presentarse en AFND. d. No existe un autómata finito sin transiciones Incorrecto: Si es posible este tipo de autómatas. (lambda) que reconozca L. Correcto Puntos para este envío: 1/1. Question 3

Puntos: 1 Una cadena válida para el Autómata siguiente es:

Seleccione una respuesta. a. xzxxxxzxzzx  b. xxxxzxzxzxzx

Correcto: Toda cadena para ese autómata empezará con x y terminará en una sola x. Se recorre el autómata con la cadena xxxxzxzxzxzx

c. xxxzxx d. xzzxzxzx Correcto Puntos para este envío: 1/1. Question 4 Puntos: 1 Cuáles afirmaciones son válidas cuando se trata de analizar el funcionamiento de los Autómatas Finitos (AF): Seleccione al menos una respuesta. a. Los AF son máquinas de memoria amplia por ser máquinas abstractas (no reales).  b. En una máquina de estados finitos, la función de transición almacena los datos de entrada del Autómata. c. Los estados son el único medio de Correcto: Los estados son el único medio de que disponen los AF para recordar que disponen los AF para recordar los eventos

los eventos que ocurren (por ejemplo que ocurren (por ejemplo, qué caracteres se han que caracteres se han leído hasta el leído hasta el momento); esto quiere decir que son máquinas de memoria limitada. momento). Correcto: Los estados son el único medio de d. Los AF son máquinas de memoria que disponen los AF para recordar los eventos que ocurren (por ejemplo, qué caracteres se han limitada. leído hasta el momento); esto quiere decir que son máquinas de memoria limitada. Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1 Una característica que presenta el Autómata Finito siguiente es:

Seleccione una respuesta. a. Es un Autómata Finito que acepta la palabra vacía  b. Es un Autómata Finito Determinista (AFD). c. Es un Autómata Finito  No Determinístico (AFND) d. Es un Autómata Regular Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1

Correcto: Es determinista porque de sus nodos no se repiten salida pro interacciones con el mismo símbolo. Se acepta la condición teórico de determinismo.

Dado el Autómata con la siguiente tabla de transición, identifique las cadenas que son válidas para el lenguaje que acepta

Seleccione una respuesta. Incorrecto: Es un AND de landa transiciones. Aceptará las a. Solo acepta cadenas cadenas que inicien con un orden jerárquico de números (es decir de menor a mayor, siendo válida la repetición de los vacías (lambda). mismos), Ej 012, 12 pero nunca 210, 20 entre otros.  b. {101, 210, 20,110, 200} c. Es un AFND y acepta cualquier cadena que inicie con cero (0) d. {22, 0,1,001122, 12, 012, 022} Incorrecto Puntos para este envío: 0/1. Question 7 Puntos: 1 Analice el siguiente Autómata y determine cuáles apreciaciones son válidas en su análisis:

Seleccione al menos una respuesta.

a. La función de transición define para cada posible combinación Incorrecto (0,1) un estado nuevo.  b. Es un autómata no determinístico (AFND), con un conjunto finito de estados y símbolos de entrada, un estado inicial, un conjunto de estados finales, y una función de transición de estados. c. Es un autómata determinístico (AFD), con un conjunto finito de Incorrecto. Es estados y símbolos de entrada, un estado inicial, un conjunto de un AFND estados finales, y una función de transición de estados. d. La función de transición puede no estar definida para alguna combinación (0,1) y, por el contrario, puede definir para otras combinaciones (0,1) más de un estado. Incorrecto Puntos para este envío: 0/1. Question 8 Puntos: 1 Sea el Autómata Finito (AF) A= (∑, Q, f. q1, F) donde ∑ = {0,1} , Q = { q1, q2, q3, q4}, F= { q2} y definimos la función de transición f  por la tabla siguiente:

Indique cuál es lenguaje generado por el autómata: Seleccione una respuesta. a. 0(010)*  b. 1*(1) c. 1( 1) (0)*

d. 1(01) *

Correcto: La expresión regular genera las cadenas que inician con 1 y que luego pueden o no tener un 0 o un 1

Correcto Puntos para este envío: 1/1. Question 9 Puntos: 1 Dado un alfabeto ∑, los símbolos Ø, lambda y los operadores + (unión), ∙ (punto)

(concatenación) y * (clausura), se define una EXPRESION REGULAR (ER) sobre el alfabeto ∑ en la que son válidas las siguientes relaciones:  Nota. ω es una cadena sobre un lenguaje L

Seleccione al menos una respuesta. a. Si ω = lambda entonces L (lambda) = { lambda}

Correcto: Esta es una ER

 b. Si ω = a y a pertenece ∑ entonces L (ω) no pertenece ∑ c. Si ω = Ø entonces L (ω) = Ø

Correcto: Esta es una ER

d. Si ω* es una ER entonces L (ω*) no es una ER

Correcto Puntos para este envío: 1/1. Question 10 Puntos: 1 Si ∑ es un alfabeto, se le llama ∑ (potencia n) al conjunto de todas las palabras de longitud n  sobre ∑.

Identifique las notaciones de conjuntos válidas para la creación de palabras sobre el alfabeto ∑

Seleccione al menos una respuesta. Correcto: La longitud de una cadena ω que se denota como |ω| es el número de letras que aparecen en ω. A la cadena que no a. ∑ (potencia 0) =

tiene símbolos o que es lo mismo decir que tiene longitud cero, se le llama palabra vacía. Si ∑ es un alfabeto, se le llama

{lambda} Conjunto cuyo único elemento ∑ n al conjunto de todas las palabras de longitud n sobre ∑. la estrella * genera el conjunto de todas las cadena de cualquier es la palabra vacía. longitud sobre ∑. Si se analiza ∑ + esta representa al conjunto de todas las cadenas sobre el alfabeto ∑ excepto la vacía.  b. ∑ (potencia 0) =

Conjunto de todas las cadenas sobre el

alfabeto ∑ excepto la

vacía. c. ∑ (potencia +) =

Conjunto de todas las Incorrecto: Conjunto de todas las cadenas excepto la vacía cadenas positivas excepto la vacía Correcto: La longitud de una cadena ω que se denota como |ω| es el número de letras que aparecen en ω. A la cadena que no d. ∑ *= Conjunto de

todas las cadenas de cualquier longitud sobre ∑

tiene símbolos o que es lo mismo decir que tiene longitud cero, se le llama palabra vacía. 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 vacía.

Correcto

Act 5: Quiz 1 - Unidad No. 1 1 Puntos: 1 Para el siguiente autómata determine cuales afirmaciones son válidas cando se trata de evaluar que cadenas acepta el autómata.

Seleccione al menos una respuesta. a. Todas las cadenas que tengan igual número de unos y de ceros son aceptadas.  b. Si una cadena tiene menos de 5 unos, entonces tiene un número par de unos. c. Si una cadena tiene 5 unos o más, entonces contiene un número par de unos.

Correcto: Al recorrer el autómata, se confirma la relación de unos descrita.

d. Si una cadena tiene 5 unos o más, Correcto: Al recorrer el autómata, se entonces contiene un número impar de unos. confirma la relación de unos descrita Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1 Las siguientes cadenas: {Lambda,aaa, bb, bbb, aabb, aba, abaaa, abbaa} son generadas expresadas por la ER Seleccione una respuesta. Correcto a. ( a | b)*  b. (a,b)* c. (a.b)* d. (a + b ) * Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1 Este lenguaje: L (G) = {a (potencia n) b (potencia n) / n>=1} Es generado por la gramática: Seleccione una respuesta. Incorrecto a. S ---> ab| Sab  b. S ---> Sab | aSb c. S ---> aSb | ab d. S ---> Sa| Sb Incorrecto Puntos para este envío: 0/1. Question 4 Puntos: 1 Las condiciones mínimas para poder describir un Autómata Finito Determinístico (DFA) son:

Seleccione al menos una respuesta. Correcto: Un autómata puede describirse dando la lista de sus estados, el alfabeto, el estado inicial, los estados finales, y la a. Dando la lista de función transición. Esta función se puede describir usando notación usual para definir funciones o usando una matriz, con sus estados. una fila por cada estado y una columna por cada símbolo del alfabeto. Todas las condiciones son necesarias para describir el autómata.  b. Identificando el Correcto: Un autómata puede describirse dando el alfabeto. alfabeto. c. Identificando el Correcto: Un autómata puede describirse dando la lista de sus estado inicial y los estados, el alfabeto, el estado inicial, los estados finales, y la función transición. estados finales. d. Identificando la Correcto: Un autómata puede describirse dando la lista de sus función de estados, el alfabeto, el estado inicial, los estados finales, y la función transición. transición. Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1 Dado los siguientes dos autómatas: identifique las apreciaciones verdaderas con respecto al comportamiento de los dos autómatas:

Seleccione una respuesta. a. Solo un autómata es una máquina de estados que representa un lenguaje regular  b. Ambos autómatas aceptan las mismas cadenas, como por ejemplo: {012,011,11,2222,1122,001122} c. Un autómata es AFD y el otro es AFND d. Ambos autómatas son AFD Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1

Correcto

Dado el siguiente autómata Finito, es válido afirmar:

Seleccione al menos una respuesta. a. La ER que lo representa: (b+ab*a)*ab*  b. La ER que lo representa es: (b*ab*a)*b*ab*

Correcto Correcto

c. La Er que lo representa es: (ab*a)* d. La ER que lo representa es: (b+ab*a)* Correcto Puntos para este envío: 1/1. Question 7 Puntos: 1 Dada la siguiente ER, el lenguaje que define esta, es el de todas las cadenas que alternan entre 0 y 1. (((01)*+(01)*0)+((10)*+(10)*1)) Identifique las cadenas no válidas. Seleccione una respuesta. a. {0,1}  b. {01,10,101,010} c. {11, 0110, 00,11,1011}

Correcto: estas son cadenas no validas

d. {010010, 101101,1} Correcto Puntos para este envío: 1/1. Question 8 Puntos: 1 Acerca del comportamiento de los estados en un autómata, indique que apreciaciones son válidas con respecto a su función y comportamiento: Seleccione al menos una respuesta. a. Se define como el estado de un autómata es toda la información necesaria en un momento dado, para poder deducir, dado un símbolo de entrada en ese Correcto momento, cuál será el símbolo de salida.

 b. Un estado de un autómata funciona de tal forma que cuando reciba a su entrada una determinada cadena de símbolos, indica si dicha cadena  pertenece o no al lenguaje c. Un estado de aceptación también puede ser inicial. Solo para autómatas finitos no d. Conocer el estado de un autómata, es lo mismo que conocer toda la historia de símbolos de entrada, así como el estado inicial. Estado en que se Correcto encontraba el autómata al recibir el primero de los símbolos de entrada. Correcto Puntos para este envío: 1/1. Question 9 Puntos: 1 Sea el alfabeto ∑= {a,b} con la Expresión Regular: a(a+b), identifique las cadenas válidas que se pueden generar: Seleccione una respuesta. a. {a, aab, abb}  b. {aa, ab,} c. {aba, aab,} d. {a, b, aa, bb} Incorrecto: Las cadenas siempre van a empezar por a, seguidas de una a ó una b Incorrecto Puntos para este envío: 0/1. Question 10 Puntos: 1 Dada la siguiente gramática con las siguientes producciones, S --> ab S  aSb que derivaciones son válidas al usar sus reglas: Seleccione al menos una respuesta. a. Ba  b. aabb

Correcto

c. ab d. Bbaa Parcialmente correcto

Puntos para este envío: 0.5/1. Question 11 Puntos: 1 Acerca de la clasificación de los lenguajes, identifique las afirmaciones válidas con referencia a la jerarquía y comportamiento de los mismos: Seleccione al menos una respuesta. a. Al clasificar lenguajes, no se están clasificando máquinas que los reconozcan, Se clasifican gramáticas que los generan.  b. Los lenguajes son en sí conjuntos de secuencias de símbolos y las clases Correcto de lenguajes son conjuntos de conjuntos de secuencias de símbolos. c. Según la clasificación de lenguajes definida por Chomsky y que la llamó “jerarquía de lenguajes”, los “Lenguajes Regulares” es la clase más pequeña

en la jerarquía, e incluye a los lenguajes más simples. Estos se llaman así Correcto  porque sus palabras contienen “regularidades” o repeticiones de los mismos componentes. d. Se llama “clase de lenguajes” a conjuntos de lenguajes que comparten

Correcto cierta propiedad dada. Correcto Puntos para este envío: 1/1. Question 12 Puntos: 1 Dentro de la jerarquía y clasificación de los lenguajes (Chomsky) identifique que asociaciones están erradas. Seleccione al menos una respuesta. a. Los lenguajes libres de contexto o Correcto: esta afirmación es errada ya que un de tipo 2, pueden ser generados por lenguaje es descrito por una máquina y no generado por la máquina. los autómatas de pila (AP)  b. Los lenguajes que no poseen restricciones o de tipo 0, son reconocidos mediante Autómatas Finitos No Deterministas (AFND) c. Una gramática regular o de tipo 3, Correcto: esta afirmación es errada ya que las  puede generar Autómatas finitos (AF) gramáticas generan lenguajes. Las máquinas o autómatas reconocen es lenguajes. Esta afirmación es verdadera. Un lenguaje d. Los lenguajes regulares pueden ser  puede ser descrito mediante una expresión  pueden ser descritos mediante regular (expresar de forma compacta cómo son todas las cadenas de símbolos que le expresiones regulares (ER)  pertenecen). Parcialmente correcto Puntos para este envío: 0.7/1. Question 13 Puntos: 1

Analice el siguiente diagrama de Moore e identifique las apreciaciones válidas:

Seleccione al menos una respuesta. a. No es un autómata válido en diseño  b. No tiene alfabeto definido c. Es un AF. d. Es una aplicación de los autómatas. Un interruptor de luz Correcto Puntos para este envío: 1/1. Question 14 Puntos: 1

Correcto Correcto

Se pueden generar  palíndromos (cadenas ω) sobre el alfabeto ∑ = {0,1}. Evidentemente este lenguaje tiene infinitas cadenas Selecciones las afirmaciones válidas con referencia al anterior postulado. Seleccione al menos una respuesta. a. ω = lambda ó cadena vacía y ω = 0 ; Son palíndromos

Correcto

 b. Existe un lenguaje denominado el lenguaje vacío que es un conjunto vacío y se denota por {Ø}. El lenguaje vacío no debe confundirse con un Correcto lenguaje que contenga una sola cadena. c. Los palíndromos son una excepción de los lenguajes regulares y no hacen  parte de la jerarquía de Chomsky d. Los símbolos de un alfabeto, definen el tipo de lenguaje a que pertenece. Correcto Puntos para este envío: 1/1. Question 15 Puntos: 1 Con los símbolos del alfabeto ∑ se forman cadenas, frases o palabras que se denotan por la letra ω. Algunas operaciones entre palabras son la concaten ación y la inversa.

Que afirmaciones son válidas para estas propiedades y en algunas particularidades para el comportamiento de las cadenas o palabras (que se forman con los símbolos de un alfabeto) y que harían parte de un lenguaje. Seleccione al menos una respuesta. a. El Palíndromo se puede definir como: (ω = ω potencia R ).

Correcto: Ejemplo: ω = reconocer

 b. La Inversión (ω potencia R) consiste en una operación sobre

 palabras o cadenas que escribe al revés una palabra. La palabra resultante se denomina inversa. c. La concatenación por ejemplo no tiene la propiedad conmutativa, es decir: ω1 ω2 ≠ ω2 ω 1 .

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

Correcto Correcto Correcto

Correcto

Act 7: Reconocimiento Unidad No. 2 1 Puntos: 1 Analice la relación que tiene el siguiente autómata con la gramática. S → xS / S → yA / S → zB / A → yA / A → yB / B → zB / B → Lambda

Seleccione la opción que sea verdadera. Seleccione una respuesta.

a. La gramática y el autómata no generan ningún lenguaje  b. La gramática y el autómata son equivalentes. c. La gramática y el autómata no son equivalentes.

Correcto: La gramática y el autómata no son equivalentes por que no generan el mismo lenguaje (ejemplo no se genera la cadena vacía con la gramática dada).

d. Es un autómata finito determinístico (AFD) Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1 Un árbol de derivación, para una derivación dada se construye: (seleccione que las operaciones que son necesarias): Teniendo en cuenta el siguiente árbol.

Seleccione al menos una respuesta. a. El nodo raíz tiene unos hijos para cada símbolo que aparece en el lado derecho de la producción usada para reemplazar el símbolo inicial.  b. Creando un nodo raíz que se etiqueta con el símbolo inicial. c. Todos los nodos hoja están etiquetados con símbolos terminales. d. Los nodos que no tienen hijos, deben ser etiquetados con símbolos terminales. Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1

Correcto Correcto Correcto Correcto

Dada la siguiente gramática: S → xS / S → yA / S → zB / A → yA / A → yB / B → zB / B → Lambda

Compuesta por los estados S, A, B y en la que los tres son estados finales o de aceptación, analice cual afirmación es verdadera: Seleccione una respuesta. a. La gramática no genera la cadena vacía  b. La gramática no genera ningún lenguaje Incorrecto: la gramática si genera un  porque presenta más de un estado de aceptación lenguaje y no genera la cadena vacía. o final. c. La gramática solo genera cadenas de un símbolo y la cadena vacía d. La gramática genera la cadena vacía Incorrecto Puntos para este envío: 0/1. Question 4 Puntos: 1 Indique cuál de las siguientes afirmaciones es falsa teniendo en cuenta el determinismo de los autómatas finitos. (AF). Seleccione una respuesta. a. Un autómata finito no determinista de q estados y n símbolos  puede tener a lo sumo n × q2 transiciones  b. El número máximo de transiciones de un autómata finito Esta afirmación determinista depende del número de estados y del número de es válida símbolos del alfabeto del autómata c. Un autómata finito determinista de q estados y n símbolos tiene n × q transiciones d. Un autómata finito no determinista puede tener un número ilimitado de transiciones distintas Incorrecto Puntos para este envío: 0/1. Question 5 Puntos: 1 En una Gramática Regular, un componente de la Cuadrupla que la compone, es el Alfabeto. Este esta caracterizado como: Seleccione una respuesta. a. Un alfabeto infinito y no vacío de símbolos terminales  b. Un alfabeto inicializado con lambda como cadena válida c. Un alfabeto no vacío de símbolos terminales

Correcto

d. Un alfabeto regular (o sea de tipo 3 según Chomsky) Una gramática regular G es una cuádrupla G = (E, N, S, P), donde: E : alfabeto (no vacío) de símbolos terminales Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1 Toda Gramática Libre de Contexto (GIC) puede ser transformada en un GIC en Forma  Normal de Chomsky. Indique cuál es el primer paso jerárquicamente para que se pueda hacer esta transformación. Seleccione una respuesta. a. Para ello lo primero que hay que hacer es suprimir Correcto: Acorde al algoritmo este es el primer paso las producciones nulas y unitarias  b. Reemplazar variables en el orden de las  producciones dadas. c. Añadir variables para cada producción. d. Añadir producciones a la derecha de la gramática El algoritmo para eliminar los símbolos y producciones inútiles consta de dos pasos fundamentales: 1. Eliminar las variables desde las que no se puede llegar a una palabra de T y las producciones en las que aparezcan. 2. Eliminar aquellos símbolos que no sean alcanzables desde el estado inicial, S, y las producciones en las que estos aparezcan. Correcto

Act 8: Lección Evaluativa Unidad No. 2 1 Puntos: 1 Para eL siguiente árbol de derivación identifique las operaciones correctas sobre el mismo:

Seleccione al menos una respuesta. a. La gramática que lo genera es: S -->SaS | Incorrecto SbS | Sc | a  b. La gramática que lo genera es: S --> SbS Correcto | ScS | a c. La derivación de la cadena {abaca} es: S Incorrecto; si reconoce la cadena pero ---> ScS ---> SbScS ---> abScS ---> abacS genera un árbol de derivación diferente  por la izquierda. ---> abaca d. La derivación de la cadena {abaca} es: S --> SbS --> SbScS ---> SbSca ---> Sbaca -- Correcto -> abaca Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1 Dado el siguiente autómata finito (AF), reconoce el lenguaje generado por la gramática:

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

Correcto

 b. G= {S -->0B | 0A , A ---> 1B | lambda , B ---> lambda c. G = { S --->A |lambda , A ---> 0B | lambda,, B ---> lambda} d. G = { S --->B |lambda , A ---> 1B | lambda,, B ---> lambda} Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1 Considere la gramática G = {S → aS | aA  | a ,  A → aA | bS }  ¿Cuál es la longitud de las cadenas que puede generar y cuáles son esas cadenas, identifíquelas? Seleccione una respuesta. a. 10 y son {Ø, a, aa, ab, ba, bb, aba, abab, bbb, b }  b. 7 y son {a,aa,aaa,aaaa, abaa, aaba, abab} c. 5 y son {Ø, a, aa, ab, ba }

Correcto: Son 7 cadenas: {a,aa,aaa,aaaa, abaa, aaba, abab}

d. 6 y son {a, aa, ab, ba, bb, aba } Correcto Puntos para este envío: 1/1. Question 4 Puntos: 1 Para que una palabra de entrada sea aceptada en un AP se deben cumplir las condiciones siguientes: Seleccione al menos una respuesta. Correcto: para que una palabra de entrada sea aceptada en un a. El AP se debe AP se deben cumplir todas las condiciones siguientes: 1. La encontrar en un estado  palabra de entrada se debe haber agotado (consumido totalmente). 2. El AP se debe encontrar en un estado final. 3. final. La pila debe estar vacía.  b. La pila debe tener lambda como elemento final. c. La palabra de entrada Correcto; para que una palabra de entrada sea aceptada en un se debe haber agotado AP se deben cumplir todas las condiciones siguientes: 1. La  palabra de entrada se debe haber agotado (consumido (consumido totalmente). 2. El AP se debe encontrar en un estado final. 3. totalmente). La pila debe estar vacía. d. La pila debe estar Correcto: la pila debe estar vacía. vacía.

A la hora de diseñar un AP tenemos que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos diseños para un mismo problema pueden tomar decisiones diferentes en cuanto a qué recuerda cada cual. Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1 Sea un autómata (finito o de pila) M y una cadena x ∈ L(M). Si el autómata lee la cadena x, ¿llegará necesariamente a un estado de aceptación? Seleccione una respuesta. a. Nunca, Queda en un bucle ya que solo recorre un símbolo.  b. No todas las veces, dado que puede tratarse de un autómata no Correcto determinista. c. Sí, siempre. d. Si, si M es un autómata finito. Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1 Acerca del funcionamiento de un Autómata de Pila, cuál de las siguientes operaciones o comportamientos NO las hace este autómata. Seleccione una respuesta. a. Una de las condiciones para que una  palabra de entrada sea aceptada en un AP la pila debe estar vacía.  b. Al igual que los AF, los AP tienen estados finales, que permiten distinguir cuando una palabra de entrada es aceptada Incorrecto: La pila, está limitada en un c. La pila no tiene límite en sus extremos. extremo por definición, cuando se lee un A diferencia de las MT que son cerradas elemento de la pila, este desaparece o se saca y cuando se escribe en la pila se  por la izquierda. introduce un elemento. d. En la Pila una transición de un estado a otro Arroja la información de lo que sale de la pila (tope), no de lo que entra ya que el avance es progresivo hacia adelante y no hacia atrás. Para verificar el funcionamiento del autómata, podemos simular su ejecución, listando las situaciones sucesivas en que se encuentra, median te una tabla que llamaremos “traza de ejecución”. Las columnas de una traza de ejecución para un AP son: el estado en que se

encuentra el autómata, lo que falta por leer de la palabra de entrada, y el contenido de la  pila Incorrecto Puntos para este envío: 0/1. Question 7 Puntos: 1 En un autómata de pila (AP), la función de transición aplica o interviene a: Seleccione al menos una respuesta. a. A cada símbolo de entrada (Incluyendo la cadena vacía) Correcto  b. A cada estado

Correcto

c. A cada movimiento de la pila

Correcto

Correcto d. A cada símbolo topo de la pila La función de transición aplica cada estado, cada símbolo de entrada (incluyendo la cadena vacía) y cada símbolo tope de la pila en un conjunto de posibles movimientos. Cada movimiento parte de un estado, un símbolo de la cinta de entrada y un símbolo tope de la  pila. El movimiento en sí consiste en un cambio de estado, en la lectura del símbolo de entrada y en la substitución del símbolo tope de la pila por una cadena de símbolos. Correcto Puntos para este envío: 1/1. Question 8 Puntos: 1 Indique cuál de las siguientes afirmaciones es verdadera: Seleccione al menos una respuesta. a. Para reconocer un lenguaje regular mediante un autómata de pila el alfabeto de la pila debe contener al menos un símbolo  b. Para reconocer un lenguaje regular Correcto: Cualquier lenguaje independiente mediante un autómata de pila no es del contexto puede ser aceptado por un necesario que el alfabeto de la pila autómata de pila, y todos lenguajes regulares son independientes del contexto. contenga ningún símbolo c. Con un autómata de pila no puede reconocerse un lenguaje regular d. Cuando se dice que un AFPD (autómata de pila determinista) es más sencillo , se refiere a que es menos Correcto:  potente y no se refiere ala sencillez de su diseño. Correcto Puntos para este envío: 1/1. Question 9 Puntos: 1 Los errores más comunes al diseñar gramáticas (GLC) son:

Seleccione al menos una respuesta. a. Que “sobren palabras”

 b. Que “falten palabras”,

Correcto: esto es, que la gramática genere algunas  palabras que no debería generar. En este caso, la gramática seria incorrecta. Correcto esto es, que haya palabras en el lenguaje considerado para lasque no hay ninguna derivación. En este caso, la gramática seria incompleta.

c. Combinar gramáticas d. Reutilizar gramáticas y modificarlas para ajustarlas al lenguaje generado El problema del diseño de GLC consiste en proponer, dado un lenguaje L, una GLC G tal que su lenguaje generado es exactamente L. Correcto Puntos para este envío: 1/1. Question 10 Puntos: 1 De entre las cuatro clases de gramáticas de la clasificación de Chomsky, el grupo más importante, desde el punto de vista de la aplicabilidad en teoría de compiladores, es el de las gramáticas independientes o libres del contexto. Las gramáticas de este tipo se pueden usar para expresar la mayoría de estructuras sintácticas de un lenguaje de programación. Aspectos que caracterizan este tipo de gramáticas son: Seleccione al menos una respuesta. a. Un árbol ordenado y etiquetado D es un árbol de derivación para una Correcto gramática libre de contexto G(A)  b. La representación de las derivaciones de la gramática siempre se hacen de forma vertical. Nunca de forma comprimida u horizontal c. El lenguaje definido por una gramática G, denotado L(G) es el conjunto de cadenas de símbolos terminales, que se pueden derivar partiendo del Correcto axioma de la gramática, y empleando para las derivaciones las reglas de  producción de P d. La longitud de las cadenas de derivaciones nunca puede ser nula y siempre se grafican en el Arbol de derivación iniciando por la Izquierda La representación de las derivaciones de la gramática siempre se hacen de forma vertical. Nunca de forma comprimida u horizontal Una gramática es un conjunto de reglas para formar correctamente las frases de un lenguaje; así tenemos la gramática del español, del francés, etc. La formalización que  presentaremos de la noción de gramática es debida a N. Chomsky, y está basada en las llamadas reglas gramaticales. Correcto

Act 9: Quiz 2 - Unidad No. 2 Question 1 Puntos: 1 Indique cuál de las siguientes afirmaciones es verdadera: Seleccione una respuesta. a. Los autómatas finitos no deterministas son más potentes que los autómatas finitos deterministas  b. Un PDA es siempre no determinista por que la cinta es infinita y puede generar muchas combinaciones en las cadenas que lee. c. En un diagrama completo que represente a un autómata finito determinista, de cada estado sale un arco por símbolo y sólo uno d. Los AP son siempre deterministas. El no determinismo no se hace  presente por que los AP poseen un mecanismo adicional de manejo de memoria Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1

Correcto

Desarrolle la siguiente gramática cuyos símbolos terminales son {a,b} S  aAA, A ---> bS, A ---> lambda Identifique las apreciaciones válidas. Se recomienda desarrollar el árbol de derivación Seleccione al menos una respuesta. a. El autómata más sencillo que Acepta L(G) es un autómata de pila (AP). Una cadena válida sería {abab}  b. La cadena más sencilla que genera el L(G) es: {aba}

Incorrecto: El autómata más sencillo que genera es un AF. Además la cadena {abab} es rechazada. Incorrecto: La cadena más sencilla que genera es {a}. De acuerdo a la ER que se genera por el L(G).

c. El autómata más sencillo que Acepta Correcto L(G) es un autómata finito d. El lenguaje que genera la gramática es Correcto L(G) = a(ba)* Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1 La combinación de autómatas se demostró en los Autómatas Finitos de la Unidad 1 en as que era viable combinar dos Autómatas que generaban el miso lenguaje y obtener otro que

genera las mismas cadenas que los autómatas combinados. Con referencia a los Autómatas de Pila (AP), este tema de combinación tiene aspectos a analizar. identifique cuál es válido para estas operaciones: Seleccione una respuesta. a. Un AP se puede combinar con una MT siempre y cuando lean y acepten el mismo lenguaje.  b. Solo la operación de Unión de los lenguajes de dos AP es permitida. c. Se pueden obtener AP que acepten operaciones de Unión y Concatenación de los lenguajes aceptados por los Autónomas de Pila dados. Correcto d. Las operaciones de combinar AP solo es viable cuando los dos Autónomas leen el mismo alfabeto. En los AP también es posible aplicar métodos de combinación modular de autómatas, como se hizo con los autómatas finitos. En particular, es posible obtener AP que acepten la unión y concatenación de los lenguajes aceptados por dos AP dados. Correcto Puntos para este envío: 1/1. Question 4 Puntos: 1 Dada la siguiente gramática. i  j i+j Genera le lenguaje {a b c  | i+j>0}.

S  aAc |ac | bBc | bc ; A  aAc | ac |bBc | bc; B ---> bBc | bc Identifique que producciones fueron necesarias para generar la cadena válida {aabbbccccc} Seleccione una respuesta. a. S --->aAc ; A--->aAc | aAc | bBc ; Incorrecto: estas producciones generan la cadena {aaabbbcccccc} B ---> bBc | bc  b. S --->aAc ; A--->aAc | bBc ; B --> bc c. S --->aAc ; A--->bBc ; B ---> bc d. S --->aAc ; A--->aAc | bBc ; B --> bBc | bc Incorrecto Puntos para este envío: 0/1. Question 5 Puntos: 1 En la descripción de las gramáticas, las producciones unitarias tienen la forma: Seleccione una respuesta.

a. S-->ABs  b. S-->a c. A -->sB Correcto d. A --> B Las producciones unitarias son las que tienen la forma A → B Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1 Indique cuál de las siguientes afirmaciones es falsa: Seleccione una respuesta. a. La unión de un número finito de lenguajes estructurados por frases es un lenguaje estructurado por frases  b. La intersección de un lenguaje Correcto: La intersección del lenguaje regular regular con un lenguaje independiente xn ym y el lenguaje independiente del del contexto es siempre un lenguaje contexto xn yn es el lenguaje independiente del contexto no regular xn yn regular. c. La intersección de dos lenguajes estructurados por frases es un lenguaje estructurado por frases d. Todo lenguaje cuyo complementario sea un lenguaje finito es independiente del contexto Correcto Puntos para este envío: 1/1. Question 7 Puntos: 1 La relación entre un AP y un LLC (Lenguaje Libre de contexto) permite que dada una Gramática G, existe entonces un AP que acepta exactamente el lenguaje generado por G. Dado el siguiente autómata de pila (AP) cuyo funcionamiento se representa en la siguiente tabla, identifique la gramática correcta y sus reglas que aceptan el LLC dado por el AP.

Seleccione una respuesta. a. S – > 0A0 | 1S0 | 2 | 0  b. S – > 0A0 | 1S2 | 10 c. S – > 0A0 | 1S2 | 1 | 0 d. S – > 0A0 | 1S1 | 2 Correcto: Si se desarrolla el árbol de derivación se obtiene la cadena 01210 Correcto Puntos para este envío: 1/1. Question 8 Puntos: 1 Considere la gramática 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 respectivamente por G1 y G2; entonces: ( Nota: el  símbolo ⊂   denota la relación de inclusión estricta ):

Seleccione una respuesta. a. L1 ⊂ L2  b. L2 ⊂ L1

c. L1 = L2

Correcto: Las reglas que implican a los no terminales B y C no generan ninguna cadena.

d. L1 ≠ L2 Correcto Puntos para este envío: 1/1. Question 9 Puntos: 1 Si a un Autómata se le adiciona un almacenamiento auxiliar, se está construyendo entonces: Seleccione una respuesta. a. Un Autómata No determinístico pero Finito  b. Un Autómata Determinístico Finito. c. Un Pushdown Automaton (PA)

Correcto

d. Una Turing Machine (TM) Añadir al AF un almacenamiento auxiliar, que llamaremos pila, donde se podrían ir depositando caracter por caracter cadenas arbitrariamente grandes, es el primer paso a la construcción de un AP a partir de un simple AF. Correcto Puntos para este envío: 1/1. Question 10 Puntos: 1 Cual de las siguientes afirmaciones se asocia correctamente al diseño y funcionamiento de los árboles de derivación. Seleccione una respuesta. a. En un árbol de derivación cada nodo solamente puede tener otro hijo nodo  b. En un árbol de derivación, una gramática Respuesta Correcta: Una gramática es es ambigua cuando hay dos o más árboles de “ambigüa” cuando hay dos o más derivación distintos para una misma cadena. árboles de derivación distintos para una misma cadena c. En los árboles de derivación, no es necesario usar nodo raíz d. Los lenguajes generados por una Gramática Independiente del Contexto son llamados Lenguajes Regulares Al derivar una cadena a través de una GIC, el símbolo inicial se sustituye por alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan símbolos no terminales, queda una cadena con sólo símbolos terminales. A veces es útil realizar un gráfico de la derivación. Tales gráficos tienen forma de árbol y se llaman “árbol de derivación” o “árbol de análisis”. Para una derivación dada, el símbolo inicial “S” etiqueta la raíz del árbol. El nodo raíz tiene unos nodos hijos para cada símbolo

que aparezca en el lado derecho de la producción, usados para reemplazar el símbolo inicial. De igual forma, cada símbolo no terminal tiene unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir ese no terminal.

Correcto Puntos para este envío: 1/1. Question 11 Puntos: 1 Dada la siguiente gramática G= (VN= {S, A}, VT= {0,1}, S, P) donde P son las  producciones:

Seleccione al menos una respuesta. a. S – > 0A – > 00A – > 001S –  Correcto: Ambas producciones aplican a la gramática con cadenas válidas como 0100 y 00100 > 0010 A – > 00100  b. S – > 0A – > 00A – > 001 A Incorrecto: las producciones no aplican a la gramática.  – > 0010 c. S – > 0A – > 01S – > 010 A Correcto: Ambas producciones aplican a la gramática con cadenas válidas como 0100 y 00100  – > 0100 d. S – > 0A – > 0A – > 00A – > Incorrecto: Las producciones no aplican a la gramática. 000 Correcto Puntos para este envío: 1/1. Question 12 Puntos: 1 La concatenación de dos lenguajes del alfabeto Σ es un subconjunto de:

Seleccione una respuesta. a. Σ∪Σ  b. Σ∗×Σ∗ c. Σ×Σ Correcto: (Σ*)*=Σ* d. (Σ*)* La concatenación de dos lenguajes es el lenguaje que resulta al concatenar las respectivas cadenas (la concatenación de dos cadenas es una nueva cadena) y por tanto pertenece a Σ*. Σ∪Σ=Σ ; Σ×Σ es el conjunto de pares ordenados formados por dos símbolos de Σ, y Σ*×Σ* es el conjunto de pares ordenados formados por dos cadenas de Σ*.

Correcto Puntos para este envío: 1/1. Question 13

Puntos: 1 Dada la gramática S → aS; S→ aSbS; S→ λ. Indique cuál de las siguientes afirmaciones es

falsa: Seleccione una respuesta. a. Para cualquier prefijo de una cadena generada por la gramática se verifica que el número de letras a es mayor o igual al número de letras b. Prefijo de una cadena w es toda cadena no vacía x para la que existe una cadena u tal que w = xu  b. La cadena {b} es rechazada Esta es la opción falsa. La c. Cualquier cadena generada por la gramática contiene cadena a que en efecto es una subcadena no vacía donde el número de letras a es aceptada , generada por la gramática, no cumple esta igual al número de letras b condición d. El lenguaje generado por la gramática es estructurado por frases Correcto Puntos para este envío: 1/1. Question 14 Puntos: 1 Dado el siguiente árbol de derivación, identifique las apreciaciones válidas cuando se analiza su comportamiento y diseño:

Seleccione al menos una respuesta.

a. La gramática está representada como: G = { S Correcto: Es una Gramática lineal  por la izquierda. La ER es la que -lambda | Sa} y el lenguaje generado puede representa el lenguaje descrito. representarse con la expresión regular a*  b. El árbol representa las cadenas que inician en dos a”s seguida de una o más a”s de un lenguaje

regular c. El árbol representa una gramática lineal por la Correcto: Es una Gramática lineal izquierda, que genera el lenguaje L ={lambda,  por la izquierda. La ER es la que representa el lenguaje descrito a,aa,aaa,…} d. La gramática está representada como G = { S -->lambda | aS} Correcto Puntos para este envío: 1/1. Question 15 Puntos: 1 Sea L el lenguaje de alfabeto Σ = {a,b,c} y cadenas de forma wcv, donde w y v son cadenas de a’s y b’s y w y v tienen la misma longitud pero v no es la cadena inversa de w. Dicho

lenguaje coincide con el generado por la gramática: Seleccione una respuesta. a. S → aSa, S→bSb, S→aRb, S→bRa, R→aRa, R→bRb, R→c.

 b. S → aSa, S→bSb, S→aRb, S→bRa, R→aRa, R→bRb, R→aRb, R→bRa, R→c.

c. S → aSa, S→bSb, S→aRb, S→bRa, R→bRb, R→aRa, R→bRa, R→c.

d. S → aSa, S→bSb, S→aRb, S→bRa, R→aRb, R→bRa, R→c.

Incorrecto: esa gramática no genera la cadena aacab

Incorrecto

Act 11: Reconocimiento Unidad No. 3 Question 1 Puntos: 1 Dentro de las tesis que plasmaron Church y Turing, está una de las más aplicadas y demostradas hoy en día, enfocada al funcionamiento de las máquinas reales (coputadoras). Esta es: Seleccione una respuesta. a. Las máquinas reales tienen mayor poder de cómputo que las Máquinas Incorrecto de Turing, aunque resuelvan los mismos problemas.  b. La máquina de Turing, tiene mayor poder de cómputo que las reales, aunque resuelvan los mismos problemas.

c. Toda función computable tiene un algoritmo decidible pro una MT d. Una MUT es funcional y eficiente tanto como una máquina real. Incorrecto Puntos para este envío: 0/1. Question 2 Puntos: 1 Un problema de decisión (PD) es aquel formulado por una pregunta (referida a alguna  propiedad) que requiere una respuesta de tipo “si/no”. Para la Teoría de Lenguajes, un  problema de decisión es “insoluble” cuando: Seleccione al menos una respuesta. a. Existe un procedimiento definido que determina la ambigüedad del  problema  b. Si no se logra representar con un diagrama de Moore el problema. c. Si no existe un algoritmo total para determinar si la propiedad y objetivo Correcto del problema es verdadera. d. Si no existe un procedimiento efectivo para determinar si la propiedad es Correcto verdadera (no existe una Máquina de Turing MT). Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1 Cuáles diferencias entre una computadora Real y una máquina de Turing (MT) son verdaderas: Seleccione al menos una respuesta. a. En una computadora, el número de estados viene representado por el contenido de la Correcto memoria.  b. En una MT el nº de estados depende del algoritmo. c. En cuanto al orden de ejecución de las En Una máquina de Turing, el orden instrucciones, En la estructura Von Neumann el Correcto: de ejecución de las instrucciones si está definido, secuenciamiento lo marca el orden de lo marca en todo instante el estado de la colocación de las instrucciones en la memoria máquina y el carácter de la cinta apuntado, que son los dos datos que determinan la quíntupla interna y viene asegurado por el contador de que ha de ser ejecutada.  programa. d. En una MT el orden de ejecución de las instrucciones no está definido. Parcialmente correcto Puntos para este envío: 0.7/1.

Question 4 Puntos: 1 Una de las técnicas usadas que permite determinar la indecibilidad en algunos problemas computacionales es: Seleccione una respuesta. a. Usando el método de “Halting”

 b. Usando el método de Reducción “Reducibilidad de Turing”

Correcto: La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos problemas computacionales

c. Usando el método de “ Decibilidad de Teorías Lógicas”

d. Usando el método de las “Funciones computables”

Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1 Cuando se transmite información, las variables a evaluar, medir, seguir y monitorear son: Seleccione al menos una respuesta. a. Nivel de ruido Correcto: Cuando se transmite información, las variables  b. La velocidad que se más importantes son: la velocidad y la veracidad (libre mantenga. de errores). c. La veracidad de los datos Correcto: Cuando se transmite información, las variables más importantes son: la velocidad y la veracidad (libre en todo su sentido. de errores). d. Redundancia Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1 Algunos problemas computacionales suelen tener características de “indecibilidad”. Las

estrategias usadas para poder determinar esta característica en estos problemas es: Seleccione al menos una respuesta. a. Mediante funciones computables, determinar la ambigüedad de solucione y Incorrecto seleccionar la que tenga menos restricciones.

 b. Fraccionar o reducir el  problema e otros más  pequeños

Correcto: La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos problemas computacionales: Una manera más simple de determinar la indecibilidad es utilizando el mé todo de reducción ,

c. Al reducir un problema a otros más pequeños, de tal Correcto: dado un problema  P 1, este se reduce a forma que la solucionar uno, solucionar  P 2. Es decir, si solucionamos  P 2, tenemos solucionado  P 1. De esta manera hemos convertido un tendremos la solución del  problema en otro. otro. d. Mediante la decibilidad de Icorrecto teorías lógicas. Correcto

Act 12: Lección Evaluativa Unidad No. 3 Question 1 Puntos: 1 Los problemas indecidibles, son también parte del estudio de Autómatas y lenguajes Formales. La indecibilidad de estos problemas lleva a ratificar afirmaciones que han sido demostradas mediante algoritmos complejos computables que concluyen en afirmaciones como:

Seleccione una respuesta. a. Decidir si un lenguaje que se genera es vacío o no, es un problema que sí tiene solución por una MT.  b. Las MT por ser la máquina abstracta más poderosa, soluciona cualquier  problema que en teoría sea indecidible. c. Hay infinitos problemas para los que no se va a tener una MT que los Correcto resuelva (ni siquiera los reconozca). d. Con un computador real, se puede determinar con certeza cualquier  problema en el sentido si es decidible o no. Una MT que los resuelva (ni siquiera los reconozca). También se ha formulado la tesis de ChurchTuring, que determina el límite de los computadores actuales

Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1 Indique que características asocian particularidades o semejanzas válidas entre las MT y las computadoras reales. Seleccione al menos una respuesta. a. Los computadores electrónicos, basados en la arquitectura Von Neumann así como las máquinas cuánticas tendrían exactamente el mismo poder de expresión que el de una Máquina de Turing (MT) si dispusieran de recursos Correcto ilimitados de tiempo y espacio.

 b. Los lenguajes de programación, tienen a lo sumo el mismo poder de expresión que el de los programas para una Máquina de Turing (MT) y en la Correcto  práctica no todos lo alcanzan. c. Las MUT son de un solo propósito. Las máquinas reales interpretan muchos programas escritos en diferentes lenguajes (multipropósito). d. En las máquinas reales están definidos procesos de manera jerárquica. En las MT estos procesos están definidos por el número de estados. Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1 Indique cuál de las siguientes afirmaciones es cierta con referencia a las Máquinas de Turing: Seleccione al menos una respuesta. a. El diseño de las MT básicamente es el de un autómata finito pero un Autómata con mayor poder de reconocimiento y proceso de lenguajes, que tomas y fusiona aspectos de un PDA.  b. Una máquina de Turing cuyo estado inicial coincida con el estado de Correcto  parada acepta toda cadena c. El diseño de una MT es procedimentalmente sencillo para programar lenguajes de máquinas reales. d. Cualquier lenguaje puede ser reconocido por una máquina de Turing Parcialmente correcto Puntos para este envío: 0.5/1. Question 4 Puntos: 1 Dado los siguientes tres codificadores convolucionales, diseñados para trabajar de forma lineal secuencial redundante: Se da como entrada el bit “1” en el codificador 1. Haga el recorrido completo hasta llegar a

la salida del codificador 3. Los bits de salida codificados finales son: Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (según el caso) se deben sobrescribir o reemplazar.

Seleccione una respuesta. a. 10  b. 00 c. 11 d. 01 Correcto Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1 Un código convolucional se diseña cuando a partir de registros de desplazamiento lineal. Los códigos convolucionales, suelen describirse mediante: Seleccione una respuesta. Correcto a. Árboles, Trellis y Diagrama de estados.  b. Árboles y diagramas de estados c. Autómatas finitos (grafos). Máquinas de estados d. Autómatas finitos (grafos). Máquinas de estados Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1 De las siguientes características marque dos de las que corresponden con la cinta de una Máquina de Turing Seleccione al menos una respuesta. a. Cinta Finita hacia la derecha, por que al

extremo izquierdo siempre esta un topeo carácter blanco. Correcto: En la MT la cabeza lectora es de lectura y  b. Puede contener un escritura, por lo que la cinta puede ser modificada en curso de ejecución. Además, en la MT la cabeza se mueve caracter por celda  bidireccionalmente (izquierda y derecha), por lo que puede  pasar repetidas veces sobre un mismo segmento de la cinta Correcto: En la MT la cabeza lectora es de lectura y c. Se puede escribir en escritura, por lo que la cinta puede ser modificada en curso de ejecución. Además, en la MT la cabeza se mueve ella  bidireccionalmente (izquierda y derecha), por lo que puede  pasar repetidas veces sobre un mismo segmento de la cinta. d. Cinta Infinita hacia la izquierda La máquina de Turing (abreviado MT) tiene, como los autómatas finitos, un control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta es de longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenándose los espacios con el caracter blanco Correcto Puntos para este envío: 1/1. Question 7 Puntos: 1 Un ascensor sin memoria de un edificio de cuatro plantas puede describirse: Seleccione una respuesta. a. Mediante un autómata de pila, pero no mediante un autómata finito  b. Mediante una máquina de Turing, pero no mediante un autómata de  pila c. No es un problema soluble. Es un problema de decisión Correcto: Al no tener memoria, el ascensor es una máquina d. Mediante un autómata que experimenta una transición de estado como función exclusiva del estado en que se encuentra y el evento que finito recibe (botón pulsado por un usuario). Al no tener memoria, el ascensor es una máquina que experimenta una transición de estado como función exclusiva del estado en que se encuentra y el evento que recibe (botón  pulsado por un usuario). Correcto Puntos para este envío: 1/1.

Question 8 Puntos: 1 Con que configuración de cinta se detendrá la máquina de Turing mostrada a continuación si comienza con la cinta configurada como xxxΔΔΔ . Asuma el orden con que están numerados los estados para el proceso. La "V" indica la posición en la que estaría la máquina. Para el caso de los s+ímbolos "x" estaría representado como (x)

Seleccione una respuesta. a. xxxΔVV  b. xxxΔΔV c. xx(x)ΔVΔ

Correcto: Se inicia con el estado de la máquina en 1 con xxxΔΔΔ y finaliza en el estado 3 con xxxΔΔΔ

d. xxxVΔΔ Correcto Puntos para este envío: 1/1. Question 9 Puntos: 1 Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione las opciones verdaderas). Seleccione al menos una respuesta. a. El problema de la parada o problema de la detención es de hecho soluble y la Teoría de la Computación lo definió como tal

 b. El problema de tipo "insoluble" define que hay un algoritmo que lo soluciona pero que no se puede llevar a una MT o una máquina abstracta. c. El problema de “Halting” es el primer problema indecidible mediante Correcto maquinas de Turing d. Equivale a construir un programa que te diga si un problema de ordenador Correcto finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo) El problema de “Halting” es el primer problema i ndecidible mediante máquinas de Turing.

Equivale a construir un programa que te diga si un problema de ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo) Correcto Puntos para este envío: 1/1. Question 10 Puntos: 1 Dado los siguientes tres codificadores convolucionales, diseñados para trabajar de forma lineal secuencial redundante: Se da como entrada el bit “1” en el codificador 1. Haga el recorrido completo hasta llegar a la salida del codificador 3 y determine el valor de “m” los bits que quedan en la memoria del

código de longitud restringida: Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (según el caso) se deben sobrescribir o reemplazar.

Seleccione una respuesta. a. 010 Correcto

 b. 110 c. 100 d. 001 Correcto

Act 13: Quiz 3 Unidad No. 3 Question 1 Puntos: 1 Las máquinas de Turing (MT) son también aceptadoras de lenguajes. Analice si los lenguajes dados aplican a la tarea que cumplen estas máquinas Seleccione al menos una respuesta. a. El lenguaje {w pertenece {a,b}* | w contiene al menos una b} no es independiente del contexto y por tanto no es decidible por Incorrecto máquinas de Turing. Correcto: Esta opción (El lenguaje)  b. El lenguaje {w pertenece {a,b}* | w descrito es independiente del contexto, contiene al menos una a} es decidible por y por tanto decidibles por máquinas de máquinas de Turing. Turing c. El lenguaje {w pertenece {a,b}* | w contiene tantas a´s como b´s} no es decidible Incorrecto: Si es decidible,  por máquinas de Turing Correcto: Esta opción (El lenguaje) d. El lenguaje {w pertenece {a,b}* | w contiene tantas a´s como b´s} es decidible por descrito es independiente del contexto, y por tanto decidibles por máquinas de máquinas de Turing. Turing Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1 Dada la siguiente Máquina de Turing (MT), determine que afirmaciones son válidas para su análisis:

Seleccione al menos una respuesta. a. La máquina acepta palabras que empiezan con “b”

 b. La máquina acepta palabras que empiezan con “a”

c. Si la primera letra no es una “a” la MT cae en un ciclo infinito leyendo y escribiendo “a”

Correcto: La letra de entrada de la MT es a, y cuando llega a halt es aceptada la cadena. Incorrecto: Al empezar con “b” la MT entra en un bucle escribiendo “b”.

d. Si la primera letra no es una “a”, la MT cae en un ciclo infinito leyendo y escribiendo “b”

Parcialmente correcto Puntos para este envío: 0.5/1. Question 3 Puntos: 1 La decodificación para canales con ruido usando las técnicas de codificación convolucional, se hace mediante el algoritmo de Viterbi. El objetivo de aplicar este método es: Seleccione una respuesta. a. Que los bits redundantes que acompañan al dato, ayuden a detectar y corregir errores en la transmisión. El método separa los bits redundantes y muestra el dato.  b. Identificar la mayor cantidad de bits de control para compararlos con los bits de datos. c. Encontrar el último estado que posee el error. Correcto: Lo que se consigue aplicando este método d. Reducir la cantidad de es reducir el número de cálculos. Según el algoritmo transiciones y cálculos cuando de Viterbi, para reducir el número de cálculos, cada se presentan los bits vez que dos trayectos (también llamados ramas) se redundantes y datos codificados. junten en un estado en el Diagrama de Trellis, el de mayor métrica acumulada se desecha en la búsqueda del trayecto óptimo La codificación convolucional se decodifica con ayuda del algoritmo de Viterbi. El proceso consiste en desechar algunos de todos los caminos posibles. Lo que se consigue aplicando este método es reducir el número de cálculos. Correcto Puntos para este envío: 1/1. Question 4 Puntos: 1

Dada la siguiente Maquia de Turing (MT). Analice su comportamiento.

Seleccione al menos una respuesta. a. No es una maquina válida ya que no define un estado final que acepta unas cadenas (no interpreta un lenguaje definido). Correcto: Si además se exige que el  b. Si se convierte el estado q0 en final, aceptará transductor termine en un estado final y pare, si la entrada es todas las posibles combinaciones de {01}. Aceptará secuencias de ceros y uso. correcta, es decir, una simple secuencia de ceros y unos c. Es una máquina que solo acepta lenguajes regulares. d. Esta máquina de Turing que se comporta como transductor, porque simplemente genera Correcto. Escribe en la cinta y la recorre. una salida en la cinta. Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1 Una analogía funcional, operacional de una Máquina de Turing con un componente físico real  podría ser:

Seleccione una respuesta. a. Un compilador  b. Un codificador secuencial con estados fijos pero con memoria (ej: codificador convolucional) c. Soluciones computacionales de arquitecturas híbridas de algoritmos infinitos. d. Sistemas de cómputo basados en arquitecturas como las de Neumann

Correcto

Los computadores electrónicos, basados en la arquitectura Von Neumann así como las máquinas cuánticas tendrían exactamente el mismo poder de expresión que el de una máquina de Turing si dispusieran de recursos ilimitados de tiempo y espacio. Como consecuencia, los lenguajes de  programación tienen a lo sumo el mismo poder de expresión que el de los programas para una máquina de Turing y en la práctica no todos lo alcanzan. Los lenguajes con poder de expresión equivalente al de una máquina de Turing se denominan Turing completos

Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1 Dependiendo de los diferentes tipos de Máquinas de Turing (MT), estas se comportan de manera diferente en la solución de problemas. Para una MT MULTIPISTA, indique una  propiedad válida de esta. Seleccione una respuesta. a. La cinta está en un número infinito de k pistas. Por eso es MULTIPISTA  b. En esta MT no se inicializan las cintas  por que tienen muchas pistas. c. Por cada cinta , requiere de un estado de aceptación “halt”

Correcto: En el modelo multipista, la cinta está dividida en un número finito de k  pistas. Hay ciertos modelos de computación relacionados con las máquinas de Turing, que poseen el mismo potencial como reconocedor de lenguajes que el modelo básico. Dentro de esas modificaciones, una muy particular es la MULTIPISTA que resulta muy efectiva para solución de problemas extensos. Correcto Puntos para este envío: 1/1. Question 7 Puntos: 1 Un movimiento en la Máquina de Turing depende del símbolo explorado con la cabeza y del estado actual con el que se encuentre la máquina, el resultado puede ser: Seleccione al menos una respuesta. a. Se mueve la cabeza de la cinta Correcto: En una MT de Turing no es cierto que el a la izquierda, a la derecha o se movimiento del cabezal, implique vaciar la cinta o inicializar los símbolos iniciales detiene. Correcto: En una MT de Turing no es cierto que el movimiento del cabezal, implique vaciar la cinta o  b. Cambio de estado. inicializar los símbolos iniciales c. Imprime un símbolo en la cinta Correcto: En una MT de Turing no es cierto que el reemplazando el símbolo leído. movimiento del cabezal, implique vaciar la cinta o inicializar los símbolos iniciales d. La cinta esta dividida en un número finito de k pistas

d. Todo movimiento del cabezal Incorrecto: En una MT de Turing no es cierto que vacía la cinta y la inicializa en el movimiento del cabezal, implique vaciar la cinta o inicializar los ímbolos iniciales cero. La palabra de entrada en la MT está escrita inicialmente en la cinta, como es habitual en nuestros autómatas, pero iniciando a partir de la segunda posición de la cinta, siendo el  primer cuadro un caracter blanco. Como la cinta es infinita, inicialmente toda la parte de la cinta a la derecha de la palabra de entrada está llena del caracter blanco (t). Correcto Puntos para este envío: 1/1. Question 8 Puntos: 1 La máquina universal de Turing esta diseña para realizar cualquier calculo especifico –   particular debido a que: Seleccione una respuesta. a. Es un intérprete de la información de salida  b. Las instrucciones se  basan en una fase del algoritmo universal c. Parará cuando el cálculo sea indeterminado. Respuesta Correcta: una M T capaz de ejecutar cualquier d. Es capaz de ejecutar algoritmo; es decir capaz de realizar los cálculos que realizaría cualquier otra MT, o sea, capaz de simular (tener cualquier algoritmo el mismo comportamiento) cualquier MT particular. Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para  procesar cualquier información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada correcta para esa MT particular). Correcto Puntos para este envío: 1/1. Question 9 Puntos: 1 Acerca de las Máquinas de Turing, Cuál de las siguientes afirmaciones es cierta: Seleccione una respuesta. a. Conociendo la posición del cabezal, se conoce la situación actual de la máquina de Turing.  b. Una máquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena

Correcto: Las acciones que puede ejecutar en la cinta la MT pueden ser: Escribe un símbolo en la cinta, o Mueve la cabeza a la izquierda o a la derecha Estas dos acciones

son excluyentes, es decir, se hace una o la otra, pero no ambas a la vez. c. Es posible que un lenguaje sea estructurado por frases pero no exista ninguna máquina de Turing que se detenga exclusivamente cuando las cadenas escritas en su cinta pertenezcan al lenguaje d. Cualquier lenguaje puede ser reconocido por una máquina de Turing La operación de la MT consta de los siguientes pasos: 1. Lee un caracter en la cinta 2. Efectúa una transición de estado 3. Realiza una acción en la cinta Correcto Puntos para este envío: 1/1. Question 10 Puntos: 1 Una de las bases o fundamentos en que se apoyaba el PRINCIPIO DE CHURCH-TURING estaba fundado en aspectos de: Seleccione una respuesta. a. La lógica computacional  b. La aplicación de funciones computables c. La simulación

Correcto

d. El diseño computacional "Todo proceso físico puede ser simulado por un dispositivo universal de computación." Correcto Puntos para este envío: 1/1. Question 11 Puntos: 1 La ejecución de esta máquina de Turing indica que:

Seleccione al menos una respuesta. a. Máquina que recorrerá las cadenas hasta el final de la cinta  pero se devolverá al extremo izquierdo (L)  b. Si se comporta como máquina reconocedora de lenguajes, aceptara solo cadenas que contengan pares de uso y pares de ceros sin importar su combinación c. Es una máquina que recorrerá “cualquier cadena” (combinación de 0´s y 1´s hasta el final de la cinta

Correcto: Máquina que va al final de la cinta

d. Si se ejecuta o se comporta como un Transductor, para la Correcto cadena 00110011 , la salida va a ser 1. Correcto Puntos para este envío: 1/1. Question 12 Puntos: 1 El caractér blanco que se ubica en la parte derecha de la cinta de una Máquina de Turing, está presente dada la condición de: Seleccione una respuesta. Correcto a. La cinta es infinita a la derecha  b. La cinta es infinita a la izquierda y finita a la derecha c. La cinta es de solo lectura d. La cinta es finita a la derecha y a la izquierda La palabra de entrada en la MT está escrita inicialmente en la cinta, como es habitual en nuestros autómatas, pero iniciando a partir de la segunda posición de la cinta, siendo el  primer cuadro un caracter blanco. Como la cinta es infinita, inicialmente toda la parte de la cinta a la derecha de la palabra de entrada está llena del caracter blanco Correcto Puntos para este envío: 1/1. Question 13 Puntos: 1 Seleccione cuál de las siguientes situaciones no es posible cuando una máquina de Turing determinista examina una cadena:

Seleccione una respuesta. a. El problema de parada solo aplica a Máquinas de Turing no deterministas. Las Deterministas solucionan este problema  b. Se produce una terminación anormal (es decir, la cabeza lectora se desplaza a la izquierda de la primera celda de la cinta) c. La máquina no se detiene nunca

d. La máquina abandona los cálculos por no Correcto: Puesto que la máquina es determinista, necesariamente encuentra encontrar ninguna transición aplicable siempre una transición aplicable. Ya que cualquier máquina de Turing determinista es también no determinista, es lógico que una máquina de Turing determinista se pueda simular mediante una no determinista. También una máquina de Turing determinista puede simular una no determinista. Por tanto, no se gana ninguna potencia adicional a causa del no determinismo. Correcto Puntos para este envío: 1/1. Question 14 Puntos: 1 Dentro de los componentes de una máquina de Turing (MT), está el símbolo “blanco” B. El comportamiento de este símbolo es: Seleccione una respuesta. a. Están situados al extremo izquierdo de la cinta.  b. También pertenece al alfabeto de cadenas a reconocer. c. Indica un movimiento nulo de la cabeza lectora. d. Aparece en todas las casillas excepto en aquellas que contienen los Correcto símbolos de entrada. Corresponde a la formalización de las Máquinas de Turing (MT) como un séptuplo en la que hace parte el símbolo blanco. Correcto Puntos para este envío: 1/1. Question 15 Puntos: 1 E número de estados posibles para un diagrama de estados está dado por: Seleccione una respuesta. a. 2( potencia k(m-1)) Dónde: K= la secuencia en cantidad de bits que van a entrar al codificador. m= la memoria del codificador ( es restringida) n = es Correcto una salida codificada (número de bits).  b. 2( potencia n) Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada (número de bits). Para un codificador convolucional de ratio R = ½ co K=1 El total de estados es cuatro. c. 2( potencia k(m-1)) Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada). m= la salida del codificador Si K =1 ; m= 3. El total de estados es cuatro. d. 2( potencia k(n-1)) Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada (número de bits). Si K =1 ; n= 3. El total de estados es cuatro. Correcto