AUTOMATAS Y LENGUAJES FORMALES ACT3

1

Puntos: 1

La minimización de Autómatas, es un ejercicio común en Automatización. Identifique su concepto básico y aplicabilidad:

Seleccione una respuesta.

	a. La minimización se aplica a los AFD y consiste en obtener un AFD equivalente a uno dado que tenga el menor número de estados posibles.	Correcto: La minimización se basa en el tratamiento de estados "obtener el menor número de ellos" de forma equivalente.
	b. Un autómata se puede minimizar siempre y cuando el autómata dado no acepte cadenas vacías.
	c. La minimización se aplica a los AFND y consiste en obtener un autómata equivalente que tenga el menor número de transiciones posibles
	d. En la minimización de autómatas, el número de estados o de relaciones debe ser equivalente en cantidad inferior al dado.

Correcto

Puntos para este envío: 1/1.

Question2

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.	Incorrecto: Las palabras aceptadas pueden ser infinitas.
	c. 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.
	d. Por símbolo no se está haciendo referencia a un sólo carácter. Los símbolos pueden ser nombres.

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question3

Puntos: 1

La “Teoría de Lenguajes”, define bloques constructores de lenguaje. El bloque más sencillo es el alfabeto. De las siguientes afirmaciones cuales definen o son verdaderas con respecto a un “alfabeto”:

Seleccione al menos una respuesta.

	a. { α1 , α2 ,..... α n } Es un ejemplo de alfabeto	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 pueden ser nombres
	b. Los alfabetos están compuestos por cadenas. Ya sean aceptadas o no. Ejemplo el alfabeto del español latino: Una cadena válida es {sistemas}. Una cadena no aceptada es {temas}.	Incorrecto: la segunda cadena también es aceptada
	c. Los símbolos pueden ser nombres. Los alfabetos son finitos.
	d. Por símbolo, se está haciendo referencia a un solo carácter.

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question4

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. {ab} no es regular.
	b. {a} y {b} son lenguajes regulares. {a,b} es regular pues resulta de la unión de {a} y {b}.	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}.
	c. La cadena vacía y el conjunto vacío no son lenguajes regulares.
	d. La cadena vacía (lambda) es un lenguaje regular.	Correcto: Lambda es regular.

Correcto

Puntos para este envío: 1/1.

Question5

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. 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 estados q1 y q2 son equivalentes	Incorrecto
	b. 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
	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.

Question6

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. La función de transición.
	d. El estado inicial.	Incorrecto: El estado inicial no determina qué tipo de autómata es.

Incorrecto

Puntos para este envío: 0/1.