AUTOMATAS Y LENGUAJES FORMALES ACT3

1
Puntos: 1

Sea el vocabulario {a,b} y la expresin regular aa*bb* Indique cuales

cadenas que se relacionan a continuacin son vlidas para esa ER
Seleccione una respuesta.
a. {ab, aab, aab, a, aa,bb}
b. {ba, ab, b, a}
c. {a, b, ab, ba, aab, bba, aaab}
d. {ab, aab, aaab, abbb, abb, aa,bb}

Correcto: El Lenguaje que se describe es

L={cadenas que comienzan por una a y continuan
con varias o ninguna a, y siguen con b y continuan
con varias o ninguna b}

Correcto

Puntos para este envo: 1/1.

Question2
Puntos: 1

La definicin 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. {a} y {b} son lenguajes regulares. {a,b} es
regular pues resulta de la unin de {a} y
{b}.

Correcto: Definicin formal de Lenguaje Regular. Por la

definicin anterior, el conjunto de los lenguajes regulares
formado por el lenguaje vaco, los lenguajes unitarios
incluido lambda y todos los lenguajes obtenidos a partir de
la unin, concatenacin y cerradura o estrella de Kleene..
{ab} es regular pues resulta de la concatenacin de {a} y
{b}.

b. La cadena vaca (lambda) es un lenguaje

Correcto: Lambda es regular.

regular.
c. La cadena vaca y el conjunto vaco no son

Incorrecto: Lambda es un lenguaje regular

lenguajes regulares.
d. {ab} no es regular.
Correcto

Puntos para este envo: 1/1.

Question3
Puntos: 1

Incorrecto: Es regular.

Un 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.

d. Dado un alfabeto, podemos formar palabras o

cadenas con los smbolos del alfabeto

Correcto: Lenguaje Formal: Un alfabeto es un

conjunto finito de smbolos. De esta definicin se
debe resaltar lo siguiente. (1) Los alfabetos son
finitos. (2) Por smbolo no se est haciendo
referencia a un slo carcter. Los smbolos pueden
ser nombres
Correcto: Es el principio bsico para empezar a
tratar con lenguajes.

Correcto

Puntos para este envo: 1/1.

Question4
Puntos: 1

La minimizacin de Autmatas, es un ejercicio comn en Automatizacin.

Identifique su concepto bsico y aplicabilidad:
Seleccione una respuesta.
a. La minimizacin se aplica a los AFD y consiste
en obtener un AFD equivalente a uno dado que
tenga el menor nmero de estados posibles.

Correcto: La minimizacin se basa en el

tratamiento de estados "obtener el menor nmero
de ellos" de forma equivalente.

b. Un autmata se puede minimizar siempre y

cuando el autmata dado no acepte cadenas
vacas.
c. La minimizacin se aplica a los AFND y consiste
en obtener un autmata equivalente que tenga el
menor nmero de transiciones posibles
d. En la minimizacin de autmatas, el nmero de
estados o de relaciones debe ser equivalente en
cantidad inferior al dado.
Correcto

Puntos para este envo: 1/1.

Question5
Puntos: 1

Acerca 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) solo

puede utilizarse para aceptar lenguajes finitos.
b. Un autmata finito no determinista (AFND) acepta
una cadena cuando es posible que su anlisis deje a

Correcto: Independiente del determinismo o no.

la mquina en un estado de aceptacin.

c. Un autmata finito no determinista (AFND) se puede Correcto: Corresponde a la condicin de
convertir a un AFD y solo ser vlido si aceptan el
determinismo.
mismo lenguaje.
d. Nunca se puede afirmar con seguridad que un
autmata finito no determinista (AFND) acepta una
cadena.
Correcto

Puntos para este envo: 1/1.

Question6
Puntos: 1

La Teora de Lenguajes, define bloques constructores de lenguaje. El

bloque ms sencillo es el alfabeto. De las siguientes afirmaciones cuales
definen o son verdaderas con respecto a un alfabeto:
Seleccione al menos una respuesta.
a. Los alfabetos estn compuestos por cadenas.
Ya sean aceptadas o no. Ejemplo el alfabeto del
espaol latino: Una cadena vlida es {sistemas}.

Incorrecto: la segunda cadena tambin es aceptada

Una cadena no aceptada es {temas}.

b. Los smbolos pueden ser nombres. Los
alfabetos son finitos.

c. { 1 , 2 ,..... n } Es un ejemplo de
alfabeto

d. Por smbolo, se est haciendo referencia a un

solo carcter.
Correcto

Puntos para este envo: 1/1.

Correcto: Lenguaje Formal: Un alfabeto es un

conjunto finito de smbolos. De esta definicin se
debe resaltar lo siguiente. (1) Los alfabetos son
finitos. (2) 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 lo siguiente. (1) Los alfabetos son
finitos. (2) Por smbolo no se est haciendo
referencia a un slo carcter. Los smbolos pueden
ser nombres
Incorrecto: Por smbolo no se est haciendo
referencia a un slo carcter. Los smbolos pueden
ser nombres