Automatas Corregidas Unidad 1 y 2

automatas corregidas unidad 1 y 2
1
Puntos: 1
Que significan las reglas de la forma A → lambda
Seleccione al menos una respuesta.
a. Se le llaman producciones Correcto: Producciones Nulas: Son de la forma A

nulas → lambda
b. Que estén en una gramática,
deben permitir que el lenguaje
no se cambie o altere
c. No se pueden eliminar en
una gramática ya que si se
hiciere, modifican el
lenguaje
d. Generan lenguajes que
contienen la palabra vacía
Parcialmente correcto
Puntos para este envío: 0.5/1.
Question2
Puntos: 1
Que opciones son verdaderas al analizar la siguiente gramática.
a. Genera el lenguaje que acepta cadenas como:

{bacab, bbbc, aaac, aabcbb}
b. Las cadenas que puede aceptar corresponden a
cadenas de forma wcv, donde w y v son cadenas de
a’s ó b’s y w y v tienen la misma longitud sin importar
si v o wsoon inversas simultáneamente.
c. Genera un lenguaje que acepta cadenas como: Correcto: El lenguaje
{aacab, aacbb, abcbb, bbbcaba} corresponde a 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
d. Las cadenas que puede aceptar corresponden a
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
Question3
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. L1 = L2
c. L2 ⊂ L1 Incorrecto
d. L1 ≠ L2
Incorrecto
Puntos para este envío: 0/1.
Question4
Puntos: 1
Respecto a la definición de Ambigüedad, cuáles afirmaciones aplican al concepto y lo clarifican
en el tema de automatización cuando intervienen gramáticas de diferente tipo: (seleccione más
de una opción).

a. Un lenguaje es inherentemente ambiguo si
no existe una gramática que la describe y que
no sea ambigua
b. Sea una gramática G. Una sentencia x que
pertenece a L(G) es ambigua si puede
obtenerse por medio de varias derivaciones
distintas correspondientes a árboles de
derivación diferentes.
c. Se presenta cuando cada instrucción tiene Incorrecto. La ambigüedad es una
una sola interpretación en cada rama de un propiedad indeseada en los lenguajes
árbol de derivación y tiene un fin de parada en de programación. Cada instrucción
el segundo nodo. debe tener solo una interpretación.
d. Una gramática es ambigua si genera alguna
sentencia ambigua
La ambigüedad es una propiedad indeseada en los lenguajes de programación. Cada
instrucción debe tener solo una interpretación.
Incorrecto
Question5
Puntos: 1
Una gramática independiente del contexto (GIC) genera un lenguaje independiente del contexto
(LIC), lo que indica que hay LIC que no son lenguajes regulares y por lo tanto:
a. El conjunto de los LIC contiene al

conjunto de los lenguajes regulares.
b. El conjunto de los lenguajes regulares
contiene al conjunto de los LIC.
c. El conjunto de los lenguajes regulares y el Incorrecto: Los lenguajes generados por
conjunto de los LIC son conjuntos una GIC son llamados Lenguajes
independientes. Independientes del Contexto (LIC).
d. El conjunto de los lenguajes regulares
contiene al conjunto de las GIC.
Una gramática independiente del contexto (GIC) es una cuádrupla G=(N, Σ, S, P), donde: N: es
una colección finita (no vacía) de símbolos no terminales. Σ: es un alfabeto. S: es un no terminal
llamado símbolo inicial. P: un conjunto de producciones tal que P⊆ N (N∪ Σ)*. Los lenguajes
generados por una GIC son llamados Lenguajes Independientes del Contexto (LIC)
Incorrecto
Question6
Puntos: 1
Dado el siguiente árbol de derivación, identifique las apreciaciones válidas cuando se analiza su
comportamiento y diseño:
a. La lambda | Sa} y el lenguajegramática está

representada como: G = { S - generado puede
representarse con la expresión regular a*
b. El árbol representa una gramática lineal por la
izquierda, que genera el lenguaje L ={lambda,
a,aa,aaa,…}
c. El árbol representa las cadenas que inician en dos Incorrecto: Pueden haber
a”s seguida de una o más a”s de un lenguaje regular cadenas con una sola “a”
d. La gramática está representada como G = { S ---
>lambda | aS}
Incorrecto
Question7
Puntos: 1
Indique cuál de las siguientes afirmaciones es verdadera
a. Los autómatas finitos tienen un número

finito de estados
b. Los autómatas finitos sólo pueden Incorrecto
aceptar lenguajes finitos
c. Las máquinas de Turing y los autómatas
de pila son autómatas finitos
d. Los autómatas de pila reconocen
lenguajes generados por gramáticas de
tipo 3
Incorrecto
Question8
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:
a. Solo la operación de Unión de los lenguajes de

dos AP es permitida.
b. Se pueden obtener AP que acepten
operaciones de Unión y Concatenación de los
lenguajes aceptados por los Autónomas de Pila
dados.
c. Las operaciones de combinar AP solo es viable Incorrecto
cuando los dos Autónomas leen el mismo
alfabeto.
d. Un AP se puede combinar con una MT siempre
y cuando lean y acepten el mismo lenguaje.
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.
Incorrecto
Question9
Puntos: 1
Para simular el funcionamiento de un Autómata de Pila lo más recomendable es hacer primero:

a. Simular su ejecución en un software (podría
ser como Visual Autómata Simulator) iniciando
con una cadena no válida para determinar si el
ciclo de la cinta inicia o no.
b. Simular su ejecución, listando las situaciones Correcto
sucesivas en que se encuentra, mediante una
tabla llamada “traza de ejecución
c. Simularlo en JFLAP con la cadena vacía
Lambda para determinar si la pila inicia o no.
d. Simular su ejecución en una MT que se
comporta de igual forma
Para verificar el funcionamiento del autómata, podemos simular su ejecución, listando las
situaciones sucesivas en que se encuentra, mediante 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.
Correcto
Question10
Puntos: 1
Si a un Autómata se le adiciona un almacenamiento auxiliar, se está construyendo entonces:
a. Una Turing Machine (TM)
b. Un Pushdown Automaton (PA)
c. Un Autómata Determinístico Finito.
d. Un Autómata No determinístico pero Finito

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.
Incorrecto
Question11
Puntos: 1
Que apreciaciones son ciertas con referencia a lo que describe el siguiente árbol de derivación:
a. La ER que representa el lenguaje que

acepta ese árbol de derivación es ab*c
b. Acepta el lenguaje de las palabras que
empiezan por S y terminan en una o muchas
A”s. La ER que lo representa es SA*
c. Acepta el lenguaje de las palabras que Correcto
empiezan por “a”, terinan por “c” y además
en medio de estas dos letras pueden haber
una “b” o muchas “b”s
d. Este árbol de derivación es producto de la
gramática lineal por la derecha: S –>aA | A --
-> bA | c
Question12
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.

a. S –> 0A0 | 1S2 | 10
b. S –> 0A0 | 1S0 | 2 | 0
c. S –> 0A0 | 1S1 | 2
d. S –> 0A0 | 1S2 | 1 | 0 Incorrecto: En la pila lo que falta por leer viene
siendo la cadena que se evalúa .Esta gramática
no es la que recorre el árbol que permite esa
salida.
Incorrecto
Question13
Puntos: 1
Considere la gramática: S→ 0S, S→ 1S, S→ S0, S→ λ. Indique cuáles de las
siguientes afirmaciones son verdaderas
a. Existen derivaciones distintas que generan

cadenas idénticas
b. Las cadenas {0101, 1001] no son parte del
lenguaje que genera
c. La regla S→ S0 es innecesaria Correcto
d. La gramática es equivalente a S→0S, S→ 1S,

S→ λ
Question14
Puntos: 1
Dada la gramática S → aS; S→ aSbS; S→ λ. Indique cuál de las siguientes afirmaciones es
falsa:
a. El lenguaje generado por la gramática es

estructurado por frases
b. La cadena {b} es rechazada
c. Para cualquier prefijo de una cadena Esta afirmación es correcta: ejemplo

generada por la gramática se verifica que el la cadena {aabbb} no es aceptada
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
d. Cualquier cadena generada por la gramática
contiene una subcadena no vacía donde el
número de letras a es igual al número de letras
b
Incorrecto
Question15
Puntos: 1
Sea M un autómata de pila. Indique cuál de las siguientes afirmaciones es falsa:
a. Sea L={a, ba}. L puede ser aceptado por Esta afirmación es verdadera ya que L
un autómata de pila determinista que es un lenguaje regular
siempre llegue a los estados de aceptación
con pila vacía
b. Un autómata de Pila reconoce lenguajes
que sean generados por gramáticas de
tipo2.
c. Si M es un autómata de pila determinista
que siempre llega a los estados de
aceptación con pila vacía, entonces L(M) no
puede ser aceptado por un autómata de pila
no determinista
d. Sea L={a, ab}. L puede ser aceptado por
un autómata de pila determinista que
siempre llegue a los estados de aceptación
con pila vacía
Incorrecto
1
Puntos: 1
Si ∑ es un alfabeto, se le llama ∑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 ∑

a. ∑ * = Conjunto de todas las cadenas
de cualquier longitud sobre ∑
b. ∑0 = Conjunto de todas las cadenas Incorrecto
sobre el alfabeto ∑ excepto la
vacía.
c. ∑0 = {lambda} Conjunto cuyo único
elemento es la palabra vacía.
d. ∑+ = Conjunto de todas las cadenas
positivas excepto la vacía
La longitud de una cadena ω que se denota como |ω| es el número de letras que aparecen en
ω. A la cadena que no 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.
Incorrecto
Question2
Puntos: 1
Dada la siguiente gramática regular G , identifique el conjunto de cadenas o palabras válidas
que puede generar el Autómata Finito que lo representa: (Para el desarrollo del ejercicio se
sugiere graficar o recrear el autómata)
S → aA | bA
A → aB | bB | a
B → aA | bA
a. El conjunto de cadenas que pueda Incorrecto: Las cadenas no son

generar la ER = a*b*a aceptadas cuando se recorre la
gramática.
b. {a,b}
c. {baaaa, aaaaa, bba}
d. {aa, aaaa, bbba, ba, bba, baaa,

baba}
Incorrecto
Question3
Puntos: 1
Los AP tienen ciertos comportamientos y asociaciones con los AF.
Seleccione las afirmaciones válidas:
a. Los autómatas de pila aceptan exactamente

los LLC. Por lo que: Si M es un AP, entonces
L(M) es un LLC
b. Si se quiere meter cadenas a una pila, puede
hacerse con una operación tipo “pop”
c. Los AP son una extensión de los AF Correcto
d. Los AP son una extensión de los AF

Question4
Puntos: 1
Respecto a la relación entre un AF y un AP cuál afirmación es cierta:
a. Un AP es infinito por su capacidad de

memoria. Un AF es finito por su número de
estados.
b. Los AF y los AP tienen la misma Incorrecto: los AP tienen mayor
capacidad de memoria capacidad de memoria
c. Todo lenguaje aceptado por un AF es
también aceptado por un AP
d. Las gramáticas que generan los
lenguajes que pueden representar estos
autómatas o máquinas, son las GLC
Incorrecto
Question5
Puntos: 1
Dado el siguiente autómata finito (AF), reconoce el lenguaje generado por la gramática:
a. G={S ---> 0A| lambda,, A ---> 0A | 1B, B --->

1B|lambda}
b. G = { S --->B |lambda , A ---> 1B | lambda,, B --
-> lambda}
c. G= {S -->0B | 0A , A ---> 1B | lambda , B ---> Incorrecto
lambda
d. G = { S --->A |lambda , A ---> 0B | lambda,, B --
-> lambda}
Incorrecto
Question6
Puntos: 1
Del diseño y naturaleza de los autómatas de pila (PDA), es válido afirmar:
a. Para poder simular un autómata de

Pila se debe tener en cuenta: Las
columnas de una traza de ejecución
para un AP son: el estado en que se
encuentra el autómata, lo que ha leido
hasta el momento o estado actual al
inicio de la simulación, y el contenido de
la memoria al final del recorrido.
b. Un Autómata de Pila al igual que una
Máquina de Turing o un Autómata Finito,
su definición básica es de naturaleza no
determinista
c. Un autómata de pila no puede hacer Incorrecto: Los autómatas de Pila se usan
las funciones de "contador" ya que sus como contadores de datos, es una aplicación
recorridos varían en la cinta y lo que le más de estas máquinas. De hecho este conteo
importa a esta automatización es el es usado para comparar otros elementos de
estado final y la salida del dato. entrada y comportamientos.
d. 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 que recuerda
cada cual
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 que recuerda cada cual.
Incorrecto
Question7
Puntos: 1
Dado un alfabeto ∑, los símbolos Ø, lambda, y los operadores + (unión), ∙ (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
a. Si ω = lambda entonces L (lambda) = { lambda}
b. Si ω = a y a pertenece ∑ entonces L (ω) no pertenece ∑
c. Si ω = Ø entonces L (ω) = Ø
d. Si ω* es una ER entonces L (ω*) no es una ER

La notación de conjuntos nos permite describir los lenguajes regulares, pero nosotros
quisiéramos una notación en que las representaciones de los lenguajes fueran simplemente
texto (cadenas de caracteres). Así las representaciones de los lenguajes regulares serían
simplemente palabras de un lenguaje (el de las representaciones correctamente formadas).
Incorrecto
Question8
Puntos: 1
Identifique los aspectos que se deben tener para garantizar el determinismo en un Autómata de
pila finito determinista (AFPD).
Tenga en cuenta además de los componentes (tupla) de la pila que::
f: es la función de transición:
e: es una transición dada espontanea.
a. El determinismo se da cuando no hay alternativas de Correcto

movimiento para el mismo estado, usando la misma
entrada y el mismo símbolo de pila.
b. Las transiciones lambda en un AFPD permiten que el
autómata cambie el contenido de la pila, sin procesar (o
consumir) símbolos sobre la cinta de entrada.
c. Las operaciones: f(q,a,s)y f(q,e,s) con a ∑ ,, q Q y s
(pertenecen) al alfabeto de la pila y no pueden estar
simultáneamente definidos o declarados.
d. La definición de la función de transición (f) requiere
que haya por lo menos un símbolo en la pila. No se
permiten operaciones con la pila vacía.
Question9
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:
a. 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
b. Un árbol ordenado y etiquetado D es un árbol
de derivación para una gramática libre de
contexto G(A)
c. La representación de las derivaciones de la Incorrecto
gramática siempre se hacen de forma vertical.
Nunca de forma comprimida u horizontal
d. 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 axioma de la gramática, y
empleando para las derivaciones las reglas de
producción de P
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.
Incorrecto
Question10
Puntos: 1
Para que una palabra de entrada sea aceptada en un AP se deben cumplir las condiciones
siguientes:
a. La pila debe tener lambda como elemento

final.
b. La palabra de entrada se debe haber
agotado (consumido totalmente).
c. El AP se debe encontrar en un estado Correcto: para que una palabra de
final. entrada sea aceptada en un AP se
deben cumplir todas las condiciones
siguientes: 1. La palabra de entrada
se debe haber agotado (consumido
totalmente). 2. El AP se debe
encontrar en un estado final. 3. La
pila debe estar vacía.
d. La pila debe estar vacía.
en cuanto a qué recuerda cada cual.
1
Puntos: 1
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:
a. La gramática no genera ningún Incorrecto: la gramática si genera un

lenguaje porque presenta más de un lenguaje y no genera la cadena vacía.
estado de aceptación o final.
b. La gramática no genera la cadena
vacía
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
Question2
Puntos: 1
Dado el alfabeto ∑= {a,b}, identifique cuál afirmación es falsa.
a. La expresión regular b*ab* (ab*ab*)*

representa al lenguaje de las cadenas con
un número impar de letras a
b. La expresión regular b*(ab*ab*)* Esto es afirmativo
un número par de letras a
c. La expresión regular (b*ab*ab*a) *
un número múltiplo de 3 de letras “a”
d. La expresión regular b*a*b* representa al
lenguaje de las cadenas que pueden o no
tener “a”
Incorrecto
Question3
Puntos: 1
Dada la Gramática S→aS; S→aSbS; S→lambda .
Indique cuáles de las siguientes afirmaciones no corresponden al desarrollo de la misma o al
tipo de cadenas o palabras ω que pueda generar.
a. Las cadenas ω que acepta la gramática

siempre van a empezar por a. Además el
lenguaje generado por la gramática es
b. Las cadenas que acepta la gramática Incorrecto
siempre van a empezar por b. Además el
lenguaje generado por la gramática es “no es
estructurado por frases”.
c. Cualquier cadena ω generada por la
gramática contiene una subcadena no vacía
donde algunas veces el número de letras a es
igual al número de letras b.
d. 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 ω
es toda cadena no vacía x para la que existe
una cadena u tal que ω=xu
Las gramáticas cuyas reglas son de la forma A ---> aB o bien A ---> a, donde A y B son
variables, y a es un caracter terminal. A estas gramáticas se les llama regulares.
Incorrecto
Question4
Puntos: 1
Cuando se diseñan AP o se formalizan, se utilizan notaciones gráficas parecidas a la de los
diagramas de los AF. Con respecto a esto: ¿qué aspectos de diseños son válidos para
formalizar un AP.?
a. Si se da la transición “a/x/c” indica

que se saca de la pila un carácter “a”,
luego se avanza una posición “x” en la
pila, y se mete “c” a la pila.
b. Para que una palabra de entrada Correcto: El funcionamiento de un AP indica
sea aceptada en un AP debe cumplir una sintaxis en la que el caractér del centro o
tres condiciones. Una de ellas es que símbolo hace referencia a lo que se saca o no
el AP se debe encontrar en un estado de la pila. Otra condición para que la cadena
final. sea aceptada en un AP es que la pila esté
vacía,
c. Si se da la transición “a/x/c” indica
que se consume de la entrada un
carácter “a”, se avanza una posición
“x” y se mete “c” a la pila.
d. Si se da la transición “a/x/c” indica
que se consume de la entrada un
carácter “a”, no se saca nada de la
pila, y se mete “c” a la pila.
Question5
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.
a. Todos los nodos hoja están etiquetados con

símbolos terminales.
b. 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.
c. Creando un nodo raíz que se etiqueta con el Correcto
símbolo inicial.
d. Los nodos que no tienen hijos, deben ser
etiquetados con símbolos terminales.
Question6
Puntos: 1
Para u AP, la función de transición también se puede representar mediante un diagrama donde
los nodos representan los estados y los arcos transiciones, Dada la siguiente transición como
se muestra en la figura, identifique las acciones correctas que haría el movimiento de la pila.
a. El estado actual es q0. La cabeza

lectora apunta al símbolo “a”. El tope de
la pila es X que se va a sustituir por
lambda al cambiar al nuevo estado q1 y
avanzar la cabeza lectora.
b. El estado actual es q0. La cabeza Incorrecto
lectora apunta al tope X que es donde
inicia la lectura del símbolo “a” que entra
al pasar al estado q1 y sustituir lambda
por X.
c. El estado actual es q0. La cabeza
lectora apunta al símbolo “a”. El tope de
la pila es “a” como primer símbolo a leer
que se va a sustituir por lambda al
cambiar al nuevo estado q1 y avanzar la
cabeza lectora.
d. El estado actual es q0. La cabeza
lectora apunta al símbolo “lambda”. El
recorrido de la pila es de izquierda a
derecha. El tope de la pila es X que no se
modifica al cambiar al nuevo estado q1 y
avanzar la cabeza lectora.
Incorrecto
1
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:
a. Se define como el estado de un autómata es Correcto

toda la información necesaria en un momento
dado, para poder deducir, dado un símbolo de
entrada en ese 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 Correcto
mismo que conocer toda la historia de símbolos
de entrada, así como el estado inicial. Estado en
que se encontraba el autómata al recibir el
primero de los símbolos de entrada.
Correcto
Question2
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:

a. La ER (0+1)*01 genera cadenas válidas para el autómata “A”,

pero no para las del autómata “B”.
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 (1*00*1(00*1)*1)*1*00*1(00*1)* genera las mismas Correcto: Ambas ER son
cadenas para el Autómata “A” el autómata “B”. equivalentes y aplican
para el autómata. Se debe
aplicar la propiedad de la
operación matemática de
la estrella de Kleene.
d. La ER (0+1)*01 genera las mismas cadenas para el Correcto: Ambas ER son
Autómata “B” y del autómata “A” equivalentes y aplican
para el autómata. Se debe
aplicar la propiedad de la
operación matemática de
la estrella de Kleene.
Correcto
Question3
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}
a. Unión de lenguajes
b. Asociación de lenguajes
c. Operación cerrada de dos lenguajes
d. Concatenación de lenguajes Correcto: La concatenación de ambos

lenguajes estará formada por todas las
palabras obtenidas al concatenar una
palabra cualquiera de L1 con otra de
L2.
Correcto
Question4
Puntos: 1
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.
a. Los símbolos de un alfabeto, definen el

tipo de lenguaje a que pertenece.
b. Existe un lenguaje denominado el Correcto
lenguaje vacío que es un conjunto vacío y se
denota por {Ø}. El lenguaje vacío no debe
confundirse con un lenguaje que contenga
una sola cadena.
c. ω = lambda ó cadena vacía y ω = 0 ; Son
palíndromos
d. Los palíndromos son una excepción de los Incorrecto: Los palíndromos tienen
lenguajes regulares y no hacen parte de la regularidades. Son lenguajes de tipo 3
jerarquía de Chomsky
Question5
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
a. Es un Autómata Finito Determinístico

(AFD)
b. Es un Autómata Finito Determinístico con
lambda transiciones
c. El lenguaje reconocido por el autómata Correcto: Es un AFND. El lenguaje que
es: a (b*b | a*b) a* reconoce es : a (b*b | a*b) a* o también a
(b* | a* ) ba* para efectos de mejor
comprensión, hay que recrear o realizar el
autómata mediante un diagrama de Moore
d. El lenguaje reconocido por el autómata Correcto: Es un AFND. El lenguaje que
es: a (b* | a* ) ba* reconoce es : a (b*b | a*b) a* o también a
Correcto
Question6
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.
a. La Gramática D corresponde a una

representación válida del lenguaje que acepta
el Autómata “C”.
b. La Gramática B corresponde a una Incorrecto. La gramática no le
representación válida del lenguaje que acepta corresponde a los autómatas dados
el Autómata ”D”.
c. La Gramática C corresponde a una Correcto: La gramática C es la de un
representación válida del lenguaje que acepta AFND con landa transiciones.
el Autómata con lambda transiciones del
Autómata “E”
d. La Gramática A corresponde a una
representación válida del lenguaje que acepta
los Autómatas “A” y “B”.
Question7
Puntos: 1
Dada la siguiente gramática con las siguientes producciones,
S --> ab
S ---> aSb
que derivaciones son válidas al usar sus reglas:
a. aabb Correcto
b. ab
c. Ba
d. Bbaa
Question8
Puntos: 1
Dado el siguiente autómata: Cambie los símbolos del alfabeto asociando a = 0 y b =1 . Para las
siguientes opciones,(que están en base 10 o decimal), conviértalas a base 2 (binario) y recorra
el autómata e identifique cuál número acepta el autómata.
a. 182
b. 205
c. 73 Incorrecto: equivale a la cadena 01001001 y
esta no es reconocida
d. 253
Incorrecto
Question9
Puntos: 1
Las siguientes cadenas:
{Lambda,aaa, bb, bbb, aabb, aba, abaaa, abbaa}
son generadas expresadas por la ER
a. ( a | b)*
b. (a + b ) *
c. (a.b)*
d. (a,b)* Incorrecto
Incorrecto
Question10
Puntos: 1
Expresiones regulares: Determine que igualdades son válidas:
a. aa+b*a = (aa+b*)a Incorrecto
b. a+a=a
c. a(aa+b)* + a(aa+b)* = a(aa+b)* Correcto
d. a*=a*.a*=(a*)* Correcto: Por asociación
Question11
Puntos: 1
Dados los siguientes autómatas determine que características aplican en cuanto a su
comportamiento y diseño.
a. La cadena bababbaabb la reconocen los Correcto: esta cadena es aceptada por

dos autómatas. ambos autómatas. Además amas
máquinas son equivalentes
b. El autómata A es “equivalente” al autómata Correcto: aceptan el mismo lenguaje.
B
c. El autómata A es un AFND y reconoce el Correcto. Además el autómata B
mismo lenguaje que el autómata B resúltate de un proceso de equivalencia
es un AFD.
d. El autómata A NO es “equivalente” al
autómata B.
Correcto
Question12
Puntos: 1
Dado el siguiente autómata, analice si es posible su minimización y seleccione las opciones
válidas para su análisis:
a. Los estados q2 y q3 son equivalentes. Dado

que transitan igual para los dos símbolos del
alfabeto. Por tanto se pueden fusionar en no
solo.
b. El autómata no se puede minimizar. No hay Incorrecto. El autómata se puede
estados equivalentes y los estados minimizar y os estados equivalentes o
distinguibles no se pueden modificar. candidatos a comparar son q2 y q3.
c. Si es posible minimizarlos y el autómata Correcto
resultante tendrá tres estados
d. El estado final q1 es equivalente con el
inicial. (teorema de equivalencia de estados).
Por tanto el autómata es candidato a
minimizarse.
Question13
Puntos: 1
Dentro de la jerarquía y clasificación de los lenguajes (Chomsky) identifique que asociaciones
están erradas.

a. Los lenguajes que no poseen
restricciones o de tipo 0, son reconocidos
mediante Autómatas Finitos No
Deterministas (AFND)
b. Una gramática regular o de tipo 3, puede Correcto: esta afirmación es errada ya
generar Autómatas finitos (AF) que las gramáticas generan lenguajes.
Las máquinas o autómatas reconocen
es lenguajes.
c. Los lenguajes regulares pueden ser Esta afirmación es verdadera. Un
pueden ser descritos mediante expresiones lenguaje puede ser descrito mediante
regulares (ER) una expresión regular (expresar de
forma compacta cómo son todas las
cadenas de símbolos que le
pertenecen).
d. Los lenguajes libres de contexto o de tipo Correcto: esta afirmación es errada ya
2, pueden ser generados por los autómatas que un lenguaje es descrito por una
de pila (AP) máquina y no generado por la máquina.
Question14
Puntos: 1
Dados los siguientes dos autómatas finitos, identifique los aspectos válidos en cuanto a su
comportamiento.
a. Los autómatas reconocen cadenas o palabras

diferentes.
b. La cadena {bb} solo es reconocida por un
autómata.
c. Corresponde a un proceso de conversión o Correcto: El primer autómata es un
transformación de un AFND a un AFD. Ambos AFND y el segundo es el resultado
autómatas reconocen el mismo lenguaje de un proceso de conversión a
AFD
d. Los dos autómatas son producto de una
gramática libre de contexto GLC
Correcto
Question15
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:

a. Al clasificar lenguajes, no se están clasificando
máquinas que los reconozcan, Se clasifican gramáticas
que los generan.
b. Según la clasificación de lenguajes definida por Correcto
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. Los lenguajes son en sí conjuntos de secuencias de Correcto
símbolos y las clases de lenguajes son conjuntos de
conjuntos de secuencias de símbolos.
d. Se llama “clase de lenguajes” a conjuntos de Correcto
lenguajes que comparten cierta propiedad dada.
Correcto
1
Puntos: 1
Algunas operaciones y propiedades sobre lenguajes y ER que se pueden realizar son:
a. El orden de prioridad de los operadores es, Correcto

de mayor a menor: *, ∙, + Este orden puede
alterarse mediante paréntesis, de forma
análoga a como se hace con las expresiones
aritméticas.
b. (B U C) ∙ A = (B ∙ A) U (C ∙ A)
c. La concatenación de lenguajes sobre un Correcto. Es parte de las propiedades

alfabeto es una operación cerrada, y tiene un de los lenguajes
elemento neutro que es el lenguaje
{lambda}.
d. A ∙ (B U C) = (A ∙ B) U (A ∙ C)
Question2
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 fpor la tabla siguiente:
Indique cuál es lenguaje generado por el autómata:
a. 1*(1)
b. 1(01) *
c. 0(010)* Incorrecto: Las cadenas inician con 1. Por

consiguiente la ER no es válida.
d. 1( 1) (0)*
Incorrecto
Question3
Puntos: 1
Dado el siguiente Autómata Finito (AF).
La Expresión Regular (ER) que denota el Lenguaje que representa es.
a. xx*zx((zx+x*z)x)*
b. xz(xz)*((x*+xx*z)x)* Incorrecto: La ER no
expresa as cadenas
válidas que acepta el
autómata.
c. xxzx((zx)*z)*
d. xx*zx((z+xx*z)x)*
Incorrecto
Question4
Puntos: 1
Que representa la siguiente figura:
a. Que representa la siguiente figura:
b. Un Autómata que acepta palabras

o cadenas que contienen únicamente
b´s o a´s
c. Un Autómata de tipo AFND válido. Correcto: Es un Autómata Finito No
Determinístico (AFND) válido. Es una
extensión válida de un AFD. Permite que de
cada nodo del diagrama de estados salga un
número de flechas mayor o menor que |∑|
d. No representa un autómata válido
por que el mismo estado inicial es el
mismo estado final.
Correcto
Question5
Puntos: 1
Dado los siguientes dos autómatas A y B, analice los enunciados dados e identifique cuales son
verdaderos.
a. Solo el Autómata A reconoce la cadena vacía

lambda
b. El Autómata A es un AFND y el Autómata B
es un AFD
c. El Autómata B tiene un error de diseño. Un Incorrecto
AF no puede tener dos estados de
aceptación
d. Los dos Autómatas reconocen el mismo Correcto: Ambos autómatas
Lenguaje. reconocen el mismo lenguaje,
Question6
Puntos: 1
Dado los autómatas M1 y M2 siguientes, cuáles relaciones entre estas dos máquinas son
válidas.
a. Los Autómatas M1 y M2 aceptan ambos Correcto: La equivalencia se da por la

el lenguaje a * aceptación de lenguajes. Ambos aceptan
el lenguaje a * y aceptan exactamente el
mismo lenguaje
b. Los Autómatas M1 y M2 no son
equivalentes porque ambos rechazan el
lenguaje b*. La equivalencia se da en la
aceptación de lenguajes.
c. Los Autómatas M 1 y M2 son Correcto: La equivalencia se da por la
equivalentes: M1 ≈ M2 , por que aceptan aceptación de lenguajes. Ambos aceptan
exactamente el mismo lenguaje el lenguaje a * y aceptan exactamente el
mismo lenguaje
d. Los Autómatas M1 y M2 son iguales
pero no equivalentes
Correcto
Question7
Puntos: 1
Para el siguiente Autómata Finito denotado como: A2= (E. Q, f, q1, F) donde E = {0,1}, F =
{q2} y Q = {q1, q2, q3, q4}, identifique correctamente el Lenguaje que genera y la expresión
regular:
a. L = (A2 ) = {0, 001, 00100, …} = {

1(01)n |n ≠ 0} La expresión regular es:
0(01) *
b. L = (A2 ) = {0, 001, 01111, …} = {
1(10)n |n ≤ 0} La expresión regular es:
0(01) *
c. L = (A2 ) = {0, 111, 11100, …} = {
1(10)n |n = 0} La expresión regular es:
1(01)+
d. L = (A 2) = {1, 101, 10101, …} = { Correcto: El lenguaje generado se obtiene
1(01)n |n ≥ 0} La expresión regular es: partiendo del estado inicial y recorriendo
1(01) * todos los caminos posibles para alcanzar el
estado final
Correcto
Question8
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
a. Las transiciones lambda solo son aceptadas

en la descripción de las gramáticas.
b. Un autómata finito con transiciones lambda es Correcto: Las cadenas vacías
un autómata no determinista. lambda son aceptadas y suelen
presentarse en AFND.
c. Siempre existe un autómata finito determinista
que reconoce un lenguaje reconocido por un
autómata finito no determinista.
d. No existe un autómata finito sin transiciones Incorrecto: Si es posible este tipo de
(lambda) que reconozca L. autómatas.
Question9
Puntos: 1
Cuáles afirmaciones son válidas cuando se trata de analizar el funcionamiento de los
Autómatas Finitos (AF):
a. Los AF son máquinas de memoria Correcto: Los estados son el único

limitada. medio de que disponen los AF para
recordar los eventos que ocurren
(por ejemplo, qué caracteres se han
leído hasta el momento); esto quiere
decir que son máquinas de memoria
limitada.
b. En una máquina de estados finitos, la función
de transición almacena los datos de entrada del
Autómata.
c. Los AF son máquinas de memoria amplia por
ser máquinas abstractas (no reales).
d. Los estados son el único medio de que Correcto: Los estados son el único
disponen los AF para recordar los eventos que medio de que disponen los AF para
ocurren (por ejemplo que caracteres se han recordar los eventos que ocurren
leído hasta el momento). (por ejemplo, qué caracteres se han
limitada.
Correcto
Question10
Puntos: 1
Se diseña el siguiente Autómata Finito Deterministico (AFD) para el lenguaje de palabras del
alfabeto {a,b} que no tiene varias a´s seguidas. Esta solución es defectuosa porque.
a. Tiene dos finales o de aceptación Incorrecto: No influye la ´parte de diseño el

q1 y q2 hecho de los dos estados de aceptación. El
error se fundamenta es por la función de
transición.
b. Hay palabras como “ba”, que no Correcto: El "problema de diseño" de un AFD
tienen a´s seguidas y sin embargo no es considerar demasiadas posibilidades. El
son aceptadas por el AFD. hecho que tenga dos estados finales o de
aceptación no es problema y es válido en el
diseño. La palabra "baba" No es aceptada por
el autómata aunque sus elementos o
símbolos si hacen parte del alfabeto que las
compone.
c. Hay palabras como “baa”, que tiene
a´s seguidas y sin embargo son
aceptadas por el AFD.
d. Hay palabras como “baba” que no
tienen a´s seguidas y sin embargo son
aceptadas por el AFD pero que no
pertenecen al alfabeto dado.
AUTOMATAS Y LENGUAJES FORMALES CURSO COMPLETO
1
Puntos: 1
Luego de graduarse en matemáticas puras a sus 16 años en 1928, Turing descubrió los
trabajos de Albert Einstein. Luego en 1933 inicia sus estudios e los “principios lógicos
matemáticos” apoyado de:
a. Godfrey y Church Incorrecto: Recibió las enseñanzas de

Godfrey Harold Hardy, un respetado
matemático que lo encaminó al
estudio de las ciencias exactas.
b. Godel
c. Bertrand Russell
d. Neumann
Biografía de Alan Turing
Incorrecto
Question2
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).
a. Procedimientos para evaluar decisiones lógicas de

una máquina.
b. Prueba de error que determina cuando un problema
tiene solución o no.
c. “Método” para determinar si una máquina puede Correcto: El Test de Turing
pensar. nace como un método para
determinar si una máquina
puede pensar.
d. Método para evaluar el rendimiento y capacidad de
una maquia. “Poder de procesamiento”
Correcto
Question3
Puntos: 1
Grandes fueron sus aportes a la ciencia y la matemática y en muchas áreas de cocimiento
ahondó. Pero el principal interrogante por el que se conoce Alan Turing fue:
a. El hecho de que: debe existir al menos en

principio algún método definido, o proceso
mediante el cual toda cuestión matemática
pueda ser demostrada?
b. La demostración de toda cuestión
matemática no debe obedecer a la lógica
fundamental y no necesariamente debe
comprobarse para que un problema tenga
solución.
c. El hecho de que: debe existir al menos y en Incorrecto: era el hecho de que: debe
principio una solución única para cualquier existir al menos en principio algún
problema matemático. método definido, o proceso mediante
el cual toda cuestión matemática
pueda ser demostrada?
d. Un problema matemático tiene “finitas
soluciones”. Si son infinitas es porque el
problema puede ser insoluble.
Incorrecto
Question4
Puntos: 1
Turing 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:
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. Al ver el horror de la segunda erra

mundial en la que participó como agente
encubierto descifrando códigos e
interceptando comunicaciones del ejército
Alemán.
c. Dada la muerte de Christopher Morcom, Correcto: Morcom murió muy joven de
quién fue el primer amor. Morcom murió tuberculosis bovina al beber leche
repentinamente el 13 de febrero de 1930 contaminada. Él fue quien a motivación
. para seguir con sus estudios, y entra en un
vital periodo de riqueza intelectual.
d. En 1928, con dieciséis años, al descubrir
e interpretar los trabajos de Albert
Einstein
Correcto
Question5
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:
a. Definir los conceptos modernos de lógica
b. Determinar las teorías de números ordinales y Incorrecto

de algoritmos.
c. Establecer las nociones de lo que hoy se
conoce como la “Máquina de Turing”
d. Establecer los principios de la criptografía.
Incorrecto
Question6
Puntos: 1
Para comprender y empezar a dar respuesta al Entscheidungsproblem (en castellano: problema
de decisión), Alan Turing analizó aspectos como:
a. Abordando la definición del concepto "método",

y para ello analizó que era lo que hacía una
persona para transformar un proceso metódico, y
buscar una forma de hacer esto
mecánicamente
b. Asoció el proceso de forma mecánica en la que
se podían transformar operaciones elementales
previamente definidas en símbolos y estos
posteriormente escribirlos en una cinta
c. Asoció el problema llevándolo a definir un Parcialmente correcto: En Agosto de
conjunto de instrucciones de forma metódica para 1936 presenta el concepto final de la
ser ejecutadas de manera mecánica. Es decir Maquina de Turing, y se convierte en
abordó el concepto de “Máquina de Turing” en la el fundamento de las teorías
que hay un conjunto de posibilidades infinitas en la modernas para la programación de
que cada una se corresponde a un “método claro y máquinas electrónicas. Su trabajo
definido” o a un “algoritmo”. aporta un concepto práctico de gran
significancia: la idea de la Maquina
de Turing Universal. El concepto de
"LA MAQUINA DE TURING" se
conoce también como "LA
FORMULA" o "LA ECUACIÓN"
d. Alan Turing lo que realmente analizó y logró
definir fue un algoritmo.
Biografía de Ala Turing
1
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”:
a. { α1 , α2 ,..... α n } Es un ejemplo de
alfabeto
b. Los símbolos pueden ser nombres. Correcto: Lenguaje Formal: Un alfabeto es
Los alfabetos son finitos. 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
c. Por símbolo, se está haciendo Incorrecto: Por símbolo no se está haciendo
referencia a un solo carácter. referencia a un sólo carácter. Los símbolos
pueden ser nombres
d. 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}.
Question2
Puntos: 1
La minimización de Autómatas, es un ejercicio común en Automatización. Identifique su
concepto básico y aplicabilidad:
a. La minimización se aplica a los AFD y Correcto: La minimización se basa en el

consiste en obtener un AFD equivalente a tratamiento de estados "obtener el menor
uno dado que tenga el menor número de número de ellos" de forma equivalente.
estados posibles.
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
Question3
Puntos: 1
Acerca de los autómatas finitos no deterministas (AFND), cuáles apreciaciones son verdaderas
cuando se analiza su comportamiento para aceptar lenguajes:
a. Un autómata finito no determinista Correcto: Corresponde a la condición de

(AFND) se puede convertir a un AFD y solo determinismo.
será válido si aceptan el mismo
lenguaje.
b. Un autómata finito no determinista
(AFND) acepta una cadena cuando es
posible que su análisis deje a la máquina
en un estado de aceptación.
c. Un autómata finito no determinista
(AFND) solo puede utilizarse para aceptar
lenguajes finitos.
d. Nunca se puede afirmar con seguridad
que un autómata finito no determinista
(AFND) acepta una cadena.
Question4
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
a. {ab, aab, aab, a, aa,bb}
b. {a, b, ab, ba, aab, bba, aaab}
c. {ab, aab, aaab, abbb, abb, Correcto: El Lenguaje que se describe es

aa,bb} 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}
d. {ba, ab, b, a}
Correcto
Question5
Puntos: 1
Del tratado y temática de Autómatas, los principales objetivos de las ciencias de la computación
es:

a. La solución de problemas por medio
de un computador.
b. Proporcionar mecanismos para
analizar algoritmos, construir y
expresar programas
c. Reducir problemas en otros más
pequeños.
d. Traducir lenguajes de máquina a Incorrecto: estas son tareas de máquina que
programas escritos en lenguajes de surgen del análisis formulación de tratados como
alto nivel. los de los algoritmos
Incorrecto
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.
a. El conjunto finito de estados.
b. El estado inicial.
c. El alfabeto de entrada
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
1
Puntos: 1
Analice el siguiente Autómata y determine cuáles apreciaciones son válidas en su análisis:
a. La función de transición define para cada Incorrecto

posible combinación (0,1) un estado nuevo.
b. 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.
c. 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.
d. Es un autómata determinístico (AFD), con un Incorrecto. Es un AFND
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.
Incorrecto
Question2
Puntos: 1
Cuáles afirmaciones son válidas cuando se trata de analizar el funcionamiento de los
Autómatas Finitos (AF):
a. En una máquina de estados finitos, la función

de transición almacena los datos de entrada del
Autómata.
b. Los AF son máquinas de memoria Correcto: Los estados son el único
limitada. medio de que disponen los AF para
recordar los eventos que ocurren
(por ejemplo, qué caracteres se han
limitada.
c. Los estados son el único medio de que Correcto: Los estados son el único
disponen los AF para recordar los eventos que medio de que disponen los AF para
ocurren (por ejemplo que caracteres se han recordar los eventos que ocurren
leído hasta el momento). (por ejemplo, qué caracteres se han
limitada.
d. Los AF son máquinas de memoria amplia por
ser máquinas abstractas (no reales).
Correcto
Question3
Puntos: 1
Dado el siguiente “Autómata Finito” cuyo diagrama de transición corresponde al de la siguiente
figura, determine cual afirmación es válida cuando se analiza la ejecución del autómata.
a. El conjunto de cadenas que es capaz

de reconocer este autómata es. {Ø, Øb,
bb, bbb, bbbb, …}
b. El conjunto de cadenas que es capaz Incorrecto: “bbbb” no es aceptada, ni
de reconocer este autómata es. {b, bb, tampoco el símbolo vacío.
bbb, bbbb, …}
c. El conjunto de cadenas que es capaz
de reconocer este autómata es {b, bb,
bbb}
d. El conjunto de cadenas que es capaz
de reconocer este autómata es. {b}
Incorrecto
Question4
Puntos: 1
Una cadena válida para el Autómata siguiente es:
a. xxxxzxzxzxzx
b. xzzxzxzx Incorrecto: Al recorrer la

cadena no llega al estado final
o halt
c. xxxzxx
d. xzxxxxzxzzx
Incorrecto
Question5
Puntos: 1
Dado el siguiente autómata, las apreciaciones verdaderas en expresiones regulares (ER) y
cadenas aceptadas son:
a. (x + y)*(x+y) acepta la cadena {xy}. Correcto: Se parte que la ER de la

izquierda para todas las opciones
es válida y expresa el lenguaje que
representa el autómata. Acepta la
cadena xy y rechaza la cadena
vacía.
b. (x + y)*(x+y) rechaza la cadena vacía Correcto: Rechaza la cadena
vacía.
c. (x + y)*(x+y) acepta la cadena vacía y el
autómata es determinista
d. (x + y)*(x+y) es igual a (x* x U y y*) Incorrecto: Esta asociación no es
válida para la ER que representa el
autómata.
Correcto
Question6
Puntos: 1
Dado el Autómata con la siguiente tabla de transición, identifique las cadenas que son válidas
para el lenguaje que acepta
a. Es un AFND y acepta cualquier cadena

que inicie con cero (0)
b. Solo acepta cadenas vacías Incorrecto: Es un AND de landa
(lambda). transiciones. Aceptará las 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
mismos), Ej 012, 12 pero nunca 210, 20
entre otros.
c. {101, 210, 20,110, 200}
d. {22, 0,1,001122, 12, 012, 022}

Incorrecto
Question7
Puntos: 1
La expresión regular que se asocia la siguiente autómata es:
a. r = (1)* + (0) + lambda
b. r = (10 + 0) * Correcto: Las cadenas que tengan varios

unos consecutivos son rechazadas
c. r = (10) * + 1*
d. r = (1 + 0) + 1*
Correcto
Question8
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
a. Un autómata finito con transiciones lambda es Correcto: Las cadenas vacías

un autómata no determinista. lambda son aceptadas y suelen
presentarse en AFND.
b. Las transiciones lambda solo son aceptadas
en la descripción de las gramáticas.
c. Siempre existe un autómata finito determinista
que reconoce un lenguaje reconocido por un
autómata finito no determinista.
d. No existe un autómata finito sin transiciones
(lambda) que reconozca L.
Question9
Puntos: 1
Teniendo en cuenta las clases de lenguajes propuestos por la jerarquía de Chomsky, es común
o aplica afirmar:
a. Los “Lenguajes Regulares” es la jerarquía

más alta y compleja. Un ejemplo de lenguaje
regular es el conjunto de todos los números
binarios.
b. La mayoría de los lenguajes de Correcto: Los lenguajes libres de contexto
programación son “Lenguajes Libres de incluyen a los lenguajes regulares. Los
Contexto”. lenguajes regulares son la clase más
pequeña dentro de la jerarquía de
Chomsky. Los lenguajes recursivamente
enumerables incluyen a los lenguajes
libres de contexto.
c. Los “Lenguajes Libres de Contexto” no
incluyen a los “Lenguajes regulares”.
d. Los “Lenguajes Recursivamente
Enumerables” solo incluye a los “Lenguajes
Regulares”.
Correcto
Question10
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 ∑
a. ∑ (potencia +) = Incorrecto: Conjunto de todas las cadenas excepto la vacía

Conjunto de todas las
cadenas positivas excepto
la vacía
b. ∑ (potencia 0) = {lambda} Correcto: La longitud de una cadena ω que se denota
Conjunto cuyo único como |ω| es el número de letras que aparecen en ω. A la
elemento es la palabra cadena que no tiene símbolos o que es lo mismo decir que
vacía. 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.
c. ∑ (potencia 0) = Conjunto
de todas las cadenas sobre
el alfabeto ∑ excepto la
vacía.
d. ∑ *= Conjunto de todas Correcto: La longitud de una cadena ω que se denota
las cadenas de cualquier como |ω| es el número de letras que aparecen en ω. A la
longitud sobre ∑ cadena que no 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
1
Puntos: 1
Dentro de la jerarquía y clasificación de los lenguajes (Chomsky) identifique que asociaciones
están erradas.
a. Una gramática regular o de tipo 3, puede

generar Autómatas finitos (AF)
b. Los lenguajes que no poseen Correcto: esta afirmación está errada.
restricciones o de tipo 0, son reconocidos Los lenguajes que no poseen
mediante Autómatas Finitos No restricciones o de tipo 0, son
Deterministas (AFND) reconocidos mediante Máquinas de
Turing (MT)
c. Los lenguajes libres de contexto o de tipo
2, pueden ser generados por los autómatas
de pila (AP)
d. Los lenguajes regulares pueden ser Esta afirmación es verdadera. Un
pueden ser descritos mediante expresiones lenguaje puede ser descrito mediante
regulares (ER) una expresión regular (expresar de
forma compacta cómo son todas las
cadenas de símbolos que le
pertenecen).
Question2
Puntos: 1
Las condiciones mínimas para poder describir un Autómata Finito Determinístico (DFA) son:
a. Identificando el estado inicial y los estados Correcto: Un autómata puede

finales. describirse dando la lista de sus
estados, el alfabeto, el estado inicial,
los estados finales, y la función
transición.
b. Identificando el alfabeto. Correcto: Un autómata puede
describirse dando el alfabeto.
c. Identificando la función de transición. Correcto: Un autómata puede
describirse dando la lista de sus
transición.
d. Dando la lista de sus estados. Correcto: Un autómata puede
describirse dando la lista de sus
transición. Esta función se puede
describir usando notación usual para
definir funciones o usando una
matriz, con una fila por cada estado y
una columna por cada símbolo del
alfabeto. Todas las condiciones son
necesarias para describir el
autómata.
Correcto
Question3
Puntos: 1
Las siguientes cadenas:
{Lambda,aaa, bb, bbb, aabb, aba, abaaa, abbaa}
son generadas expresadas por la ER
a. (a + b ) *
b. (a.b)*
c. (a,b)* Incorrecto
d. ( a | b)*
Incorrecto
Question4
Puntos: 1
Para el siguiente autómata, identifique cuál es la Expresión Regular (ER) que mejor lo
representa:
a. (ab+ba) + a
b. (ab + aba)* Correcto: Aceptará cadenas que

empiecen por una a seguida de una b
incluyendo la cadena vacía.
c. a +(ab)*
d. ab +(ab)*
Correcto
Question5
Puntos: 1
Dado el siguiente autómata, analice sus características verdaderas en comportamiento, diseño
y lenguajes de aceptación:
a. Es Regular y cualquier cadena Incorrecto: Es regular pero las cadenas no

contiene al menos un cero. poseen esas características.
b. Es un autómata finito determinista
(AFD).
c. Es Regular e independiente del
contexto por lo que contiene más de un
estado Halt.
d. Es Regular.
Incorrecto
Question6
Puntos: 1
Este lenguaje:
L (G) = {a (potencia n) b (potencia n) / n>=1}
Es generado por la gramática:
a. S ---> ab| Sab Incorrecto
b. S ---> aSb | ab
c. S ---> Sab | aSb
d. S ---> Sa| Sb
Incorrecto
Question7
Puntos: 1
Dado los siguientes dos autómatas: determine cuáles afirmaciones son válida
a. El autómata A es un AFD pero no Correcto: Ambos autómatas son AFD y

reconoce el mismo lenguaje que el o reconocen el mismo lenguaje
autómata B
b. Ambos son AFD y reconocen el mismo
lenguaje
c. El autómata B es un AFD pero no Correcto: Ambos autómatas son AFD y
reconoce el mismo lenguaje que el o reconocen el mismo lenguaje.
autómata A
d. El autómata B es un AFND (además Incorrecto: Ambos autómatas son AFD
posee dos estados de aceptación) y su ER y o reconocen el mismo lenguaje.
es la misma que la del autómata A.
Correcto
Question8
Puntos: 1
Dada la siguiente gramática con las siguientes producciones,
S --> ab
S ---> aSb
que derivaciones son válidas al usar sus reglas:
a. Bbaa
b. aabb Correcto
c. ab
d. Ba
Question9
Puntos: 1
Analice e identifique cuáles afirmaciones son válidas con referencia al diseño del siguiente
autómata:
a. Es un autómata AFND que acepta el lenguaje

(ab)* U (aba)* U a*b*
b. Es un autómata finito no determinista que
acepta la cadena {ababaab}
c. Es un AFND que acepta el lenguaje (ab U Correcto
aba)*
d. Es una autómata AFND cuya ER es:
(ababa)*
Correcto
Question10
Puntos: 1
Dado el siguiente autómata: Cambie los símbolos del alfabeto asociando a = 0 y b =1 . Para las
siguientes opciones,(que están en base 10 o decimal), conviértalas a base 2 (binario) y recorra
el autómata e identifique cuál número acepta el autómata.
a. 205
b. 182 Correcto: equivale a recorrer la cadena 10110110 (cadenas que

terminen en cero “0” o en la asociación del autómata que
terminen en “a”)
c. 253
d. 73
Correcto
Question11
Puntos: 1
Para el siguiente Autómata, asocie la expresión regular que lo identifica:
a. (0+1+0*)
b. (10 + 0)
c. (10 + 0)* 10
d. (10 + 0)* Correcto: La ER tiene en cuenta las

transiciones vacías. Se tiene en cuenta
la precedencia y jerarquía de símbolos.
Correcto
Question12
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
a. El lenguaje reconocido por el autómata Correcto: Es un AFND. El lenguaje que

es: a (b*b | a*b) a* reconoce es : a (b*b | a*b) a* o también a
b. Es un Autómata Finito Determinístico
(AFD)
c. El lenguaje reconocido por el autómata Correcto: Es un AFND. El lenguaje que
es: a (b* | a* ) ba* reconoce es : a (b*b | a*b) a* o también a
d. Es un Autómata Finito Determinístico con
lambda transiciones
Correcto
Question13
Puntos: 1
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.
a. Los símbolos de un alfabeto, definen el

tipo de lenguaje a que pertenece.
b. Los palíndromos son una excepción de los Incorrecto: Los palíndromos tienen
lenguajes regulares y no hacen parte de la regularidades. Son lenguajes de tipo 3
jerarquía de Chomsky
c. Existe un lenguaje denominado el lenguaje Correcto
vacío que es un conjunto vacío y se denota
por {Ø}. El lenguaje vacío no debe
confundirse con un lenguaje que contenga
una sola cadena.
d. ω = lambda ó cadena vacía y ω = 0 ; Son
palíndromos
Question14
Puntos: 1
Dado el siguiente autómata Finito, es válido afirmar:
a. La Er que lo representa es: (ab*a)*
b. La ER que lo representa: (b+ab*a)*ab* Correcto
c. La ER que lo representa es: (b+ab*a)*
d. La ER que lo representa es: (b*ab*a)*b*ab*

Question15
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}

a. Operación cerrada de dos lenguajes
b. Concatenación de lenguajes Correcto: La concatenación de ambos

lenguajes estará formada por todas las
palabras obtenidas al concatenar una
palabra cualquiera de L1 con otra de
L2.
c. Unión de lenguajes
d. Asociación de lenguajes
Correcto
1
Puntos: 1
Dado el alfabeto ∑= {a,b}, identifique cuál afirmación es falsa.
a. La expresión regular b*a*b* representa al

lenguaje de las cadenas que pueden o no
tener “a”
b. La expresión regular b*(ab*ab*)*
un número par de letras a
c. La expresión regular b*ab* (ab*ab*)*
un número impar de letras a
d. La expresión regular (b*ab*ab*a) * Esta afirmación (ER) es errada para
representa al lenguaje de las cadenas con las cadenas que dice generar.
un número múltiplo de 3 de letras “a”
Correcto
Question2
Puntos: 1
Dada la Gramática S→aS; S→aSbS; S→lambda .
Indique cuáles de las siguientes afirmaciones no corresponden al desarrollo de la misma o al

tipo de cadenas o palabras ω que pueda generar.

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 ω
es toda cadena no vacía x para la
que existe una cadena u tal que
ω=xu
b. Cualquier cadena ω generada Correcto: Correcto: Las cadenas ω van a empezar
por la gramática contiene una por a. El lenguaje generado por la gramática es
subcadena no vacía donde estructurado por frases. Solo algunas cadenas
algunas veces el número de letras generadas contiene igual número de a´s que de b´s.
a es igual al número de letras
b.
c. Las cadenas que acepta la
gramática siempre van a empezar
por b. Además el lenguaje
generado por la gramática es “no
es estructurado por frases”.
d. Las cadenas ω que acepta la Correcto: Correcto: Las cadenas ω van a empezar
gramática siempre van a empezar por a. El lenguaje generado por la gramática es
por a. Además el lenguaje estructurado por frases. Solo algunas cadenas
generado por la gramática es generadas contiene igual número de a´s que de b´s.
Las gramáticas cuyas reglas son de la forma A ---> aB o bien A ---> a, donde A y B son
variables, y a es un caracter terminal. A estas gramáticas se les llama regulares.
Correcto
Question3
Puntos: 1
Con referencia las gramáticas de Tipo 2, que aspectos válidos hacen referencia a la forma de
generar lenguajes de tipo 2 y su comportamiento y descripción:
a. Los autómatas de pila aceptan exactamente los Correcto

LLC (Lenguajes Libres de Contexto).
b. Si M es un AP, entonces L(M) es un LLC Correcto
c. Si L es un LLC, entonces hay un AP M tal que Correcto

L(M) = L
d. aa Dado que hay un carácter de lectura y uno de
escritura  Las producciones son de la forma: A -
Correcto
Question4
Puntos: 1
En una Gramática Regular, un componente de la Cuadrupla que la compone, es el Alfabeto.
Este esta caracterizado como:
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
Question5
Puntos: 1
Que aspectos son válidos cuando se analiza el funcionamiento de los autómatas de pila (AP).
a. Los APND y los APD no aceptan los mismos

lenguajes.
b. Los autómatas de pilas no tienen metodología tan
generalmente aplicable, solo se debe tener una
estrategia clara para el manejo de la pila.
c. Para verificar el funcionamiento del autómata, Correcto
podemos simular su ejecución listando las
situaciones sucesivas en que se encuentran
mediante una tabla que llamaremos traza de
ejecución.
d. Cuando desarrollamos un autómata de pilas Correcto
tenemos que repetir lo que quiere ser recordado
entre los estados y las pilas.
Question6
Puntos: 1
Para u AP, la función de transición también se puede representar mediante un diagrama donde
los nodos representan los estados y los arcos transiciones, Dada la siguiente transición como
se muestra en la figura, identifique las acciones correctas que haría el movimiento de la pila.
a. El estado actual es q0. La cabeza lectora

apunta al símbolo “lambda”. El recorrido de
la pila es de izquierda a derecha. El tope de
la pila es X que no se modifica al cambiar al
nuevo estado q1 y avanzar la cabeza
lectora.
b. El estado actual es q0. La cabeza lectora
apunta al símbolo “a”. El tope de la pila es
“a” como primer símbolo a leer que se va a
sustituir por lambda al cambiar al nuevo
estado q1 y avanzar la cabeza lectora.
c. El estado actual es q0. La cabeza lectora Correcto
apunta al símbolo “a”. El tope de la pila es X
que se va a sustituir por lambda al cambiar
al nuevo estado q1 y avanzar la cabeza
lectora.
d. El estado actual es q0. La cabeza lectora
apunta al tope X que es donde inicia la
lectura del símbolo “a” que entra al pasar al
estado q1 y sustituir lambda por X.
Correcto
1
Puntos: 1
Del diseño y naturaleza de los autómatas de pila (PDA), es válido afirmar:

a. A la hora de diseñar un AP tenemos que Respuesta Correcta: Aunque en el caso
repartir lo que requiere ser “recordado” entre de los AP no hay metodologías tan
los estados y la pila. Distintos diseños para generalmente aplicables como era el
un mismo problema pueden tomar decisiones caso de los autómatas finitos, siguen
diferentes en cuanto a que recuerda cada siendo válidas las ideas básicas del
cual diseño sistemático, en particular
establecer claramente qué es lo que
“recuerda” cada estado del AP antes de
ponerse a trazar transiciones a diestra y
siniestra.
b. Un Autómata de Pila al igual que una
Máquina de Turing o un Autómata Finito, su
definición básica es de naturaleza no
determinista
c. Un autómata de pila no puede hacer las
funciones de "contador" ya que sus
recorridos varían en la cinta y lo que le
importa a esta automatización es el estado
final y la salida del dato.
d. Para poder simular un autómata de Pila se
debe tener en cuenta: Las columnas de una
traza de ejecución para un AP son: el estado
en que se encuentra el autómata, lo que ha
leido hasta el momento o estado actual al
inicio de la simulación, y el contenido de la
memoria al final del recorrido.
en cuanto a que recuerda cada cual.
Correcto
Question2
Puntos: 1
Para que una palabra de entrada sea aceptada en un AP se deben cumplir las condiciones
siguientes:
a. La palabra de entrada se debe haber Correcto; para que una palabra de

agotado (consumido totalmente). entrada sea aceptada en un AP se
b. El AP se debe encontrar en un estado Correcto: para que una palabra de
final. entrada sea aceptada en un AP se
c. La pila debe estar vacía. Correcto: la pila debe estar vacía.
d. La pila debe tener lambda como elemento

final.
en cuanto a qué recuerda cada cual.
Correcto
Question3
Puntos: 1
Los errores más comunes al diseñar gramáticas (GLC) son:
a. Que “sobren palabras” Correcto: esto es, que la gramática

genere algunas palabras que no
debería
generar. En este caso, la gramática

seria incorrecta.
b. Que “falten palabras”, 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. Reutilizar gramáticas y modificarlas para Incorrecto: Es posible hacerlo pero no

ajustarlas al lenguaje generado son errores comunes
d. Combinar gramáticas
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
Question4
Puntos: 1
Identifique los aspectos que se deben tener para garantizar el determinismo en un Autómata de
pila finito determinista (AFPD).
Tenga en cuenta además de los componentes (tupla) de la pila que::
f: es la función de transición:
e: es una transición dada espontanea.
a. El determinismo se da cuando no hay alternativas de

movimiento para el mismo estado, usando la misma
entrada y el mismo símbolo de pila.
b. Las transiciones lambda en un AFPD permiten que el Correcto
autómata cambie el contenido de la pila, sin procesar (o
consumir) símbolos sobre la cinta de entrada.
c. La definición de la función de transición (f) requiere Correcto
que haya por lo menos un símbolo en la pila. No se
permiten operaciones con la pila vacía.
d. Las operaciones: f(q,a,s)y f(q,e,s) con a ∑ ,, q Q y s
(pertenecen) al alfabeto de la pila y no pueden estar
simultáneamente definidos o declarados.
Question5
Puntos: 1
Los AP tienen ciertos comportamientos y asociaciones con los AF.
Seleccione las afirmaciones válidas:
a. Si se quiere meter cadenas a una pila, puede

hacerse con una operación tipo “pop”
b. Los autómatas de pila aceptan exactamente Correcto: Si L es un LLC, entonces
los LLC. Por lo que: Si M es un AP, entonces hay un AP M tal que L(M) = L
L(M) es un LLC
c. Los AP son una extensión de los AF Correcto
d. Los AP son una extensión de los AF Correcto
Correcto
Question6
Puntos: 1
Cuando las gramáticas son demasiado extensas y generan árboles de derivación grandes, se
suele usar:
a. Formas de Greibach
b. Formas de LIC
c. Producciones de tipo GIC con un solo nodo

terminal
d. Formas canónicas que restrinjan los tipos de Correcto
producciones que pueden utilizarse.
La definición de una gramática independiente del contexto es demasiado amplia, y por lo tanto,
es deseable establecer una forma canónica que restrinja los tipos de producciones que pueden
utilizarse.
Correcto
Question7
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?
a. Sí, siempre.
b. Si, si M es un autómata finito.
c. No todas las veces, dado que puede tratarse de un Correcto

autómata no determinista.
d. Nunca, Queda en un bucle ya que solo recorre un
símbolo.
Correcto
Question8
Puntos: 1
Indique cuál de las siguientes afirmaciones es verdadera:

a. Cuando se dice que un AFPD Correcto:
(autómata de pila determinista) es más
sencillo , se refiere a que es menos
potente y no se refiere ala sencillez de
su diseño.
b. Para reconocer un lenguaje regular
mediante un autómata de pila el
alfabeto de la pila debe contener al
menos un símbolo
c. 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
contenga ningún símbolo son independientes del contexto.
d. Con un autómata de pila no puede
reconocerse un lenguaje regular
Correcto
Question9
Puntos: 1
En un autómata de pila (AP), la función de transición aplica o interviene a:
a. A cada símbolo topo de la pila Correcto
b. A cada estado Correcto
c. A cada movimiento de la pila
d. A cada símbolo de entrada (Incluyendo la Correcto

cadena vacía)
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.
Question10
Puntos: 1
Acerca del funcionamiento de un Autómata de Pila, cuál de las siguientes operaciones o
comportamientosNO las hace este autómata.

a. En la Pila una transición de un estado a Correcto: Esta afirmación es falsa ya
otro Arroja la información de lo que sale de que en los AP las transiciones de un
la pila (tope), no de lo que entra ya que el estado a otro indican, además de los
avance es progresivo hacia adelante y no caracteres que se consumen de la
hacia atrás. entrada, también lo que se saca del tope
de la pila, así como también lo que se
mete a la pila.
b. La pila no tiene límite en sus extremos. A
diferencia de las MT que son cerradas por
la izquierda.
c. Al igual que los AF, los AP tienen
estados finales, que permiten distinguir
cuando una palabra de entrada es
aceptada
d. Una de las condiciones para que una
palabra de entrada sea aceptada en un AP
la pila debe estar vacía.
Para verificar el funcionamiento del autómata, podemos simular su ejecución, listando las
situaciones sucesivas en que se encuentra, mediante 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
Correcto
1
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):
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
Question2
Puntos: 1
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
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}
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
Question3
Puntos: 1
Dada la siguiente gramática G= (VN= {S, A}, VT= {0,1}, S, P) donde P son las producciones:
a. S –> 0A –> 0A –> 00A –>

000
b. S –> 0A –> 00A –> 001S –> Correcto: Ambas producciones aplican a la
0010 A –> 00100 gramática con cadenas válidas como 0100 y
00100
c. S –> 0A –> 01S –> 010 A –> Correcto: Ambas producciones aplican a la
0100 gramática con cadenas válidas como 0100 y
00100
d. S –> 0A –> 00A –> 001 A –>
0010
Correcto
Question4
Puntos: 1
Si una gramática independiente del contexto tiene todas sus reglas de la forma: A → wB, o bien
de la forma A → w, donde w es una cadena de uno o más terminales, y A y Bson símbolos no
terminales, entonces el lenguaje generado por dicha gramática es:
a. Regular Correcto
b. Estructurado por frases y no independiente del

contexto
c. Decidible
d. Independiente del contexto no regular

Correcto
Question5
Puntos: 1
Cual de las siguientes afirmaciones se asocia correctamente al diseño y funcionamiento de los
árboles de derivación.
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 es Respuesta Correcta: Una gramática
ambigua cuando hay dos o más árboles de es “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. Los lenguajes generados por una Gramática
Independiente del Contexto son llamados
Lenguajes Regulares
d. En los árboles de derivación, no es necesario
usar nodo raíz
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
Question6
Puntos: 1
Cual de las siguientes afirmaciones es VERDADERA
a. Los lenguajes generados por una Gramática

Independiente del Contexto son llamados
Lenguajes Regulares
b. En un árbol de derivación cada nodo
solamente puede tener otro hijo nodo. De lo
contrario se formaría otro nodo.
c. En un árbol de derivación, una gramática es Correcto. En este caso es ambigua
ambigua, cuando hay dos o más árboles de por cuanto puede tener varias
derivación distintos para una misma cadena. soluciones
d. En los arboles de derivación, los nodos raíces
siempre derivan en dos ramas.
Es posible probar que cualquier palabra que sea aceptada por el AFD M, puede ser generada
por la gramática regular G. Esto significa que L(G) = L(M).
Correcto
Question7
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:
a. Se pueden obtener AP que acepten operaciones Correcto

de Unión y Concatenación de los lenguajes
aceptados por los Autónomas de Pila dados.
b. Solo la operación de Unión de los lenguajes de
dos AP es permitida.
c. Las operaciones de combinar AP solo es viable
cuando los dos Autónomas leen el mismo
alfabeto.
d. Un AP se puede combinar con una MT siempre y
cuando lean y acepten el mismo lenguaje.
Correcto
Question8
Puntos: 1
Se propone la siguiente GLC (Gramática Libre de Contexto) para que genere el lenguaje de los
palíndromos en el alfabeto ∑ = {a,b}
G = S → aSa | bSb | a | b | lambda
Dada esa gramática, determine cuáles reglas corresponden a los palíndromos generados.
a. S → b (Palíndromos con símbolos

pares)
b. S → a (Palíndromos con símbolos
pares)
c. S → a | S → b (Palíndromos con Correcto: Al realizar el árbol de derivación y el
símbolos impares) desarrollo de la gramática, las reglas que llevan a
crear palíndromos impares son: S → a produce la
cadena ω = baaab (impar) y S → b produce la
cadena ω = babab (impar) y S → lambda produce
la cadena ω = baab (par).
d. S → lambda ( Palíndromos con Correcto: Al realizar el árbol de derivación y el
símbolos pares ) desarrollo de la gramática, las reglas que llevan a
crear palíndromos impares son: S → a produce la
cadena ω = baaab (impar) y S → b produce la
cadena ω = babab (impar) y S → lambda produce
la cadena ω = baab (par).
Correcto
Question9
Puntos: 1
Dado el siguiente árbol de derivación, identifique las apreciaciones válidas cuando se analiza su
comportamiento y diseño:
a. La gramática está representada como G = { S ---

>lambda | aS}
b. El árbol representa una gramática lineal por la Correcto: Es una Gramática
izquierda, que genera el lenguaje L ={lambda, lineal por la izquierda. La ER
a,aa,aaa,…} es la que representa el
lenguaje descrito
c. El árbol representa las cadenas que inician en dos
a”s seguida de una o más a”s de un lenguaje regular
d. La lambda | Sa} y el lenguajegramática está Correcto: Es una Gramática
representada como: G = { S - generado puede lineal por la izquierda. La ER
representarse con la expresión regular a* es la que representa el
lenguaje descrito.
Correcto
Question10
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:
a. S → aSa, S→bSb,
S→aRb, S→bRa,
R→aRa, R→bRb,
R→c.
b. S → aSa, S→bSb, Correcto: Como w y v no pueden ser cadenas inversas, al
S→aRb, S→bRa, menos debe existir un par de caracteres de w y v que ocupen
R→aRa, R→bRb, posiciones simétricas con respecto al centro de la cadena y
R→aRb, R→bRa, sean diferentes . Por tanto, toda cadena de L puede ser
R→c. generada por la gramática, y toda cadena generada por la
gramática pertenece a L
c. S → aSa, S→bSb,
S→aRb, S→bRa,
R→aRb, R→bRa,
R→c.
d. S → aSa, S→bSb,
S→aRb, S→bRa,
R→bRb, R→aRa,
R→bRa, R→c.
Correcto
Question11
Puntos: 1
Considere la gramática S →Rc, R → aRbR, R → λ. Siendo w una cadena cualquiera generada
por dicha gramática, indique cuál de las siguientes afirmaciones es falsa:
a. El número de letras a es mayor o igual al de

letras b en todo prefijo de w. Prefijo de una
cadena w es toda cadena no vacía x para la
que existe una cadena u tal que w = xu.
b. El número de letras a es igual al de letras b Esto es verdadero
en w
c. Las cadenas {abc, c} son aceptadas
d. w = xc | x ∈ (a∪ b)*
Incorrecto
Question12
Puntos: 1
Dada la siguiente gramática.
Genera le lenguaje {aibjci+j | 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}
a. S --->aAc ; A--->bBc ; B --->

bc
b. S --->aAc ; A--->aAc | bBc ;
B ---> bc
c. S --->aAc ; A--->aAc | aAc |
bBc ; B ---> bBc | bc
d. S --->aAc ; A--->aAc | bBc ; Correcto
B ---> bBc | bc
Correcto
Question13
Puntos: 1
En la descripción de las gramáticas, las producciones unitarias tienen la forma:
a. A --> B Correcto
b. S-->a
c. S-->ABs
d. A -->sB
Las producciones unitarias son las que tienen la forma A → B
Correcto
Question14
Puntos: 1
Indique cuál de las siguientes afirmaciones es verdadera
a. Los autómatas finitos tienen un número Correcto

finito de estados
b. Los autómatas finitos sólo pueden aceptar
lenguajes finitos
c. Los autómatas de pila reconocen lenguajes
generados por gramáticas de tipo 3
d. Las máquinas de Turing y los autómatas
de pila son autómatas finitos
Correcto
Question15
Puntos: 1
Dada la gramática S → aS; S→ aSbS; S→ λ. Indique cuál de las siguientes afirmaciones es
falsa:
a. La cadena {b} es rechazada
b. Cualquier cadena generada por la gramática Esta es la opción falsa. La cadena a

contiene una subcadena no vacía donde el que en efecto es aceptada ,
número de letras a es igual al número de letras generada por la gramática, no
b cumple esta condición
c. 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
d. El lenguaje generado por la gramática es
Correcto
1
Puntos: 1
A las computadoras reales y las MT se les asocian muchas similitudes y diferencias:
Cuáles diferencias entre una computadora Real y una máquina de Turing (MT) son verdaderas:
a. En una MT el Número de estados depende Incorrecto: la palabra o cadena de

de la cadena, palabra o dato que lea. lectura no determina la cantidad de
estados que deba tener una MT. Puede
determinar pro que estados recorre la
máquina.
b. En una MT el orden de ejecución de las
instrucciones no necesariamente debe estar
definido.
c. En una computadora, el número de estados
viene representado por el contenido de la
memoria.
d. En cuanto al orden de ejecución de las Correcto: Diferencias entre las
instrucciones, En la estructura Von Neumann computadoras y las máquinas de
el secuenciamiento lo marca el orden de Turing. En Una máquina de Turing, el
colocación de las instrucciones en la memoria orden de ejecución de las instrucciones
interna y viene asegurado por el contador de si está definido, lo marca en todo
programa. instante el estado de la máquina y el
carácter de la cinta apuntado, que son
los dos datos que determinan la
quíntupla que ha de ser ejecutada.
Question2
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:
a. Si no se logra representar con un diagrama de

Moore el problema.
b. Si no existe un procedimiento efectivo para Correcto
determinar si la propiedad es verdadera (no existe
una Máquina de Turing MT).
c. Si no existe un algoritmo total para determinar si Correcto
la propiedad y objetivo del problema es
verdadera.
d. Existe un procedimiento definido que determina
la ambigüedad del problema
Correcto
Question3
Puntos: 1
Analice la codificación de la siguiente Máquina: Si lee 0101 (de izquierda a derecha), la salida
correspondiente es:
a. 0101
b. 0111 Correcto: La salida correspondiente es 0111 si se tiene

en cuenta que en las transiciones, el primer carácter es
el que lee y el segundo es el que escribe.
c. 0011
d. 0110
Correcto
Question4
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:
a. Las máquinas reales tienen mayor poder de Incorrecto

cómputo que las Máquinas de Turing, aunque
resuelvan los mismos problemas.
b. Toda función computable tiene un algoritmo
decidible pro una MT
c. La máquina de Turing, tiene mayor poder de
cómputo que las reales, aunque resuelvan los
mismos problemas.
d. Una MUT es funcional y eficiente tanto como
una máquina real.
Incorrecto
Question5
Puntos: 1
La codificación redundante tiene como objetivo introducir símbolos para asegurar la veracidad
en la trasmisión. Esto se logra por medio de algoritmos que aseguran la veracidad de la
información transmitida procurando no perder velocidad en la trasmisión. Los algoritmos para la
veracidad son:
a. Los de codificación AWGN
b. Los de codificación de fuente:
c. Los de codificación de canal Correcto: Esto se logra por medio de

algoritmos que adapten la información
teniendo en cuenta las características
estadísticas del ruido que presenta el canal.
d. Los de codificación de ruido
Correcto
Question6
Puntos: 1
Cuáles diferencias entre una computadora Real y una máquina de Turing (MT) son verdaderas:
a. En una MT el orden de ejecución de las

instrucciones no está definido.
b. En cuanto al orden de ejecución de las Correcto: En Una máquina de Turing,
instrucciones, En la estructura Von Neumann el el orden de ejecución de las
secuenciamiento lo marca el orden de instrucciones si está definido, lo
colocación de las instrucciones en la memoria marca en todo instante el estado de la
interna y viene asegurado por el contador de máquina y el carácter de la cinta
programa. apuntado, que son los dos datos que
determinan la quíntupla que ha de ser
ejecutada.
c. En una computadora, el número de estados Correcto
viene representado por el contenido de la
memoria.
d. En una MT el nº de estados depende del Correcto
algoritmo.
Correcto
1
Puntos: 1
Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione las opciones verdaderas).
a. El problema de tipo "insoluble" define que Incorrecto

hay un algoritmo que lo soluciona pero que no
se puede llevar a una MT o una máquina
abstracta.
b. El problema de “Halting” es el primer Correcto
problema indecidible mediante maquinas de
Turing
c. Equivale a construir un programa que te diga Correcto
si un problema de ordenador finaliza alguna
vez o no (entrando a un bucle infinito, por
ejemplo)
d. El problema de la parada o problema de la Incorrecto
detención es de hecho soluble y la Teoría de la
Computación lo definió como tal
El problema de “Halting” es el primer problema indecidible 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
Question2
Puntos: 1
La Máquina de Turing, y un autómata finito, tienen similitudes como:
a. Una cabeza lectora Correcto
b. Un control finito Correcto
c. Un alfabeto para la cinta y un alfabeto de Incorrecto

entrada
d. Un cabezal de lectura y otro para Incorrecto
escritura
Máquina de Turing (abreviado MT) tiene, como los autómatas que hemos visto antes, un control
finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente
viene la palabra de entrada
Correcto
Question3
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.
a. 01 Correcto
b. 10
c. 00
d. 11
Correcto
Question4
Puntos: 1
Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se
presentan los “Problemas de decisión” (PD).
Que aspectos en análisis son válidos para apoyar esta teoría
a. Se puede decir que un lenguaje es decidible por Correcto

que existe una MT que los puede reconocer.
b. Si se presenta un lenguaje decidible, es por que Correcto
hay un algoritmo que la MT reconoce.
c. Un PD podría ser aquél formulado por una Correcto
pregunta (referida a alguna propiedad) que requiere
una respuesta de tipo “si/no”. Hay problemas de
decisión de tipo “soluble”, “parcialmente soluble” e
“insoluble
d. Mientras que los lenguajes computables son una Correcto
infinidad numerable, los lenguajes no computables
son una infinidad no numerable.
Correcto
Question5
Puntos: 1
De los modelos creados para realizar cómputos y desarrollar problemas, es válido afirmar:
a. Los modelos propuestos por Hilbert, solucionan

cualquier problema "No soluble"
b. Las funciones computables hacen referencia o son
iguales a afirmar que son modelos computables.
c. La MT no es un modelo Computable ya que solo se
basa en simulación.
d. Las llamadas máquinas de Turing no constituyen ni Correcto
el primero ni el único formalismo para expresar
cómputos, pero sí el que más ha perdurado
Las llamadas máquinas de Turing no constituyen ni el primero ni el único formalismo para
expresar cómputos, pero sí el que más ha perdurado.
Su creador, el matemático inglés Alan Turing (1912-1954) estaba convencido de que no existía
un algoritmo para el problema de decisión planteado por Hilbert y su intención era demostrar
dicha no existencia.
El modelo en el que se inspiró fue el de una persona real llevando a cabo un cálculo mecánico,
por ejemplo una multiplicación de dos grandes números en el sistema decimal.
Correcto
Question6
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.
a. 010
b. 100
c. 001 Incorrecto
d. 110
Incorrecto
Question7
Puntos: 1
Una Máquina de Turing (MT) se puede comportar como un aceptador de lenguaje, de la misma
forma que lo hace un Autómata finito (AF) o un Autómata de Pila (AP) así: Colocando una
cadena ω en la cinta, situando la cabeza de lectura/escritura sobre el símbolo del extremo
izquierdo de la cadena ω y al poner en marcha la máquina a partir de su estado inicial.
Entonces ω es aceptada si, después de una secuencia de movimientos, la MT llega a un estado
final y para.
Que aspectos son válidos para el comportamiento de una MT..?
a. Se pueden combinar dos Máquinas de Correcto

Turing (MT) permitiendo que compartan la
misma cinta y, que cuando una termine su
ejecución, la otra empiece.
b. Es válido empezar el diseño de una MT Correcto: Al diseñar una MT que acepte
por el diseño de un AF. Ambos son un cierto lenguaje, en realidad diseñamos
aceptadores de lenguajes. el autómata finito que controla la cabeza y
la cinta, el cual es un autómata con salida
(acepta cadenas válidas).
c. La MT es un mecanismo abstracto Incorrecto: La Máquina de Turing es un
avanzado que tiene el mismo poder mecanismo de computación notoriamente
computacional que las máquinas reales. primitivo, y sin embargo permite llevar a
cabo cualquier cómputo que podamos
hacer en nuestro PC
d. Para rechazar una cadena que no es Correcto
aceptable, lo único que hay que hacer es
evitar que se llegue a un estado final.
Correcto
Question8
Puntos: 1
Con referencia a una Máquina de Turing (MT) de dos direcciones: Una Máquina de Turing con
una cinta infinita en un sentido puede simular una Máquina de Turing con la cinta infinita en los
dos sentidos. Sea M una Máquina de Turing con una cinta infinita en los dos sentidos, entonces:
Para que se logre o se dé esta máquina se debe cumplir:
a. La pista inferior y superior leen los datos Incorrecto

simultáneamente en ambos sentidos. Luego y
dependiendo de los estado repetitivos, se detiene
una pista y continúa la que menos celdas tenga
ocupada.
b. La cinta superior contiene información Correcto: La cinta superior por
correspondiente a la parte derecha de la cinta M a orden contiene la información de la
partir de un punto de referencia dado. parte derecha.
c. La pista inferior contiene tanto la parte Incorrecto: La cinta superior por
izquierda como la derecha de la cinta M (en orden orden contiene la información de la
inverso). parte derecha.
d. La Máquina de Turing M que tiene una Cinta Correcto: La pista superior maneja
Infinita en un sentido, puede simular a M si tiene un sentido y la inferior maneja otro
una cinta con dos pistas. sentido (dirección).
Correcto
Question9
Puntos: 1
Acerca del tipo de cadenas que puede aceptar una Máquina de Turing, determine cuál
afirmación es válida.
a. Por ser una máquina tan simple pero

a la vez tan potente, resulta fácil que
cualquier lenguaje puede ser reconocido
por una máquina de Turing
b. 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
c. Una máquina de Turing cuyo estado Correcto: Decimos que en la MT se llega al
inicial coincida con el estado de parada “final de un cálculo” cuando se alcanza un
acepta toda cadena estado especial llamado halt en el control finito,
como resultado de una transición.
Representaremos al halt por “h”
d. Cuando se desea que una MT no
acepte una palabra, simplemente se
debe configurar para que llegue a un
estado halt de parada o stop.
Al diseñar una MT que acepte un cierto lenguaje, en realidad diseñamos el autómata finito que
controla la cabeza y la cinta, el cual es un autómata con salida.
Correcto
Question10
Puntos: 1
Indique que características asocian particularidades o semejanzas válidas entre las MT y las
computadoras reales.

a. En las máquinas reales están Incorrecto: En una MT el nº de estados
definidos procesos de manera depende del algoritmo. En una computadora,
jerárquica. En las MT estos procesos un estado viene representado por el
están definidos por el número de contenido de la memoria, y una situación por
estados. un estado y un puntero a una dirección (la
que contiene a la instrucción que va a
ejecutarse).
b. Las MUT son de un solo propósito. Incorrecto: Esta máquina Universal no debe
Las máquinas reales interpretan ser diseñada para realizar un cálculo
muchos programas escritos en específico, sino para procesar cualquier
diferentes lenguajes información (realizar cualquier cálculo
(multipropósito). específico -MT particular- sobre
cualquier configuración inicial de entrada
correcta para esa MT particular).
c. Los computadores electrónicos, Correcto

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 ilimitados de
tiempo y espacio.
d. Los lenguajes de programación, Correcto
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 práctica no todos lo
alcanzan.
Correcto
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:
a. La minimización se aplica a los AFD Correcto: La minimización se basa en
y consiste en obtener un AFD el tratamiento de estados "obtener el
equivalente a uno dado que tenga el menor número de ellos" de forma
menor número de estados posibles. 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
Question2
Puntos: 1
Un alfabeto es un conjunto finito de símbolos. De esta definición podemos afirmar
correctamente:
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 Incorrecto: Las palabras aceptadas
un alfabeto finito, resultan ser infinitas. pueden ser infinitas.
c. Dado un alfabeto, podemos formar Correcto: Es el principio básico para
palabras o cadenas con los símbolos del empezar a tratar con lenguajes.
alfabeto
d. Por símbolo no se está haciendo
referencia a un sólo carácter. Los
símbolos pueden ser nombres.
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”:
a. { α1 , α2 ,..... α n } Es un ejemplo Correcto: Lenguaje Formal: Un alfabeto

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

regulares. {a,b} es regular pues Regular. Por la definición anterior, el conjunto
resulta de la unión de {a} y {b}. 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 Correcto: Lambda es regular.
un lenguaje regular.
Correcto
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).
a. Para saber si dos estados q1 y q2 son Incorrecto

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

Automatas Corregidas Unidad 1 y 2

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Automatas Corregidas Unidad 1 y 2

Hochgeladen von

Copyright:

Verfügbare Formate

automatas corregidas unidad 1 y 2

Seleccione al menos una respuesta.

a. Se le llaman producciones Correcto: Producciones Nulas: Son de la forma A

Seleccione al menos una respuesta.

a. Genera el lenguaje que acepta cadenas como:

Seleccione una respuesta.

Seleccione al menos una respuesta.

Seleccione una respuesta.

a. El conjunto de los LIC contiene al

Seleccione al menos una respuesta.

a. La lambda | Sa} y el lenguajegramática está

Seleccione una respuesta.

a. Los autómatas finitos tienen un número

Seleccione una respuesta.

a. Solo la operación de Unión de los lenguajes de

Seleccione una respuesta.

Seleccione una respuesta.

a. Una Turing Machine (TM)

b. Un Pushdown Automaton (PA)

c. Un Autómata Determinístico Finito.

d. Un Autómata No determinístico pero Finito

Seleccione al menos una respuesta.

a. La ER que representa el lenguaje que

Dado el siguiente autómata de pila (AP) cuyo funcionamiento se representa en la siguiente

Seleccione una respuesta.

b. S –> 0A0 | 1S0 | 2 | 0

c. S –> 0A0 | 1S1 | 2

siguientes afirmaciones son verdaderas

Seleccione al menos una respuesta.

a. Existen derivaciones distintas que generan

d. La gramática es equivalente a S→0S, S→ 1S,

Seleccione una respuesta.

a. El lenguaje generado por la gramática es

c. Para cualquier prefijo de una cadena Esta afirmación es correcta: ejemplo

Seleccione una respuesta.

Seleccione al menos una respuesta.

Seleccione una respuesta.

a. El conjunto de cadenas que pueda Incorrecto: Las cadenas no son

c. {baaaa, aaaaa, bba}

d. {aa, aaaa, bbba, ba, bba, baaa,

Seleccione las afirmaciones válidas:

Seleccione al menos una respuesta.

a. Los autómatas de pila aceptan exactamente

d. Los AP son una extensión de los AF

Seleccione una respuesta.

a. Un AP es infinito por su capacidad de

Seleccione una respuesta.

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

Seleccione una respuesta.

a. Para poder simular un autómata de

Nota. ω es una cadena sobre un lenguaje L

Seleccione al menos una respuesta.

a. Si ω = lambda entonces L (lambda) = { lambda}

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

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

Tenga en cuenta además de los componentes (tupla) de la pila que::

e: es una transición dada espontanea.

Seleccione al menos una respuesta.

a. El determinismo se da cuando no hay alternativas de Correcto

Aspectos que caracterizan este tipo de gramáticas son:

Seleccione al menos una respuesta.

a. La longitud de las cadenas de derivaciones

Seleccione al menos una respuesta.

a. La expresión regular bab (abab)*

a. aa+ba = (aa+b)a Incorrecto

d. a=a.a=(a)* Correcto: Por asociación