TALF - Tipo Test

Bloque 1
1. El lenguaje representado por (00+1)* + (01)* y es de tipo
- 3 y no es finito

2. Identifica la expresión regular que representa el lenguaje (0+1)* - 110*

- 110*

3. La regla AA -> aA
- Es de tipo 1 y no es de tipo 2

4. Dado un conjunto A = {a,b,c}, ¿Con qué lenguaje se corresponde el cierre estricto de A

con respecto a la operación de concatenación?
- L((a+b+c)(a+b+c)*)

5. Si A es un conjunto finito y R es una relación sobre A entonces:

- R puede ser antisimétrica aunque sea reflexiva

6. Dado un alfabeto cualquiera Σ, el conjunto de las cadenas con longitud n ∈ N que se

puede formar con us símbolos tienen cardinalidad
- Finita

7. Siendo {(1,1),(2,2)} una relación binaria sobre {0,1,2}, ¿cuál de estas relaciones binarias
es su cierre simétrico?
- {(1,1),(2,2)}

8. Sea un conjunto A ⊆ N, A = {n ∈ N | n <= 10}, y sea A- el cierre estricto de A con la

operación “resta natural”
- A- = A

9. ¿Cuál de estas condiciones es suficiente para que {A1,A2} sea partición del conjunto A?
- Ninguna de las otras condiciones es suficiente.

10. L(({A,B},{a,b},{A->Ab,A->aB,B->b},A))=
- abb*

11. ¿Cuál de las siguientes igualdades de expresiones regulares son ciertas?

- (1*0)*1* = (1+0)*

12. La suma de dos elementos de N0(+:N0xN0->N0) es una función

- Sobreyectiva

13. Dado una gramática cualquiera G, NO siempre podremos saber si el lenguaje que
representa es vacío cuando G sea de tipo
- 1

14. La cardinalidad de {n∈R:n>100} es

- Infinita no numerable.

1
15. 11111001 ∈
- 1*0*(10+01)*

16. Dados los conjuntos A = {a,b,c,d}, Π1 = {a/c} y Π2 = {b,d}

- Π1 y Π2 definan una relación sobre A

17. La cardinalidad del conjunto potencia de los reales

- No es N0 (alef cero) y no es N1(alef uno)

18. Utilizando la biyección de la demostración de que Σ* es finito numeradle, si Σ = {a,b,c},

con esa ordenación, y w = aaaab, entonces
- f(w) = 122

19. Si f es una función monaria sobre A, con Dom(f) = Rg(f) = A, entonces

- f puede ser sobreyectiva sin ser inyectiva

20. (0+10*)=
- {0,1,10,100,…}

21. Utilizando la biyección de la demostración de que Σ* es infinito numeradle, si Σ1 ⊆ Σ2, y

en los símbolos comunes coinciden la ordenación, entonces el número de cadenas Σ1*
y Σ2* que tienen el mismo número asignado es
- ||Σ1||+1

22. En la función “suma de dos naturales”, el dominio es el conjunto

- NxN

23. Si a es una expresión regular, entonces

- aa*-a* = θ

24. Sea G = (N,T,P,S) con P = {S -> ε}. Entonces

- G es de tipo 0 pero no de tipo 1

25. La regla baABAcA -> baABaAcA

- Es de tipo 1 y no es de tipo 2

26. ¿Cuál de estas proposiciones sobre relaciones es cierta? (Para toda relación R)
- R ∩ R^-1 = R^1- ∩ R

27. Dada la expresión regular ((a+b)*c*), ¿Cuál de las siguientes cadenas NO pertenece al
leguaje definido por dicha expresión?
- cb

28. Θx{a,b}x{c,d}
- {a,b}x{c,d}xΘ

29. Si G = (N,T,P,S) entonces

- S *w, entonces w ∈ L(G), ∀w ∈ T*

2
30. Sea L1 y L2 lenguajes sobre Σ, si defino la operación “prefijos de L1 sobre L2”, notado
L1[L2 = {w∈L1 | w es prefijo de alguna palabra de L2}, entonces
- La operación no tiene elemento neutro.

31. ¿Qué expresión de las siguientes NO se corresponde con un lenguaje?

- ε

32. Sean las gramáticas G1 = ({A},{a},{A->Aa},A) y G2 = ({A},{a},{aA},A). Señala información

INCORRECTA
- L(G1) = L(G2) = {ε}

33. Si dos conjuntos A y B son equipotenciales, ¿cuál de las siguientes afirmaciones es

FALSA?
- A es un subconjunto propio de B o B es un subconjunto propio de A

34. P({1,2}) =
- {θ,{1},{2},{1,2}}

35. Si un conjunto A no tiene subconjuntos propios, entonces

- ||A|| < 2

36. Si una gramática G tiene una regla epsilon, entonces

- L(G) es del tipo 0, y puede ser del tipo 3
37. ¿Cuál de estas proposiciones sobre la jerarquía de Chomsky es cierta?
- L.0≠L.REP
38. La regla a —> a (donde a es un símbolo terminal) es
- De tipo 0 y no es de tipo 1
39. Sea A un conjunto y R una relación de equivalencia sobre A y sea a ∈ A. Si [a]=A ,
entonces ¿cuántas clases de equivalencia habrá?
- 1
40. Sea G = (N,T,P,S) con P = ∅. Entonces
- L(G) ∈ L.3
41. Dada una gramática lineal G, entonces
- G puede no ser ni lineal izquierda ni lineal derecha
42. Marca la afirmación verdadera
- Todo lenguaje no representable es la unión de infinitos lenguajes representables
43. El cardinal del conjunto potencia de un conjunto
- Nunca es cero
44. Marca la afirmación verdadera
- Si f es una función biyectiva, entonces ||Dom(f)||= ||Rg(f)||
45. Si a y b son expresiones regulares sobre un alfabeto , entonces
- (a*b)*a* = (a+b)*
46. Marca la afirmación verdadera
- No todo subconjunto infinito de un conjunto no numeradle es no numerable
47. Una gramática generativa es
- Una forma de representar lenguajes

3
48. Marca la afirmación verdadera
- Todo lenguaje regular tiene al menos una expresión regular que lo representa

49. Dados A={1,2,3} , B={4} y R{{1,4}} se cumple que

- R es un subconjunto de A x B
50. Si a y b son expresiones regulares sobre un alfabeto, entonces
- (a+ Ø) = ( Ø*a)
51. Sean x e y cadenas sobre un alfabeto Σ. Se cumple que xy=yx si
- x=y
52. Sea Σ = {a,b,c,d}. Una expresión regular para el lenguaje L = {w ∈ Σ* tal que |w|=n ||Σ|| ,
n>=0} es
- ((a+b+c+d)(a+b+c+d)(a+b+c+d)(a+b+c+d))*
53. Si a,b ∈ ER, entonces
- ((a*b*)+b*) ∈ ER
54. Elija la opción correcta
- ||R|| - ||N|| = 2^N0
55. Identifica la expresión falsa
- ||L(AFND)|| es no numerable
56. Sea G=(N,T,P,S) con N={A,B} , T={0,1} , P = {A--> 1100A | OB | 0, B--> 0B | 0}, S=A ¿Cual de
los siguientes lenguajes es el lenguaje generado por G?
- (1100)* 0 0*
57. Marca la afirmación verdadera
- La regla ABA→BABA es sensible al contexto
58. El cierre amplio de un conjunto para una operación
- Incluye su cierre estricto
59. Si un conjunto es equipotencial con el conjunto de los números naturales pares, dicho
conjunto
- Es infinito
60. Sea el monoide (N,+) y sea B ⊆ B+ ∧ ||B||>1 , entonces
- ||B|| = N0 (alef cero)
61. Para toda relación R , su cierre reflexivo es
- RUI
62. Sea Σ = {a,b,c}. Dado L = {w ∈ Σ* | aa no es una subcadena de w} , una ER del mismo es
- L=(b+c)* (a+ε)((b+c)(a+ε))*(b+c)*
63. ¿Cuál de las siguientes expresiones identifica un lenguaje sobre un alfabeto Σ?
- Ø
64. La gramática G = ( {S}, {b}, { SS → bS }, S ) es
- De tipo 1 y no es de tipo 2
65. Dados A ={1,2,3} , B = {4} y R{{1,4}} se cumple que
- R es un subconjunto de A x B

4
66. Si G=(N,T,P,S) es lineal izquierda y lineal derecha a la vez, entonces
- L(G)|| <= ||P||
67. El cierre transitivo de una relación R está definido como
- R^∞
68. Marca la afirmación verdadera
- No todo subconjunto infinito de un conjunto no numerable es no numerable
69. Si A={1,2,3} y R={(1,1),(2,2)} entonces
- R es una relación simétrica sobre A
70. Una gramática es
- Una forma de representar lenguajes
71. El conjunto de todos los posibles lenguajes representables sobre un alfabeto es
- Infinito numerable
72. Sean A={1,2} y B={3,4}. R={(1,4),(2,3)}
- Es una función biyectiva de A a B

Tests:
https://www.daypo.com/talf-bloque-1.html
https://www.daypo.com/bloque-1-talf.html
https://www.daypo.com/talf-bloque-1-2020-2021.html

5
Bloque 2
1. Los autómatas con pila no deterministas
- Representan lenguajes de tipo 2

2. El teorema de Myhill-Nerode se suele utilizar para demostrar que un lenguaje

- No es regular

3. Cuando, al menos, una cadena de un lenguaje generado por una GCL es el producto de
más de un árbol de derivación
- La gramática es ambigua

4. Si M es un AFDM entonces
- Todos los AFD equivalentes tienen mayor o igual número de estados que M

5. Sea M un APND
- Si ninguna computación de M altera el contenido de la pila, entonces L(M) ∈ L.3

6. Marca la afirmación verdadera

- La relación de indistinguibilidad es una relación binaria sobre Σ*

7. Marca la afirmación falsa

- Si L cumple la CBCL entonces es un lenguaje de tipo 2

8. L(APND) =
- L.2

9. Una GCL es ambigua si

- ⱻw ϵ L(G) / w es producto de más de un árbol de derivación

10. L={0n1n}
- Es un lenguaje de tipo 1

11. Sea M un APND

- Si ninguna computación de M altera el contenido de la pila, entonces L(M) ∈ L.3

12. Un AFDM
- No puede tener estados inaccesibles

13. Si un AFD acepta un lenguaje finito L, entonces

- El cardinal del lenguaje es menor que el número de estados del AFD

14. Marca la opción incorrecta

- Todo GCL tiene al menos un símbolo útil

15. Los lenguajes de contexto libre son cerrados para las operaciones de
- Unión, concatenación y estrella de Kleene

16. En un diagrama de estados de un AFND

- Una etiqueta representa la subcadena consumida

17. Si dado un lenguaje L⊆M*, todas sus cadenas son indistinguibles entre sí, entonces
- L=Σ∗ ó L=∅
18. En la condición de bombeo regular, siendo x=uvw, se cumple que
- |v|>0
6
19. En un APND una configuración
- Es una terna perteneciente a K×Σ*×Γ*

20. L(AFD)=
- L(AFND)

21. Un APND, con conjunto de estados finales F, acepta una cadena w si y sólo si
- ⱻ q ϵ F / ( s, w, e) ->* ( q, e, e)

22. El conjunto de configuraciones terminales de un AFD definido por (K,Σ, δ,s,F)

- Tiene el mismo cardinal que K

23. El conjunto de configuraciones iniciales de un AFD definido por (K,Σ, δ,s,F)

- Es infinito

24. Una GCL es ambigua si el lenguaje que genera

- Es inherentemente ambiguo

25. Si x, y ∈ Σ* y son indistinguibles respecto a L, entonces ∃ z ∈ Σ* tal que

- (xz ∈ L ∧ yz ∈ L) ∨ (xz ∉ L ∧ yz ∉ L)

26. Si un lenguaje cumple la condición de bombeo regular, entonces

- No podemos afirmar que es regular

27. Dados L ⊆ Σ* y x,y ∈ Σ*. Si (xz ∈ L ∧ yz ∈ L) ∀z ∈ Σ*, entonces

- x e y son indistinguibles

28. Un AFND transita en función de

- Un estado y un prefijo de la cadena

29. Si un lenguaje no es regular, entonces siempre se verifica que

- No puede representarse con un AFD

30. Una gramática es propia si

- No es recursiva izquierda y no tiene símbolos inútiles

31. Si M = ( {s,f}, {a,b}, {a,b}, {(( s, aa, ϵ ), (s, b)), (( s, ϵ, ϵ ), (f, ϵ)), (( f, a, b), (f,ϵ ))}, s, {f}),
entonces
- L(M)={w∈{a,b}∗|w=a3nconn∈N}

32. Marca la opción verdadera

- Todo GRI está en FNG

33. Si una GCL es recursiva por la izquierda, entonces

- Existe una GCL equivalente que no es recursiva por la izquierda
34. En un AFD
- Puede haber más computaciones que cadenas aceptadas
35. ¿Cuál de estas configuraciones de ({q0,q1},{|},Δ,q0,{q1}) es inicial?
- (Q0,|||)
36. ¿Qué lenguaje representa este AFD?
- a(a+b)*
37. ¿Cuál de estas transiciones puede ser realizada por ({q0},{0,1},{(q0,010,q0)},q0,{q0})?
- (q0,0100100100100) *(q0,ε)
7
38. La gramática ({A,B},{a,b},{A→aAa | aB, B → b},a)
- Tiene infinitos árboles de derivación
39. ¿Qué cadena puede ser aceptada por ({q0,q1,q2},{0,1},{(q1,1,q0),(q1,1,q0),(q1,1,q2)},q0,
{q2}?
- Este autómata no acepta ninguna cadena
40. La gramática ({A,B},{0,1},{A→0A|B,B→01|1},A)
- Es ambigua
41. ¿Qué conjunto de cadenas es totalmente aceptado por el autómata de la figura?
- {bbaba,ba,bba,ε}
42. El teorema de Myhill-Nerode afirma que
- Un lenguaje L es regular si el número de clases de equivalencia de la relación de
indistiguibilidad es finito

43. En un AFD, la función de transición define como

- δ: K xΣ → K
44. ¿Cuántos lenguajes hay sobre un alfabeto dado de modo que no haya cadenas sobre
dicho alfabeto que sean distinguibles respecto a ese lenguaje?
- Dos
45. ¿Cuál de estas configuraciones de ({q0,q1},{|},Δ,q0,{q1}) NO es final?
- (q0,ε)
46. El lenguaje generado por una gramática en forma normal de Chomsky:
- Nunca contiene la cadena vacía
47. Si un AFD M = (K, Σ,δ,s,F) sin estados inaccesibles reconoce el lenguaje vacío,
entonces:
- || F || = 0
48. Dado un lenguaje independiente del contexto cualquiera, su complemento
- Es representable mediante un autómata finito
49. Si un lenguaje L no cumple la condición de bombeo regular, entonces
- L !∈ L.3
50. Dado el siguiente AFD M = ({q0,q1,q2},{0,1},δ,q0,{q0,q1}), donde:
δ(q0,0)=q1
δ(q0,1)=q0
δ(q1,0)=q1
δ(q1,1)=q2
δ(q2,0)=q2
δ(q2,1)=q2
¿Qué lenguaje reconoce dicho autómata?
- Las cadenas binarias que no contienen la subcadena 01
51. Dado un lenguaje regular que contiene la cadena vacia:
- Para cualquier AFD que lo reconozca, su estado inicial siempre es final
52. ¿Qué cadenas son indistiguibles respecto al lenguaje L = {0,1}*?
- Todas las cadenas de L
53. ((q0,1,1),(q1,0))
- Especifica una transición de un autómata de pila
8
54. ¿Cuál de los siguientes vectores podría ser una transición de un APND con K = {q0,q1} y
Σ = {a,b}?
- ((q0,a,ε),(q1,ε))
55. ¿Qué expresión regular equivale a este AFND?
- 11*+0(10)*
56. Para todo par AFD M = (K, Σ,Δ,s,F) y M' = (K, Σ,Δ,s,K-F), se cumple
- Negado(L(M')) = L(M)
57. Marca la afirmación verdadera:
- Toda gramática que es recursiva por la derecha e izquierda a la vez no es regular
58. Una gramática propia
- No puede generar el lenguaje vacío
59. Dado el AFND M = (K, Σ,Δ,s,K)
- ε ∈ L(M)
60. L(DFA) - L(NFA) =
- L(NFA) - L(DFA)
61. ¿Cuál de estas configuraciones de ({q0,q1},{|},Δ,q0,∅) es final?
- Este autómata con pila no tiene configuraciones finales
62. Dado el lenguaje L ={ x^n y^n : n >= 0}, el lema del bombeo para dos lenguajes regulares
permite demostrar que:
- No es posible construir un autómata finito que reconozca L
63. Si (q,u,w) es una configuración de bloqueo de M, siendo M un APND, entonces w !∈ L(M)
- Falso
64. Si L es un lenguaje de contexto libre, entonces no cumple el lema de bombeo para
lenguajes regulares.
- Falso
65. Dado un lenguaje de contexto libre L, representable mediante una gramática en forma
normal de Chomsky (FNC), su lenguaje complementario Lc:
- En ningún caso puede ser generado por una grámatica en FNC
66. Sea L un lenguaje. Sean x ∈L, y !∈L. Se cumple que x, y son distinguibles con respecto a
L.
- Verdadero
67. Si un símbolo no terminal de una gramática G es terminable, entonces se cumple
siempre que L(G) ≠ Ø
- Falso

Tests:
https://www.daypo.com/talf-2-bloque.html
https://www.daypo.com/talf-parcial-2.html
https://www.daypo.com/talf-bloque-2.html
9
Bloque 3
1. La incompletitud de los sistemas formales fue demostrada
- Por Kurt Gödel

2. La tabla de una MT con tres estados y dos símbolos tiene

- Nueve filas

3. En el modelo de funciones repulsivas, el símbolo Pi (π) representa

- Un subconjunto de TREC

4. Una tabla de una MT

- No puede tener sólo una fila

5. Un predicado es decidible
- Si se puede encontrar su valor de verdad

6. Una máquina de Turing

- Es una abstracción matemática

7. Sea M la MT especificada por la tabla indicada abajo, marque la configuración terminal

que se obtiene para la configuración inicial (0, …* || * || *…). 0* L 1 0 | L 1 1 * | 2 1 | L 1 2 *
L32|R23*L43|*34*h44|*4
- (4, … * ||| * …)

8. Indicar el valor que se obtiene al evaluar la siguiente función recursiva para n=2. f(n) = μ
[resta(π 21, producto(π 22, π 22))] (n) donde resta es la función recursiva “resta natural”
y producto la operación “producto” entre dos naturales.
- f(2)=1

9. El concepto de sistema de numeración es

- Anterior a la aparición del número cero

10. La expresión de cinta de una MT es

- Una aplicación

11. En una recesión primitiva

- La función base tiene dos argumentos menos que la función de inducción

12. El conjunto de configuraciones de una MT

- Puede ser finito o infinito dependiendo de la MT

13. Dado un código While s, se cumple que:

- La función salto(sin) puede devolver un valor menor que n

14. Los orígenes de la palabra “algoritmo”:

- Son anteriores a 1936

15. Una MT puede ejecutar el siguiente método de operación: ( …*w*… -> …*ww*… )
- Sólo si ejecuta la instrucción “halt”

16. Una MT puede realizar

- Cuatro instrucciones elementales
17. Una función f es WHILE-computable si y sólo si
- Existe un programa WHILE Q | FQ=f
10
18. Indicar el valor de la función siguiente para n=3, m=1 : f(n,m) = < π 11|predecesor3>
(n,m), donde la función predecesor3 está definida como: predecesor3(n1,n2,n3) = n3-1
- f(3,1)=2

19. La tabla de una MT

- No puede tener menos de dos líneas

20. Sea Q = (1,2,s) un programa WHILE cuyo código se describe a continuación:

s: X2 := X1 – 1 ;while X1 ≠ 0 doX1 := X1 – 1 ;X1 := X1 – 1 ;X1 := X1 – 1 ;X2 := X2 + 1 ;X2 :=
X2 + 1 ;X2 := X2 + 1od ; X1 := X2
- CALQ(5,4) = (5,3,4)

21. El cardinal de las funciones computables es

- Menor que el de las funciones no calculables

22. σ(θ) es:

- Una función constante

23. “Principia Mathematica” fue escrito por

- Alfred N. Whitehead y Bertrand Russell

24. Marca la afirmación verdadera:

- Las proyecciones son un subconjunto propio de las funciones iniciales

25. Sea el programa WHILE Q = (1, 1, 1:=X1+1;X1:=X1+1)

- TQ(3) = 2

26. Si un programa WHILE de tamaño 6 transita directamente de (5, 1, 1) a (2, 1, 1), entonces
su código
- Contiene bucles

27. Una máquina de Turing de un estado sobre una cinta no vacía

- Puede parar sobre el cuadrado escrutado inicial

28. La función recursiva < θ | > es la función

- Máximo {n-1, 0}

29. El teorema de incompletitud de K. Gödel se publicó

- Antes de 1936

30. La función reemplazar del programa universal (Reem) es

- Una función total

31. Sea Q=(1,2,s) con s: X2:=X1;While X2≠ 0 doX1 := X1 + 1 ;X2 := X2 - 1 ;od X1 := X1 + 1

- TQ(n)=4n+3 ∀ n ∈ N

32. La expresión de cinta de una MT es una aplicación que

- Nunca es biyectiva

33. Si f =μ[g] entonces

- g tiene al menos un argumento

34. La función complejidad Temporal (T)

- No puede calcularse cuando no es posible alcanzar una configuración terminal
35. La función recursiva < θ | π 21 > es la función
- Máximo {n-1, 0}, donde n es el argumento de la función
11
36. Sea Q = (1, 2, s) un programa WHILE cuyo código se describe a continuación: s: X2 := X1
– 1 ;while X1 ≠ 0 doX1 := X1 – 1 ;X1 := X1 – 1 ;X2 := X2 + 1 ;X2 := X2 + 1 ;od ; X1 := X2
- CALQ(5,5) = (6,3,5)

37. Indicar el valor de la función

f(n, m) = suma(resta(π 21, π 22), resta(π 22, π 21))(n, m) para n=3 m=2, donde suma es la
función "suma" entre dos naturales y resta es la función "resta natural" entre dos
naturales es:
- f(3,2)=1

38. Una máquina de Turing de un estado sobre una cinta no vacía

- Puede parar sobre el cuadrado escrutado inicial

39. En una tabla de una MT

- Si en la tercera columna no hay elementos repetidos, entonces tienes menos de tres estados

40. Sea Q=(1,2,s) con s: X2:=X1While X2≠ 0 doX1 := X1 + 1 ;X2 := X2 - 1 ;od

- TQ(n)=4n+2 ∀ n ∈ N

41. En una composición

- El número de funciones internas y externas puede coincidir

42. Elija la opción correcta:

- Un conjunto perteneciente al conjunto potencia de los naturales puede no ser enumerable ni
decidible

43. Si un conjunto es vacío su función característica

- Siempre vale cero

44. Del teorema de equivalencia podemos concluir que:

- REC incluido en F(WHILE)

45. La tercera columna de una tabla de una MT representa

- La función de instrucción
46. Una función recursiva
- Puede ser parcial i para su definición se utiliza el operador de minimización no acotado
47. Una configuración de una MT es
- Una terna

48. Sea Q=(2,2,s) con s

While X2 != 0 do
X1 := X1 + 1
X2 := X2 - 1
od
- F(n,m) = n+m

49. Si un conjunto es vacío su función característica

- Siempre vale 0

50. Una función recursiva f calculada como composición de funciones recursivas, tiene un
número de argumentos:
- Igual al número de argumentos de las funciones internas de la composición.

12
51. Una función recursiva f definida mediante el operador de minimización no acotada (f =
μ[g]):
- Puede ser una función total

52. Una función While-calculable es aquella que se puede representar mediante

- Al menos un programa en While

53. El conjunto de configuraciones de una MT

- Siempre es infinito

54. La tercera columna de una tabla de una MT representa

- La función de instrucción
55. Para la MT dada por la tabla:
0*I1
0|I1
1*h1
I|I1
- No existe ninguna configuración inicial para la cual la MT no se para

56. En una MT si una configuración transita directamente a otra, entonces:

- Dichas configuraciones pueden ser iguales aunque la segunda no sea terminal

57. Si una MT tiene k estados y n símbolos en su alfabeto, entonces el número de filas de

su tabla es:
- k*(n+1)
58. El predicado es Turing-decidible si:
- Es el predicado asociado a una función total Turing Computable

59. Si para una MT de varios estados hay computaciones terminadas pero no hay
computaciones completas, entonces podemos afirmar:
- Que no computa ninguna función

60. Dada una función recursiva cualquiera, se cumple que:

- La función es WHILE - Computable
61. Dado Q=(2,2,s) con s:
While X2 != 0 do
X1 := X1 + 1
X2 := X2 - 1
od
- (2, 0, 1)

62. El concepto de sistema de numeración es

- Anterior a la aparición del número cero

63. En una MT con un único estado y la cinta vacía, el conjunto de configuraciones que son
a la vez iniciales y terminales:
- Puede ser infinito
64. Marca la afirmación VERDADERA:
- Una función total puede tener cero argumentos sin ser parcial
65. TREC es un conjunto de funciones
- Que incluye a las funciones iniciales

13
Tests:
https://www.daypo.com/talf-3.html
https://www.daypo.com/talf-bloque-3.html

14
Bloque 4
1. Sea el programa WHILE Q = (1,1,X1:=X1+1;X1:=X1+1)
- TQ(3) = 2

2. F(WHILE) es un conjunto con cardinal

- Igual que REC-TREC

3. Si un problema es no resoluble, entonces:

- El predicado del que es asociado puede ser enumerable.

4. El predicado H1 es parcialmente resoluble

- Porque es el predicado asociado a la función computable f=σ(U[REC1])

5. Codi (X1 := 0 ; X1 := X1 - 1)
- 64

6. Si s1 2(3,4)=32, entonces:
- codi( X4 := X5 - 1 ) = 163

7. Elija la opción correcta

- Un conjunto perteneciente al conjunto potencia de los naturales puede no ser enumerable ni
decidible

8. Marca la opción verdadera

- INI está incluido en F(WHILE)

9. La función reemplazar del programa universal (reem) es:

- Una función total

10. Marca la opción verdadera:

- f = g(h) ^ g, h pertenece a TREC f pertenece a T-WHILE

11. Marca la opción verdadera:

- F(n, p, s) = F(n, p+i, s)

12. Marca la opción verdadera:

- WHILE incluido en WHILE_A

13. Toda indexación de función es:

- Sobreyectiva

14. Marca la opción falsa:

- Toda función total es computable

15. Sea Q=(1,2,s) con s:

X2:=X1;
While X2≠ 0 do
X1 := X1 + 1;
X2 := X2 - 1;
od
X1 := X1 + 1
- TQ(n)=4n+3 ∀ n ∈ N
16. Marca la opción verdadera:
- f = μ[g] ^ f no pertence a F(WHILE) g no pertenece a F(WHILE)
15
17. La función Castor Afanoso es:
- Creciente ( m > n entonces Σ(m) > Σ(n) )

18. La función dedo es:

- Sobreyectiva pero no inyectiva

19. La longitud de un programa WHILE

- A veces coincide con su tamaño y otras veces no
20. Dado un código While, se cumple que:
- La función salto(s, n) puede devolver un valor menor que n
21. Si un programa WHILE de tamaño 6 transita directamente de (5,1,1) a (2,1,1), entonces
su código
- Contiene bucles
22. Una función f es WHILE-computable si y sólo si
- Puede representarse con MT
23. Marca la opción verdadera:
- f = 〈g|h〉 ^ f no pertenece a TREC ( g no pertenece a TREC v h no pertenece a TREC )

24. Sea Q = (1, 2, s) un programa WHILE cuyo código se describe a continuación:

s:
X2 := X1 – 1 ;
while X1 ≠ 0 do
X1 := X1 – 1 ;
X1 := X1 – 1 ;
X1 := X1 – 1 ;
X2 := X2 + 1 ;
X2 := X2 + 1 ;
X2 := X2 + 1
od ;
X1 := X2
- CALQ(5,4) = (5,3,4)
25. Marca la opción verdadera:
- F(WHILE) incluido en REC
26. La función Reem tiene
- Tres argumentos
27. Marca la opción verdadera
- μ[ U[REC 100] ] pertenece a REC 100
28. Si codi(s) = 50, entonces:
- Codi(s) = god(50) - 1
29. Del Teorema de Equivalencia podemos concluir que:
- REC ⊆ F(WHILE)
30. La función tipo es:
- Sobreyectiva pero no inyectiva
31. Si a la definición de la función castor afanoso le añadimos que Σ(0)=0 entonces:
- Σ es una función total pero no recursiva

16
32. El problema H1
- Es parcialmente resoluble
33. Marca la opción verdadera:
- Σ(2) = 2
34. Si a la definición de la función “Castor Afanoso (Σ)” le añadimos Σ(0)=0, entonces:
- Σ es una función total pero no recursiva
35. Elija la opción correcta:
- U[RECn]∈RECn+1
36. Sean Q y R dos programas WHILE distintos de 1 argumento, entonces:
- CODI(Q) != CODI(R)
37. El problema de la parada para programas con una entrada (dado por el predicado H1)
- Es parcialmente resoluble
38. Elige la opción correcta:
- F(n,p,s) = F(n,p+i,s), donde
p=max{n,k} con
k=max{m∈Σ+d|Xm≺s}

39. La función god es:

- Biyectiva y recursiva
40. El programa Reducir tiene:
- Una entrada
41. Si codi(s) = 50, entonces
- codi(s) = god(50) - 1
42. Sea RECⁿ el conjunto de funciones recursivas de Nⁿ en N. La función universal U[RECⁿ]
verifica:
- U[RECⁿ] : Nⁿ⁺¹ -> N
43. Si a la definición de la función "Castor afanoso (Σ)" le añadimos que Σ(0) = 0 :
- Σ es una función total pero no recursiva
44. Dado el código s:
While X₁ ≠ 0 do
X₁ := 0
od
- codi(s) = 4
45. Elija la opción correcta
- U[RECⁿ] ∈ U[RECⁿ⁺¹]
46. Codi(X₁ := 0; X₁ := X₁ -1)=
- 64
47. El siguiente macroprograma Q = (k, k+1, s) con s:
(imagen)
Se utiliza para demostrar:
- f = μ[g] ∧ g ∈ F(WHILE) f ∈ F(WHILE)

48. El programa "Añadir(z, s)" que se ejecuta dentro del programa "Simular":
- añade el código s a continuación del código codificado por z
17
49. La función CODI para la codificación de programas se define como:
- CODI(Q) = σ³₁ (n, p - max{n, k}, Codi(s))
50. La función Castor afanoso
- No es una función Turing-computable
51. El predicado H¹ es:
- enumerable porque es el predicado asociado a una función recursiva
52. El programa Universal U(z, x̲) calcula:
- el valor de salida del programa (n, max{n, k}, DeCodi(z)) para el vector de entrada x̲
53. F(WHILE) es un conjunto con cardinal
- Igual que REC-TREC
54. Del Teorema de Equivalencia se concluye que:
- REC = F(WHILE)
55. Sabemos que WHILE ⊂ WHILE_A y que
- F(WHILE_A) = F(WHILE)
56. Dada la función Castor Afanoso (Σ), se cumple que:
- si m > n Σ(m) > Σ(n), con m, n ∈ N

57. Del Teorema de Equivalencia podemos concluir que:

- porque es el predicado asociado a la función computable f = σ(U[REC¹])
58. La función degod es:
- Recursiva y total
59. Dado Q=() ¿Fq ∈ REC?
- Sí
60. Si el problema de la parada fuera resoluble, entonces se verificaría que
- Σ ∈ TREC
61. El natural 55 codifica la sentencia
- X12 = 0
62. El predicado H1 es
- enumerable porque es el predicado asociado a una función recursiva
63. Si la definición de la función Castor afanoso (Σ) le añadimos que Σ(0)=0
- Σ es una función total pero no recursiva
64. Un problema es no resoluble si
- no se puede definir en base a un predicado decidible
65. Sea REC^n el conjunto de funciones recursivas de N^n en N. La función universal
U[REC^n] verifica
- U[REC^n] : N^n+1 --> N
66. Si Q=(5,s) entonces U[REC^5](while2N(Q),2,0,1,1,4)
- F(5,3)(2,0,1,1,4)
67. Según el teorema de equivalencia
- f ∈ rec => ∃Q ∈ WHILE : Fq = f
18
68. Determina que Q ∈ WHILE verifica FQ = σ(σ(pi(4,2))
- Q= (4,4,X1=X2; X1=X1+1;X1=X1+1)
69. El predicado H^1 es
- Recursivamente enumerable
70. La función Castor afanoso verifica
- Σ(1201)<Σ(1202)
71. ¿Cuál de estas proposiciones es cierta?
- N ⊂ N*
72. La codificación de Cantor de N^3 establece
- una biyección entre N y N^3

73. El programa Universal U(z,x) calcula:

- el valor de salida del programa (n,max{n,k},DeCodi(z)) para el vector de entrada x
74. La máquina de Turing universal tiene como entrada
- Una máquina de Turing y sus argumentos
75. Σ(6)=
- 2*Σ(3)

76. Siendo P y S dos programas WHILE para el producto y suma de dos naturales,
respectivamente, ¿Cuál de estos programas demuestra que f(x,y) = x^2+y^2+2xy es una
función recursiva?
- (2,X3 := S(X1,X2);X4:=S(X1,X2);X1:=P(X3,X4))
77. Q = (2,s) ∈ while ^ |s|do + |s|:= = 1 si
- s = X5001 := X129
78. Si g ∈ REC: N^4 → N Λ f = μ[g] Λ Fq = f entonces, basándonos en la demostración del
teorema de equivalencia:
- Fq ∈ F(WHILE)^3

79. ∀z ∈ N, z = σ(2,1) (σ(1,2)(z),σ(1,(2,2))(z))

- Es una proposición cierta
80. Referida a las codificaciones de Cantor, ¿Cuál de estas afirmaciones es FALSA?
- ∃ p,q ∈ N,x ∈ N^p, y ∈ N^q : p ≠ q Λ σ(p,1) (x) = σ(q,p) (y)
81. Sea REC^n el conjunto de funciones recursivas de N^n en N. La función universal
U[REC^n] verifica:
- U[REC^n]: N^(n+1)→N

82. Si a la definición de la función "castor afanoso (Σ)" le añadimos que Σ(0)=0

- Σ es una función total pero no recursiva
83. Referida a la codificación de Gödel, ¿Cuál de estas afirmaciones es cierta?
- ∃p,q,r ∈ N : p ≠ q Λ δ(p,r) = δ(q,r)

84. < π(2,1) | π(4,1) > =

- F(3,X1:=X1)

19
Tests:
https://www.daypo.com/talf-bloque-4-1.html
https://www.daypo.com/bloque-4-talf.html
https://www.daypo.com/talf-bloque-4.html
https://www.daypo.com/talf-4.html

20