AUTOMATAS Y LENGUAJES FORMALES ACT5

1

Puntos: 1

Delos autómatas finitos (AF) es válido afirmar:

Seleccione al menos una respuesta.

	a. De manera informal se puede decir que un Autómata Finito aceptará una palabra de entrada si, comenzando por un estado especial llamado estado inicial y estando la cabeza de lectura apuntando al primer símbolo de la cadena, la máquina alcanza un estado final o de aceptación después de leer el último símbolo de la cadena
	b. Los AF (Autómatas Finitos) pueden considerarse como mecanismos aceptadores o reconocedores de palabras
	c. Un AF es una máquina sin memoria externa; son los estados los que resumen de alguna forma la información procesada
	d. La memoria de un Autómata Finito (AF), está dada por sus estados

Parcialmente correcto

Puntos para este envío: 0.8/1.

Question2

Puntos: 1

Para el siguiente autómata, identifique cuál es la Expresión Regular (ER) que mejor lo representa:

Seleccione una respuesta.

	a. (ab+ba) + a
	b. ab +(ab)*
	c. (ab + aba)*
	d. a +(ab)*

Incorrecto

Puntos para este envío: 0/1.

Question3

Puntos: 1

Dadas las siguientes gramáticas, asócielas a los enunciados que se presentan de forma correcta. Tenga en cuenta que como Símbolo inicial se toma a “S” que son los estados iniciales y como símbolos no terminales los estados en el orden de su nombramiento. El conjunto finito de símbolos terminales son los símbolos del alfabeto ∑ del autómata.

Seleccione al menos una respuesta.

	a. La Gramática D corresponde a una representación válida del lenguaje que acepta el Autómata “C”.
	b. La Gramática A corresponde a una representación válida del lenguaje que acepta los Autómatas “A” y “B”.
	c. La Gramática B corresponde a una representación válida del lenguaje que acepta el Autómata ”D”.
	d. La Gramática C corresponde a una representación válida del lenguaje que acepta el Autómata con lambda transiciones del Autómata “E”

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question4

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. Se llama “clase de lenguajes” a conjuntos de lenguajes que comparten cierta propiedad dada.
	b. 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í porque sus palabras contienen “regularidades” o repeticiones de los mismos componentes.
	c. Al clasificar lenguajes, no se están clasificando máquinas que los reconozcan, Se clasifican gramáticas que los generan.
	d. Los lenguajes son en sí conjuntos de secuencias de símbolos y las clases de lenguajes son conjuntos de conjuntos de secuencias de símbolos.

Parcialmente correcto

Puntos para este envío: 0.7/1.

Question5

Puntos: 1

Las siguientes cadenas:

{Lambda,aaa, bb, bbb, aabb, aba, abaaa, abbaa}

son generadas expresadas por la ER

Seleccione una respuesta.

	a. (a + b ) *
	b. ( a | b)*
	c. (a.b)*
	d. (a,b)*

Incorrecto

Puntos para este envío: 0/1.

Question6

Puntos: 1

Sean dos lenguajes L1 y L2 definidos sbre el mismo alfabeto ∑, la operación que se representa a continuación es:

L = L1L2 = {xy / x pertenece L1 Ʌ y pertenece L2}

Seleccione una respuesta.

	a. Concatenación de lenguajes
	b. Operación cerrada de dos lenguajes
	c. Asociación de lenguajes
	d. Unión de lenguajes

Correcto

Puntos para este envío: 1/1.

Question7

Puntos: 1

Las condiciones mínimas para poder describir un Autómata Finito Determinístico (DFA) son:

Seleccione al menos una respuesta.

	a. Identificando el alfabeto.
	b. Identificando el estado inicial y los estados finales.
	c. Identificando la función de transición.
	d. Dando la lista de sus estados.

Correcto

Puntos para este envío: 1/1.

Question8

Puntos: 1

En la teoría de lenguajes se presentan operaciones que aplican también al tratado de conjuntos. Estas operaciones se pueden realizar con palabras que hacen pare de un determinado lenguaje. Si “x” es una palabra y “y” otra palabra; la siguiente operación: 

(xy)z =x(yz)

corresponde a la propiedad:

Seleccione una respuesta.

	a. Distributiva
	b. Operación cerrada
	c. Asociativa
	d. Conmutativa

Incorrecto

Puntos para este envío: 0/1.

Question9

Puntos: 1

Cuáles afirmaciones son válidas y que surgen de un análisis de las ER (Expresiones Regulares):

Analice los autómatas dados:

Seleccione al menos una respuesta.

	a. La ER (0+1)*01 genera las mismas cadenas para el Autómata “B” y del autómata “A”
	b. La ER (0+1)*11(01)* genera cadenas válidas para el autómata “B” pero no para las del autómata “A”.
	c. La ER (0+1)*01 genera cadenas válidas para el autómata “A”, pero no para las del autómata “B”.
	d. La ER (1*00*1(00*1)*1)*1*00*1(00*1)* genera las mismas cadenas para el Autómata “A” el autómata “B”.

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question10

Puntos: 1

Sea el autómata A = (∑, Q, f, q1, F) donde:

∑ ={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la función f vienen dada por la siguiente tabla:

Determine qué aspectos son válidos para el autómata

Seleccione al menos una respuesta.

	a. El lenguaje reconocido por el autómata es: a (b*b | a*b) a*
	b. Es un Autómata Finito Determinístico con lambda transiciones
	c. El lenguaje reconocido por el autómata es: a (b* | a* ) ba*
	d. Es un Autómata Finito Determinístico (AFD)

Correcto

Puntos para este envío: 1/1.

Question11

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. Una gramática regular o de tipo 3, puede generar Autómatas finitos (AF)
	b. Los lenguajes regulares pueden ser pueden ser descritos mediante expresiones regulares (ER)
	c. Los lenguajes libres de contexto o de tipo 2, pueden ser generados por los autómatas de pila (AP)
	d. Los lenguajes que no poseen restricciones o de tipo 0, son reconocidos mediante Autómatas Finitos No Deterministas (AFND)

Parcialmente correcto

Puntos para este envío: 0.3/1.

Question12

Puntos: 1

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

Seleccione al menos una respuesta.

	a. Es una aplicación de los autómatas. Un interruptor de luz
	b. No es un autómata válido en diseño
	c. Es un AF.
	d. No tiene alfabeto definido

Incorrecto

Puntos para este envío: 0/1.

Question13

Puntos: 1

Dado los siguientes dos autómatas: determine cuáles afirmaciones son válida

Seleccione al menos una respuesta.

	a. El autómata B es un AFD pero no reconoce el mismo lenguaje que el autómata A
	b. Ambos son AFD y reconocen el mismo lenguaje
	c. El autómata B es un AFND (además posee dos estados de aceptación) y su ER es la misma que la del autómata A.
	d. El autómata A es un AFD pero no reconoce el mismo lenguaje que el autómata B

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question14

Puntos: 1

Analice e identifique cuáles afirmaciones son válidas con referencia al diseño del siguiente autómata:

Seleccione una respuesta.

	a. Es un autómata AFND que acepta el lenguaje (ab)* U (aba)* U a*b*
	b. Es un AFND que acepta el lenguaje (ab U aba)*
	c. Es una autómata AFND cuya ER es: (ababa)*
	d. Es un autómata finito no determinista que acepta la cadena {ababaab}

Incorrecto

Puntos para este envío: 0/1.

Question15

Puntos: 1

Dada la siguiente gramática. (tenga en cuenta la ambigüedad).

S ---> Ac|Bd

A ---> aAb|ab

B ---> aBbb|abb

Esta genera el language:

Seleccione al menos una respuesta.

	a. A (potencia n) b c | n>=1
	b. A(potencia n)b(potencia n) c | n>=1
	c. A (potencia n) b (potencia n) c (potencia n) | n>=1
	d. A (potencia n) b (potencia 2n) d | n>=1

Correcto

Puntos para este envío: 1/1.