Preguntero – Parcial 1 de Lenguajes Formales y Computabilidad

Más completo. Actualizado al 16/05/2021

▪ Antes que nada: Tipos de Gramáticas (Jerarquía de Chomsky), e Isomorfismo de Máquinas y Gramáticas:

Tipo Nombre(s) Producciones Máquina Abstracta

Irrestricta Máquina de Turing
Sin Restricciones
0 Cualquier forma.
Recursivamente
enumerable
aXb -> aYb donde: Autómata Linealmente acotado
Sensible al contexto
1 a, b, Y ∈ V*
Dependiente del contexto
X ∈ Vn
Independiente del contexto X -> Y donde: Autómata a Pila
2
Libres de contexto X ∈ Vn
X -> Y donde: Autómata Finito
X ∈ Vn
3 Regular
Y puede ser Vt, t, λ (derecha)
Y puede ser tV, t, λ (izquierda)

▪ ¿A Gabriela le han solicitado denotar mediante una expresión regular el conjunto de los números en base
regular correcta para tal fin?

✓ (0|1|2)+.

▪ A Karina le han solicitado denotar mediante una expresión regular el conjunto de los números en base 2.
¿Cuál es la expresión regular con … Karina?

✓ (0 | 1) +.

▪ A las gramáticas del Tipo 3 le corresponden las:

✓ Máquinas abstractas más simples.

▪ A Pablo y Benjamín les solicitaron definir el alfabeto para un lenguaje de programación semejante al C.
¿Cuáles serían los símbolos de dicho alfabeto?

✓ ∑ = { if, else, while, do, {, }, [, ], +, for, ... }

▪ A qué teorema corresponde la siguiente preposición: Dado un autómata finito es posible encontrar una
expresión regular que denote un lenguaje representado por el autómata.

✓ En sentido inverso al teorema de síntesis se expone el teorema de análisis.

▪ Algunos lenguajes aceptados por los autómatas finitos deterministas, también son aceptados por los no
deterministas.

✓ Verdadero.

▪ ¿Cómo se marca el/los estados de aceptación en una tabla de transición?

✓ Con un * (asterisco) en la parte anterior

▪ ¿Con que se corresponden las columnas de una tabla de transiciones que utilizamos para los Autómatas?

✓ Las entradas

▪ Con una construcción de subconjuntos podemos demostrar que:

✓ La máquina de Moore se puede convertir en la máquina de Mealy.

▪ Con respecto a la tabla de transición de estados de una autómata finito, es posible afirmar que:

✓ Cada fila i representa un estado, cada columna j un símbolo y cada celda (i, j) contiene los posibles
estados que alcanza el autómata cuando se encuentra en el estado iy lee el símbolo j.

▪ Concluyo que el lenguaje generado es un lenguaje regular de la forma L = [(0+1)*]. ¿Cuáles de las
siguientes consideraciones realizo Mateo para poder llegar a su conclusión? Selecciones las cuatro (4)
opciones correctas.

✓ -La gramática G es una gramática regular, por lo tanto el lenguaje generado es también regular.

✓ -La gramática G es una gramática lineal por derecha.

✓ -Las palabras generadas por G constan de cualquier cantidad 1 y 0 en cualquier posición.

✓ -Si se realizan derivaciones sobre la gramática G se obtienen entre otras las siguientes palabras: 0,
1, 001, 00000111, etc.

▪ ¿Cuál de las opciones es la defección correcta de alfabeto? ……

✓ Conjunto de símbolos finito y no vacío.

▪ ¿Cuál de las siguientes afirmaciones es correcta en cuanto a las características de los autómatas finitos?

✓ En un diagrama de estados de un autómata finito determinista, de cada estado sale un arco por
cada símbolo del alfabeto de entrada.

▪ ¿Cuál de las siguientes opciones se corresponde con un ejemplo de una máquina secuencial?

✓ Una caja fuerte.

✓ Un código de una valija.

▪ ¿Cuál de las siguientes operaciones es una relación entre conjuntos?

✓ Inclusión

▪ ¿Cuál de los siguientes símbolos denota la conectiva lógica bidireccional?

✓ ↔

▪ ¿Cuál es la diferencia entre una máquina secuencial y un autómata?

✓ La máquina secuencial genera una función de salida, el autómata acepta o no una cadena.

▪ ¿Cuál es la particularidad que define a un Autómata finito no determinista vs uno Determinista?

✓ Poder estar en varios estados en forma simultánea.

▪ ¿Cuáles de las 4 (cuatro) opciones identifican a los elementos de una tabla transición?

✓ Estados

✓ Entradas

✓ Flecha que identifica al estado inicial

✓ * (asterisco) que identifica el/los estados finales”.

▪ ¿Cuáles de las siguientes opciones se corresponde con un ejemplo de la máquina secuencial?

✓ Una caja fuerte.

▪ ¿Cuáles de las siguientes operaciones es una relación entre conjunto y sus elementos?

✓ Inclusión

▪ ¿Cuáles de las siguientes palabras no es generada por la siguiente expresión regular? (0U1)10*

✓ 0010

▪ ¿Cuáles son las 2 notaciones más cómodas para la descubrir un autómata finito determinista?

✓ Diagrama de transición.

✓ Tabla de transición.

▪ ¿Cuáles son las tres acciones fundamentales de realizan una maquina secuencial?

✓ Realizar una lectura sobre la entrada, cambiar de estados y grabar un símbolo en la salida.
▪ ¿Cuáles son los 4 (cuatro) componentes de un diagrama de transición? Seleccione las 4 opciones correctas.

✓ Nodo para cada estado Q.

✓ Arco desde un desde un estado a otro.

✓ Flecha dirigida al estado inicial, etiquetada como Inicio, sin origen en ningún nodo.

✓ Nodos de los estados de aceptación, con doble circulo.

✓ INCORRECTA: Rectángulos

▪ ¿Cuáles son los operadores que pueden ser utilizados en las expresiones regulares?

✓ La concatenación, unión y clausura.

▪ Dada la siguiente gramática G = ({A, B}, {0, 1}, P, A), donde P contiene las siguientes producciones:

A → 1B

B → 1B

B → 0B

B→1

¿Qué cadena de las siguientes forma parte del lenguaje generado por G?

✓ 10000001

▪ Dada la siguiente gramática G = ({S, A}, {0, 1}, P, S), donde P contiene las siguientes producciones:

S→A

A → 0A0

A → 1A1

A→2

¿Qué cadena de las siguientes forma parte del lenguaje generado por G?

✓ 010121010

▪ Dada la siguiente gramática G=({S,A}, {0,1}, P, S), donde P contiene las siguiente producciones:

S → A1A1A

A → 0A | λ

Entonces la siguiente cadena es generada por G: Seleccione las 3 (tres) respuestas correctas.

✓ 01100

✓ 11

✓ 10001
 ✓ INCORRECTA: 10101

✓ INCORRECTA: 00100

▪ Dada la máquina de Mealy de la figura, donde el estado inicial es q0, entonces esta máquina emite 1 como
carácter final con las siguientes cadenas

✓ Cadenas con numero impar de unos

▪ Dada la siguiente gramática: G = {{0,1}; {A, B, S}, S, P}, donde P = { S := AO, AO := 1B1, 1A :=0B0, B := A, B :=
1, B :=0 }, ¿cuál es el lenguaje generado?

✓ L(G) = {11, 101, 111}.

▪ Dada la tabla de transición de estados: 01 -> ABB*AB indicar: [INCOMPLETA]

✓ a- Produce 1*0* ...

✓ n- No acepta números mayores a 106...

✓ etc, etc...

▪ Dada una gramática formal G, X es una sentencia si:

✓ Si existe una derivación que partiendo del axioma permita llegar a x y todos los símbolos de x son
terminales.

▪ Dadas las cadenas x=aba e y=bab, ¿cuál de las siguientes afirmaciones es correcta?

✓ x.y= ababab

▪ Dado el autómata de la figura, el lenguaje aceptado por el mismo está dado por la siguiente expresión:

✓ (0U1)*10(0U1)(0U1)*

▪ Dado el autómata de la figura y un alfabeto ∑ = {0,1}, ¿cuál de las cadenas es aceptada si a es el estado
inicial y d es el estado final? Seleccione las 2 (dos) respuestas correctas:
 ✓ 0101

✓ 1010

▪ Dado el autómata de la figura y un alfabeto ∑ = {0,1}, ¿cuál de las cadenas es aceptada si p es el estado
inicial y q es el estado final?

✓ "(0U1)*1.(0U1)+1"

▪ Dado el autómata de la figura y un alfabeto ∑ = {0,1}, ¿cuál de las cadenas es aceptada si p es el estado
inicial y q es el estado final?

[CONSEGUIR FIGURA]

✓ 10101

✓ INCORRECTAS:

▪ 00110

▪ 01000

▪ 01010

▪ 11100

▪ Dado el autómata de la figura y un alfabeto ∑ = {0,1}, ¿cuál de las cadenas es aceptada si q0 es el estado
inicial y q1 es el estado final?

✓ 1010

▪ Dado el autómata de la figura y un alfabeto ∑ = {0,1}, ¿cuál de las cadenas es aceptada si q1 es el estado
inicial y q4 es el estado final?

[CONSEGUIR FIGURA]
 ✓ 001010

✓ INCORRECTAS:

▪ 001001

▪ 010010

▪ 100001

▪ 100100

▪ Dado el autómata de la figura y un alfabeto ∑ = {0,1} ¿Cuál de las cadenas es aceptada si q1 es el estado
inicial y q4 es el estado final?

✓ 001010

✓ 100100

✓ 100001

✓ 010010

✓ 001001

▪ Dado el autómata de la figura y un alfabeto ∑ = {a,b,c}, ¿cuál de las cadenas es aceptada si e0 es el estado
inicial y e2 es el estado final?

✓ acbb

▪ Dado el autómata de la figura y un alfabeto ∑ ={0,1}, donde el estado inicial es e0 y e2 y e4 son estados
finales, entonces el lenguaje generado es:
 ✓ (0U1)*(00U11)(0U1)*

▪ Dado el autómata de la figura y un alfabeto ∑ ={a,b,c}, donde el estado inicial es e0 y e2 es el estado final,
entonces el lenguaje generado es:

✓ a+cb*

▪ Dado el conjunto de B:{3,7,11,15,20} es posible afirmar que:

✓ 7 pertenece a B

▪ Dado el conjunto Universal:{1,2,3,4,5,6,7,8,9}, el conjunto A:{1,2,3,4,5,6} y el conjunto B:{5,6,7} halla la

diferencia A - B

✓ A-B:{1,2,3,4}.

▪ Dado el lenguaje, entonces la sig. Máquina abstracta es necesaria para reconocerlo (nombre la máquina
más específica)

✓ Autómatas a Pila

▪ Dado el siguiente autómata definido mediante su diagrama de estados, ¿cuál de las siguientes
afirmaciones es correcta?
 ✓ Se trata de un autómata finito no determinista con cadenas sobre el alfabeto {0,1} con cantidad
par de unos o cantidad par de ceros. La cadena vacía es aceptada.

▪ Dado la máquina de Mealy de la figura, donde el estado inicial es q0, ¿qué código se debe ingresar para
que la máquina genere un 1?

✓ 1101

▪ Dado un autómata finito no determinista:

✓ Es posible obtener un autómata finito determinista mínimo que reconoce el mismo lenguaje.

▪ Dados dos lenguajes L1 sobre el alfabeto ∑1 y L2 sobre el alfabeto ∑2, la resta de L1 menos L2 (L1 - L2) se
define como:

✓ L1 - L2 = { x / x pertenece a L1 y x no pertenece a L2 }.

▪ Dados la palabra baabab definida sobre el alfabeto {a, b}, el siguiente es un prefijo de dicha palabra:

✓ "baabab"

▪ De acuerdo a la jerarquía de gramática Chomskyanas, ¿Qué es posible afirmar?

✓ Toda gramática independiente del contexto es también una gramática sin restricciones.

▪ De acuerdo con la clasificación de Chomsky para las gramáticas formales

✓ Las partes derecha e izquierda de las producciones deben tener algo en

▪ De acuerdo con la clasificación de Chomsky para las gramáticas formales, para que la gramática sea de
tipo 2:

✓ En la parte izquierda de las producciones puede haber solo un único símbolo no terminal.

▪ ¿De qué otra forma podemos programar en un lenguaje de programación a un autómata que no sea con
case e if?
 ✓ Con métodos por estados

✓ INCORRECTA: Con sentencias for anidada.

▪ Dos gramáticas son equivalentes si:

✓ Generan el mismo lenguaje.

▪ El cierre transitivo T’ de la relación T se calcula:

✓ Aplicando la propiedad transitiva sobre la relación T.

▪ El diagrama de transición de un autómata finito determinista tiene por cada nodo un arco etiquetado con
cada uno de los símbolos del alfabeto.

✓ Verdadero

▪ El lema del bombeo para lenguajes regulares se usa para:

✓ Demostrar que ciertos lenguajes infinitos no son regulares.

▪ El lenguaje L definido por una gramática G, denominado L(G), se define como:

✓ El conjunto de todas las sentencias de la gramática G.

▪ El teorema que indica que "Si L es un lenguaje aceptado por un autómata finito M entonces existe una
expresión regular tal que L = L(M) = L(γ) " se conoce como:

✓ Teorema de Análisis.

▪ El teorema que indica que "Si L es un lenguaje generado a partir de la expresión regular entonces existe un
autómata finito M tal que L = L(γ) = L(M)" se conoce como:

✓ Teorema de Síntesis.

▪ Elije la respuesta correcta para el AFD de la figura:

✓ Los estados A y C son equivalentes.

▪ En cuanto a los autómatas finitos, ¿cuáles de las siguientes opciones son correctas? Seleccione las 4
(cuatro) opciones correctas.

✓ Las transacciones están descritas por una función.

✓ El autómata comienza en el estado inicial y lee una secuencia de símbolos, uno a la vez hasta que
se acabe la secuencia.

✓ En cada instante lee un símbolo x y dependiendo del símbolo y del estado s en el que se
encuentra, cambia al estado dado por la función de transición: f(s, x).

✓ Hay un único estado inicial.

▪ ¿En qué consiste el proceso de obtener el AFD equivalente a un AFND dado?

✓ En determinar el estado inicial del AFD como equivalente al estado inicial del AFND. A
continuación, calcular aplicando la función de transición sobre los estados ya calculados.

▪ En relación con la operación de reflexión de palabras, se puede afirmar que:

✓ La reflexión de una palabra se obtiene invirtiendo el orden de sus símbolos.

▪ En una gramática formal la unión entre el alfabeto de los terminales y el alfabeto de los no terminales:

✓ Al alfabeto completo de la gramática.

▪ ¿Es posible convertir un Autómata Finito No Determinista en un Autómata Finito Determinista?

✓ Verdadero.

▪ Es un conjunto de elementos con una representación gráfica primitiva, a los cuales se designa como
símbolos o caracteres. ¿A qué concepto hace referencia esta definición?

✓ Alfabeto

▪ Es una secuencia finita de símbolos seleccionados de algún alfabeto. ¿A qué concepto hace referencia esta
definición?

✓ Cadena.

▪ Existen Autómatas en los que se puede acceder a 1 o más estados sin pasar por el estado inicial y otros en
los que TODOS sus estados son accesibles desde el estado inicial. ¿Cómo se llaman estos últimos?

✓ Autómatas Conexos

▪ Hablando de computabilidad ¿Cuál de las opciones es la definición correcta de Lenguaje?

✓ Conjunto de cadenas de caracteres de un mismo alfabeto.

▪ Hablando de propiedades de las expresiones regulares, si tenemos la siguiente expresión A+B ¿A qué
propiedad representa el signo +?

✓ Unión.

▪ Identifique la afirmación correcta en relación a las gramáticas de tipo 2.

✓ Las gramáticas de tipo 2 son aquellas que generan los lenguajes libres o independientes del
contexto.

▪ La clausura positiva de un lenguaje L sobre un alfabeto ∑ se define como:

✓ La unión de todas las potencias del lenguaje excluyendo la potencia 0.

▪ La función de salida en la máquina de Moore se define como:

✓ a → Ʃѕ

▪ La función de transición de estados en la máquina Mealy se define como:

✓ α×Ʃe→α

▪ La recursividad por izquierda en general se trata de eliminar para facilitar las operaciones con la
gramática. Para ello se procede a:

✓ Obtener una gramática equivalente recursiva por derecha.

▪ Las gramáticas formales se clasifican en cuatro tipos según sus producciones.

✓ Verdadero.

▪ Las gramáticas libres de contexto se relacionan con los siguientes tipos de lenguajes de la jerarquía de
Chomsky

✓ Tipo 2.

▪ Los lenguajes de tipo 0 en la jerarquía de Chomsky se relacionan con los siguientes lenguajes

✓ Lenguajes recursivamente enumerables.

▪ Los lenguajes de tipo 3 en la jerarquía de Chomsky se relacionan con los siguientes lenguajes

✓ Lenguajes regulares.
▪ Mateo es estudiante de una carrera de informática y esta muy interesado en las propiedades de
gramáticas formales y de los lenguajes que estas generan. Estuvo analizando la gramática G={Ʃt, Ʃnt, S, P},
donde Ʃt={0,1}, Ʃnt={S}, S es el axioma y P={(S:=0S), (S:=1S), (S:=λ)} y… que el lenguaje generado es un
lenguaje regular de la forma L=[ (0+1)*]. ¿Cuáles de las... es consideraciones realizó Mateo para poder
llegar a su conclusión? Seleccione las 4 opciones correctas.

✓ La gramática G es una gramática lineal por izquierda

✓ La gramática G es una gramática regular, por lo tanto el lenguaje generado es también regular.

✓ Las palabras generadas por G constan de cualquier cantidad de 1 y 0 en cualquier posición.

✓ Si se realizan derivaciones sobre la gramática G se obtienen entre otras las siguientes palabras: 0,
01, 001, 0000111, etc.

▪ Para diseñar un sistema de control es necesario crear una gramática tal que el lenguaje generado consista
en palabras sobre el alfabeto {0, 1}. Las palabras deben iniciar con un conjunto de 1s seguido de un
conjunto de 0s, con la condición que la cantidad de 1 sea impar y la cantidad de 0 sea par. ¿Cuál es el
conjunto de producciones que permite crear la gramática necesaria asumiendo que el axioma es Exp?

✓ (Exp := unos ceros), (Ceros := ceros 00 | 00), (Unos := unos 11 | 1)

▪ Podemos decir que el lenguaje de cadenas que son prefijos (finitos) de la expresión decimal de π, es decir,
L = { 3.1, 3.14, 3.141, 3.1415,… } es

✓ Un lenguaje no regular. Ya que se trata de un lenguaje infinito que no verifica el lema de bombeo.

▪ Por definición, el conjunto de partes de un conjunto A, que se nota P(A), es el conjunto formado por todos
los subconjuntos de A. Si A = {1, 2, 3} ¿cuáles conjuntos son partes de A? Seleccione las cuatro (4) opciones
correctas

✓ {1}

✓ {2}

✓ {1, 2}

✓ {2, 3}

▪ ¿Qué es la cadena vacía?

✓ La cadena que presenta cero apariciones de símbolos.

▪ ¿Qué es necesario para minimizar un autómata finito determinista? Seleccione las tres (3) opciones
correctas

✓ Construir el autómata con los estados obtenidos desde las clases de equivalencia.

✓ Determinar el conjunto cociente.

✓ Encontrar el autómata conexo.

▪ ¿Qué es posible afirmar en cuanto a la relación de transición λ-T? Seleccione las cuatro (4) opciones
correctas

✓ Se define como la relación que se establece entre pares de estados entre los que hay una
transición espontánea λ.

✓ Es una relación reflexiva y se establece entre cada estado y sí mismo.

✓ Toda transición espontánea entre dos estados p y q se representa mediante un par ordenado
(p.q).

✓ Se representa por un conjunto no vacío finito de pares ordenados.

▪ ¿Qué es posible afirmar en cuanto a la relación entre autómatas finitos deterministas y autómatas finitos
no deterministas? Seleccione las dos (2) opciones correctas

✓ Para todo autómata finito no determinista existe un autómata finito determinista equivalente.

✓ Para todo autómata finito determinista existe un autómata finito no determinista equivalente.

▪ ¿Qué significa la minimización de un Autómata Finito Determinista?

✓ Obtener desde un Autómata Finito, otro con menos estados que acepte el mismo Lenguaje.

▪ ¿Qué significa si dos máquinas secuenciales poseen la misma función de salida?

✓ Son equivalentes.

▪ ¿Qué son las expresiones regulares?

✓ Es una expresión algebraica que se describe los lenguajes regulares.

▪ ¿Qué tienen en común las expresiones regulares y los autómatas?

✓ Ambos representan a los lenguajes regulares

▪ Se dice que todos los problemas computables pueden resolverse mediante una máquina de Turing, ya que
estas son las máquinas de mayor…

✓ capacidad computacional.

▪ Se dispone de un alfabeto ∑1 = {a,b} y de la expresión regular aa*bb*. ¿Cuál es el lenguaje descripto y

cuáles algunas de las cadenas de dicho lenguaje?

✓ El lenguaje descripto consiste en cadenas que inician con a, continúan con una, varias o ninguna a,
siguen con una b y continúan con una, varias o ninguna b. Algunas cadenas son: ab, aab, abbb,
etcétera.
▪ Se necesita construir una máquina que determine si una cadena de entrada del alfabeto {0,1} contiene un
número par o impar de 1. La máquina debe dar P como salida si hay un número par de 1 o I en caso
contrario. ¿Qué tipo de máquina, Mealy o Moore, sería la solución correcta de modo que el número de
estados de la solución sea mínimo?

✓ La solución puede obtenerse utilizando una máquina de Mealy o una máquina de Moore. En
ambos casos el número de estados es dos.

▪ Se suponen dos lenguajes L1 y L2, tal que L1 = {nana, napa, lana} y L2 = {nana, napa, pana, palabra, pala} el
lenguaje L3 = L1 - L2?

✓ L3 = L1 – L2 = {lana}.

▪ Se tiene dos lenguajes definidos por el mismo alfabeto L1 , L2 ᴝ ∑ * , entonces la unión de los dos
lenguajes L1 L” se define por

✓ { x ᴝ x ∑ L1 ∩ x ∑ }

▪ Sea el alfabeto ∑ = {1,2,3}, ¿cuál de las siguientes cadenas pertenece a L(∑)?

✓ c=312

▪ Sea el lenguaje L = { xk yk zm∶ con k >0 y m par } ¿Cuál es la maquina más simple que puede reconocer este
lenguaje? Solo 1 opción correcta.

✓ Un autómata a pila determinista

▪ Sea { L(G1) } el lenguaje generado por gramáticas de tipo 1 y { L(G2) } el lenguaje generado por gramáticas
de tipo 2, entonces { L(G1) } ⊂ { L(G2)}

✓ Falso

▪ Sea L el lenguaje del alfabeto {0,1} formado por las cadenas no vacías que no tienen ceros consecutivos.
Sean M1 y M2 los autómatas de la figura. Indique cuál de las siguientes afirmaciones es verdadera:

✓ El lenguaje descripto es reconocido por el autómata M1.

▪ Sea L un lenguaje definido sobre un alfabeto ∑={a,b,c}, tal que las cadenas de L contienen las subcadenas
bab. Es decir, cbab y cababca son cadenas de este lenguaje, pero bb y acb no lo son. La expresión regular
que describe este lenguaje está definida por.
 ✓ (aUbUc)*bab(aUbUc)*

✓ (aUbUc)+bab(aUbUc)+

✓ (aUbUc)*bab

✓ bab(aUbUc)*

✓ (aUb)*bab(aUb)*

▪ Sea S un subconjunto finito de un conjunto infinito U. Sea T el conjunto complementario de S con respecto
de U, entonces ¿Cuál es la opción correcta?

✓ T es infinito

▪ Sean A, B dos conjuntos. El producto cartesiano de A con B, denotado A x B se define como:

✓ El conjunto C de todos los pares ordenados con primer elemento en A y segundo elemento en B.

▪ Sean A y B conjuntos, la unión de A y B (denotada A U B) es un conjunto que cumple con:

✓ Ser el conjunto de todos los elementos que están en A o en B.

▪ Sean L1 = { aa, bb } y L2 = { ba, ab } dos lenguajes definidos sobre el mismo alfabeto ∑ = { a, b }. Entonces el
conjunto L1.L2 está definido por:

✓ "{bbba, aaba, aaab, bbab}"

▪ Sean una gramática de tipo 1 G1 y una gramática de tipo 0 G0, indique cuál afirmación es correcta:

✓ G1 y G0 pueden generar el mismo lenguaje y en tal caso son equivalentes.

▪ Sean z y u dos cadenas sobre el alfabeto ∑ tal que |z|=i y |u|=j entonces |z - u| es

✓ i+j

▪ Sean z y u dos cadenas sobre el alfabeto ∑ tal que |z|=i y |u|=j entonces |z ∙ u| es

✓ i∙j

▪ Seleccione la opción correcta que completa la siguiente frase y la hace verdadera: "las gramáticas
regulares son equivalentes a…"

✓ Autómatas Finitos

▪ Seleccione las dos (2) opciones correctas. Dada una gramática formal G, y una sentencia x, x se dice
ambigua sí...
 ✓ Se obtiene por más de un camino de derivación con las producciones de G.

✓ Tiene más de un árbol de derivación según las producciones de G.

▪ Seleccione las 2 (dos) opciones correctas. Una producción es una regla compresora si:

✓ La parte derecha tiene menos símbolos que la parte izquierda.

✓ La parte derecha es la cadena vacía (λ).

▪ Seleccione las 2 (dos) opciones que describen los tipos de autómatas finitos existentes:

✓ Autómatas finitos deterministas.

✓ Autómatas finitos no deterministas.

▪ Seleccione las (3) opciones correctas. Un autómata finito se dice no determinista si:

✓ -Existe una o más transiciones no definidas.

✓ -Para un mismo par (estado, entrada) hay más de una transición posible.

✓ -Es posible determinar el número de cadenas que acepta.

▪ Seleccione las cuatro (4) opciones correctas. El diagrama de estados o diagrama de transiciones es

✓ El estado inicial se identifica con un arco entrante no rotulado.

✓ Las transiciones se identifican mediante un arco que parte de un nodo, llega a otro y se halla
rotulado con perteneciente al alfabeto de los símbolos de entrada.

✓ Los nodos representan los posibles estados del autómata.

✓ Los estados finales se identifican como nodos con circulo doble.

▪ Si contamos con el lenguaje L = { 0, 11, 001, 111 } y M = {00, 11, 1010 } y realizamos la unión de ambos
lenguajes ¿Cuál es el resultado correcto que queda?

✓ L U M = { 0, 00, 11, 001, 111, 1010 }

▪ Si E1 y E2 son dos expresiones regulares, E1 + E2 es una expresión regular.

✓ Verdadero.

▪ Si en un autómata finito determinista elimino estados a los que no se llegan desde el estado inicial, ¿Qué
objetico estoy buscando con la acción?

✓ Minimizar un autómata finito determinista.

▪ Si estamos desarrollando una serie de validaciones en Java SDK, con las funciones que trabajan con
expresiones regulares ¿qué metacarácter debo utilizar si quiero que me valide como verdadero una
cadena que al final tenga una letra A o una letra O indistintamente?

✓ Conjunto de cadenas de caracteres de un mismo alfabeto.

▪ Si hablamos ambigüedad de las gramáticas, podemos decir que "si una gramática es ambigua
posiblemente exista…"

✓ Una gramática no ambigua que genere el mismo lenguaje.

▪ Si hablamos de la gramática que genera los lenguajes capaces de ser reconocidos por una máquina de
Turing ¿a cuál nos referimos?

✓ Gramáticas dependientes del contexto.

▪ Si hablamos del método que utilizamos para inferir que determinada cadena pertenece al lenguaje de
cierta variable desde la cabecera hacia el cuerpo, ¿de qué método hablamos?

✓ Derivación.

▪ Si hablamos de un subconjunto formado por el producto cartesiano entre A y B en donde las parejas (x,y)
que pertenecen a A y B respectivamente cumplen una condición específica ¿A qué nos estamos refiriendo?

✓ A una relación entre dos conjuntos A y B.

▪ Si hablamos del método que utilizamos para inferir que determinada cadena pertenece al lenguaje de
cierta variable desde cuerpo hasta cabeza. ¿De qué métodos hablamos?

✓ Concatenación.

▪ Si necesitamos buscar todos los documentos de la web que contengan un conjunto de palabras ¿con que
tipo de autómata lo diseñaríamos antes de programarlo?

✓ Autómata finito no determinista.

▪ Si pasamos de un estado inicial, en un autómata a pila, directamente al estado de aceptación con la

lectura de la cadena vacía λ. Podemos decir que este autómata a pila:

✓ Reconoce la cadena vacía. Ya que ƛ funciona como un carácter cuando hablamos de autómatas.

▪ Si se dispone de los alfabetos ∑1={a,b,c} y ∑2={c,d,e} y los lenguajes L1 sobre ∑1 y L2 sobre ∑2, ¿cuáles de
las siguientes afirmaciones pueden considerarse correctas? Seleccione las cuatro (4) opciones correctas:

✓ L1 es un subconjunto del universo de ∑1.

✓ L2 es un subconjunto del universo de ∑2.

 ✓ L1 Unión L2 está incluido en (universo de (∑1) Unión Universo de ∑2).

✓ L1 intersección L2 está incluido en (universo de (∑1) intersección Universo de ∑2).

✓ INCORRECTA: L1 es un subconjunto del universo de ∑3.

▪ Si se dispone de una gramática formal expresada como G1 = ( {0,1}, {S,A,B}, S, P1 ), donde

P1 = { (S::=0B|0A1), (A::=0B|0), (B::=1) }, ¿cómo se clasificaría esta gramática de acuerdo a la jerarquía

chomskyana?

✓ Es una gramática independiente del contexto. (Tipo 2).

▪ Si tenemos el lenguaje A y el lenguaje B, ¿Qué se genera de la intersección de ambos?

✓ Un lenguaje formado por todas las cadenas que se encuentran tanto en A como en B

▪ Si tenemos el lenguaje L = {0,10} y le aplicamos la operación de clausura de Kleene, L*. ¿Cuál es la opción
correcta resultante?

✓ L* { ¿, 00, 10, 0000, 0010, 1000, 1010, 0000, 0010, 1000, 1010, 000000, 000010, 001010, 101010,
101000, 100010, ¿ }, donde ¿ = cadena vacía

▪ Si tenemos la siguiente Regla de las expresiones regulares: (α.β).y = α.(β.Y), podemos decir que:

✓ La concatenación de las expresiones regulares es asociativa. Ya que el orden en el que ejecutemos

la concatenación no genera diferencia en el resultado.

▪ Suponiendo el autómata identificado por su diagrama de estados en la siguiente imagen, determine las
cadenas aceptadas por el mismo.

✓ Cadenas que contienen al menos dos ceros consecutivos.

▪ Suponiendo el autómata identificado por su diagrama de estados en la siguiente imagen, determine las
cadenas aceptadas por el mismo.

✓ El autómata acepta el conjunto de cadenas de bits con al menos dos ceros consecutivos o no.
▪ Suponiendo la gramática G = ({0,1},{A,B,S}, S, P), donde P = { (S:=A0), (A0: = 1B1), (1A: = 0B0), (B: = 1), (B: =
0) }. Es posible decir que G es:

✓ Una gramática sin restricciones (tipo 0).

▪ Suponiendo una máquina secuencial que calcula el residuo modulo 4 de un numero representado en no.. e
1`s, ejemplo 2=11, 3=111, 4=1111, etc) ¿Cuántos estados se necesitan para resolver el problema co..

✓ Cuatro estados

▪ Suponiendo que es necesario diseñar un autómata finito que reconozca el conjunto de cadenas de bits que
inician con dos 0’s consecutivos, ¿cuál es el número mínimo de … deberá tener dicho autómata?

✓ Cuatro estados con solo uno como estado de salida.

▪ Teniendo en cuenta la precedencia de los operadores de las expresiones regulares, ¿Cómo se debe
resolver la expresión Z-JK?........

✓ Primero se resuelve el producto de JK y luego se realiza la resta de los Z menos el resultado

anterior.

▪ Un alfabeto puede contener un número infinito de símbolos.

✓ Falso

▪ Un Autómata a Pila, debido a sus características cuenta con:

✓ 2(dos) alfabetos: uno del autómata y el otro de la pila

▪ Un autómata finito determinista puede tener solamente un estado de aceptación.

✓ Falso

▪ Un autómata finito determinista se define formalmente mediante la quíntupla AFD = ( ∑, Q, q0, F, f )

donde ∑ representa:

✓ El alfabeto de los símbolos de entrada.

▪ Un autómata finito determinista se dice conexo si:

✓ Para todo estado p que pertenece a Q, p es accesible desde el estado inicial (q0).

▪ Un mismo lenguaje, puede estar generado por distintas gramáticas (incluso de distintos tipos).

✓ Verdadero.
▪ Una gramática genera un único lenguaje, pero un mismo lenguaje puede tener muchas gramáticas que lo
generen.

✓ Verdadero.

▪ Una máquina de Mealy es una máquina secuencial en la que la salida se produce:

✓ Durante la transición.

▪ Una máquina de Moore es una máquina secuencial en la que la salida se produce:

✓ En cada estado.

▪ Una tabla de transiciones que representa la función de transición de un autómata tiene tantas filas como:

✓ Estados.

▪ ZZZZZ Pregunta desconocida:

✓ piii

✓ INCORRECTA: ppii

✓ INCORRECTA: pipi

▪ De forma.

✓ De forma

▪ Referencias y Recursos:

✓ Finite State Machine Designer

▪ http://madebyevan.com/fsm/

✓ JFLAP
▪ http://www.jflap.org/

▪ http://www.jflap.org/jflaptmp/

✓ Referencia1

▪ http://enlace1.web/path/

✓ Referencia2
▪ http://enlace2.web/path/