1.

Una de las operaciones que permiten las Expresiones Regulares es el Cierre u operacin
estrella. Si o es una expresin regular, entonces o
*
es una expresin regular que denota
{o
*
}. Es decir denota las cadenas

A. , o , o o , o o o , o o o o , o o o o o
B. o , o o , o o o , o o o o , o o o o o ,
C. o , o o , o o o , o o o o , o o o o o
D. | , o , o o , o o o , o o o o , o o o o o |

2. En el siguiente diseo de mquina de Turing (MT), identifique cuales operaciones realiza y
que son vlidas acordes a la forma de operar o trabajar una MT:



A. Inicializacin de la mquina. Al principio, la cinta est vaca. Se pone la unidad de control
en el estado inicial y se posiciona la cabeza sobre la primera letra de la cadena introducida
y se posiciona la cabeza sobre la primera letra de la cadena introducida. A continuacin se
introduce la cadena de entrada, por ejemplo abaa$abaa.
B. Inicializacin de la mquina. Al principio, la cinta est en blanco. A continuacin se
introduce la cadena de entrada, por ejemplo abaa$abaa, se pone la unidad de control en
el estado inicial y se posiciona la cabeza sobre la primera letra de la cadena introducida.
C. Inicializacin de la mquina. Al principio la cinta contiene la cadena abaa$abaa, se pone la
unidad de control en el estado inicial y se posiciona la cabeza sobre la primera letra de la
cadena introducida. Se da inicio a la mquina para que lea celda por celda.
D. Inicializacin de la mquina. Al principio la cinta contiene la cadena abaa$abaa. Se recorre
toda la cinta para identificar el estado inicial y final. Se posiciona la cabeza en el estado
inicial. Se recorre la cinta.

3. Partiendo de la definicin de que un Autmata Finito Determinstico (AFD) est dado por
la quntupla A = (Q, E, f, q
0
, F) donde:

- Q es un conjunto de estados
- E es el alfabeto de entrada
- f: Q E Q es la funcin (total) de transicin
- q
0
e Q es el estado inicial
- F _ Q es el conjunto de estados finales

Y que para el ejercicio, el autmata acepta las cadenas (01)
*
1):

A = ({q
0
, q
1
, q
2
, q
3
}, {0, 1), f, q
0
, {q
2
,})

Representado mediante el grafo:



La tabla de transicin correspondiente es:

A B
A 0 1 A 0 1
q
0
q
0
q
1
q
0
q
1
q
2

q
1
q
0
q
0
q
1
q
3
q
0

*
q
2
q
3
q
0

*
q
2
q
3
q
3

q
3
q
2
q
2
q
3
q
3
q
3


C D
A 0 1 A 0 1
q
0
q
1
q
0
q
0
q
0
q
0

q
1
q
3
q
0
q
1
q
3
q
1

q
2
q
3
q
3

*
q
2
q
0
q
3

*q
3
q
3
q
3
q
3
q
2
q
2


4. Acorde al autmata del ejercicio N 3, el nombre finito proviene de

A. Que el autmata tiene un solo estado inicial que se puede representar por un * o por un
circulo doble
B. Que el autmata contiene un alfabeto smbolos (letras del abecedario) y estas son finitas
C. Del hecho que el autmata solo tiene un conjunto finito de estados distintos para recordar
lo procesado (no tiene ningn sistema de almacenamiento de informacin adicional).
D. Del hecho que el autmata almacena informacin en un solo estado (el final), que es
donde termina su recorrido

5. Para el siguiente autmata finito denotado como: A
2
= (E, Q, f, q
1
, F) donde E = {0,1}, F =
{q
2
} y Q = {q
1
, q
2
, q
3
, q
4
}, identifique correctamente el Lenguajes que genera y la expresin
regular



A. L = {A
2
} = {0, 001, 01111, } = {1(10)
n
/n 0} La expresin regular es: 0(01)
*

B. L = {A
2
} = {1, 101, 10101, } = {1(01)
n
/n 0} La expresin regular es: 1(01)
*

C. L = {A
2
} = {0, 111, 11100, } = {1(10)
n
/n = 0} La expresin regular es: 1(01)
+

D. L = {A
2
} = {0, 001, 00100, } = {1(01)
n
/n 0} La expresin regular es: 1(01)
*


6. El siguiente diagrama de Moore representa:



A. Expresin regular (q|q
1
)
*

B. Expresin regular (ac|b)
*

C. Expresin regular (bb|ab)
*

D. Expresin regular (ac|b|b)
*


7. Un rbol de derivacin est conformado por una serie de componentes, identifique los
correctos en las siguientes opciones

A. Nodo raz, nodos interiores, hojas
B. Nodo principal, nodos secundarios, nodos finales
C. Nodo inicial, nodos interiores, nodo final
D. Nodo principal, nodos internos, nodo final

A. si las opciones 1, 2 y 3 son correctas
B. si las opciones 1 y 3 son correctas
C. si las opciones 2 y 4 son correctas
D. si todas las opciones son correctas

8. Un alfabeto es un conjunto finito de smbolos. De esta definicin podemos afirmar
correctamente (C)

1. Las cadenas que se forma a partir de un alfabeto finito resultan infinitas.
2. Por smbolo no se est haciendo referencia a un solo carcter. Los smbolos pueden ser
nombres
3. Por ser un alfabeto un conjunto finito de elementos, las posibles cadenas que se formen
no pueden ser vacas
4. Dado un alfabeto, podemos formar palabras o cadenas con los smbolos del alfabeto

9. Un autmata Determinstico de estados finitos (DFA), M, es una quntupla (Q, E, q
1
, F, o),
donde:

- Q es un conjunto finito de estados
- E es un alfabeto finito
- q
1
e Q es el estado inicial
- F _ Q son los estados finales
- o : (Q E) Q es la funcin de transicin de estados

La condicin de ser determinstico es debido a que: (D)

1. Hay un nico estado inicial
2. Las transacciones estn descritas por una funcin total
3. El autmata comienza en el estado inicial y lee una secuencia de smbolos (smbolo por
smbolo hasta que se acabe la secuencia)
4. En cada instante lee un smbolo o y dependiendo del smbolo y del estado s en el que se
encuentra, cambia al estado dado por la funcin de transicin: o(s, o)

10. Las condiciones mnimas para poder describir un Autmata Finito Determinstico (DFA)
son: (D)

1. Dando la lista de sus estados
2. Identificando el alfabeto
3. Identificando el estado inicial y los estados finales
4. Identificando la funcin de transicin

11. Para el siguiente autmata de pila es vlido afirmar: (C)



1. La pila es capaz de reconocer los lenguajes libres de contexto, pero no se pueden
representar como una Mquina de Turing (MT).
2. Si se vaca la Pila (es decir se extraen todas las Z) el autmata se para.
3. La pila no puede escribir nuevos elementos. Ya los tiene almacenados
4. La pila est limitada en un extremo por definicin, cuando se lee un elemento de la Pila.

12. Un movimiento en la Mquina de Turing depende del smbolo explorado con la cabeza y
del estado actual con el que se encuentre la mquina, el resultado puede ser: (A)

1. Cambio de estado
2. Imprime un smbolo en la cinta reemplazando el smbolo ledo
3. Se mueve la cabeza de la cinta a la izquierda, a la derecha o se para
4. Todo movimiento del cabezal vaca la cinta y la inicializa en cero

13. Para el siguiente autmata, M = (Q, A, q
1
, o, F) donde:

Q = {q
1
, q
2
, q
3
, q
4
,}
A = {a, b}



Cuales igualdades son vlidas para la funcin de transicin o

1. 1. o (q
2
, a) = q
2
o (q
2
, b) = q
3

2. 2. o (q
4
, a) = q
4
o (q
4
, b) = q
4

3. 3. o (q
3
, a) = C o (q
3
, b) = q
3

4. 4. o (q
1
, a) = q
2
o (q
1
, b) = q
4


14. Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna
propiedad) que requiere una respuesta de tipo si/no. Para la Teora de Lenguajes, un
problema de decisin es insoluble cuando: (B)

1. Si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no
existe una Mquina de Turing MT).
2. Si no se representa con una tabla de transiciones el problema
3. Si no existe un algoritmo total para determinar si la propiedad y objetivo del problema
es verdadera
4. Si no se representa con un diagrama de Moore el problema

15. Sea el vocabulario {1, 2, 3} la expresin regular (1|2)
*
3 indica el conjunto de todas las
cadenas formadas con los smbolos 1, 2 y 3. Cules sentencias o cadenas son vlidas (B)

1. 121211223
2. 2213311
3. 221113
4. 132211

A. La afirmacin y la razn son VERDADERAS y la razn es una explicacin CORRECTA de la
afirmacin
B. La afirmacin y la razn son VERDADERAS, pero la razn NO es una explicacin
CORRECTA de la afirmacin.
C. La afirmacin es VERDADERA, pero la razn es una proposicin FALSA
D. La afirmacin es FALSA, pero la razn es una proposicin VERDADERA
16. Una de las aplicaciones de los autmatas la podemos encontrar en la construccin de
compiladores PORQUE Mediante un autmata finito determinista es posible deducir si
una cadena pertenece a un lenguaje concreto (A)

17. Cuando un autmata transita a una configuracin final partiendo de la configuracin inicial
en varios movimientos, se dice que se ha producido aceptacin o reconocimiento de la
cadena de entrada PORQUE dicha cadena pertenece al lenguaje reconocido por el
autmata. (A)

18. Cuando un autmata finito no es capaz de llegar a un estado final, se dice que el autmata
no reconoce dicha cadena y que por tanto no pertenece al lenguaje PORQUE el
reconocimiento de la cadena de entrada no depende de la configuracin final sino de la
configuracin inicial del autmata (C)

19. Solo una accin simultnea puede ejecutar una cinta en la Mquina de Turing (MT)
PORQUE la accin de escribir un smbolo en la cinta o la accin de movimiento del cabezal
son excluyentes. Se hace una o la otra pero no ambas a la vez (A)

20. Un autmata de estados finitos es una mquina con un nmero finito de estados que lee
smbolos de una cinta de entrada infinita PORQUE esta mquina est determinada
nicamente por el estado en que se encuentra y el smbolo en la cinta de entrada (A)

A. si de la tesis se deducen los postulados I y II
B. si de la tesis se deduce el postulado I
C. si de la tesis slo se deduce el postulado II
D. si ninguno de los postulados se deduce de la tesis

21. TESIS: Un autmata finito determinista (AFD) es un caso particular de los autmatas finitos
en el que la funcin de transicin no presenta ninguna ambigedad en las transiciones de
estados para una entrada dada (B)

POSTULADO I. Una autmata finito determinista (AFD) es una quntupla AFD = (E, Q, f, q
1
, F)
donde la funcin f: E
*
Q Q es determinista

POSTULADO II. El diagrama de transicin de un autmata de estado finito es un grafo en el
que los vrtices representan los distintos estados y los arcos las transiciones entre los estados.

22. TESIS: Un alfabeto es un conjunto finito A. sus elementos se llamaran smbolos o letras (A)

POSTULADO I: Una palabra sobre el alfabeto A es una sucesin finita de elementos de A

POSTULADO II: Si A = {0, 1} entonces 0111 es una palabra sobre este alfabeto A

23. TESIS: Un lenguaje (L) sobre el alfabeto (A) es un subconjunto del conjunto de las cadenas
sobre A: _ A
*
(C)

POSTULADO I: Existe un lenguaje denominado vaco que se representa por el smbolo {C}

POSTULADO II: El lenguaje (L) se define como un conjunto de palabras de un determinado
alfabeto (A)

24. TESIS: Un autmata de pila (AP) en ingls pushdown automata, es un autmata capaz de
reconocer los lenguajes libres de contexto de tipo 2. Los autmatas de pila se pueden
representar como una mquina de Turing (MT) (C)

POSTULADO I: Los lenguajes generados por las gramticas libres de contexto tambin tienen
un autmata asociado que es capaz de reconocerlos

POSTULADO II: Estos autmatas son parecidos a los autmatas finitos determinsticos, solo
que ahora tendrn un dispositivo de memoria de capacidad ilimitada

25. TESIS: Se pueden usar las operaciones regulares para operar sobre lenguajes de manera
anloga a como se opera sobre los nmeros mediante las operaciones aritmticas. (A)

POSTULADO I: Si o es una expresin regular, entonces {o} es el conjunto descrito por la
expresin regular o. Tambin se puede decir que o denota el lenguaje de la cadena o.

POSTULADO II: Las expresiones regulares describen los lenguajes regulares, luego sus
operaciones correspondern a las indicadas para los lenguajes regulares