talf bloque 4

Sea α41 (x, 2,2,4) = z. ¿Cuál es x sabiendo que z = 81809?. x = α12 (81809). x = α1 4,2 (81809). x = α1 4,1 (81809).

Sean Q y R dos programas WHILE distintos y con 1 argumento de entrada: (FQ(x), FR(x)) ∊ 𝑁^2 , ∀x,y ∊ N. CODI(Q) ≠ CODI(R). FQ(x) ≠ FR(x), ∀x,y ∊ N.

Elige la CORRECTA: La función universal para 𝑇𝑅𝐸𝐶^1 es una función total. La función universal para 𝑅𝐸𝐶^n pertenece a REC^n. La función universal para 𝑅𝐸𝐶^1 es una función total.

La función codi para la codificación de sentencias: no es una función total porque está definida para códigos. es una función total. no es una función total porque hay sentencias que no pueden codificarse.

Para el lenguaje WHILE ampliado (WHILE_A) se cumple que: WHILE (WHILE_A y F(WHILE_A) = F(WHILE). F(WHILE) ≠ F(WHILE_A). WHILE_A ⊂ WHILE y F(WHILE_A) = F(WHILE).

Sea WHILE Q = (0, 1, s) donde s: While X1 ≠ 0 do X1:= X1 + 1; od ¿Cuál es la función recursiva equivalente f(x)?. σ(x). θ(). μ[σ(π11)].

Sea σ11 (238) = z. ¿Qué vale z?. z = П21 (238, 248). z = П22 (238, 240). z = θ(0).

Tenemos las funciones f = μ[g], g ∊ (F(T_WHILE)): f ∊ F(T_WHILE). f ∊ F(WHILE). f ∉ F(WHILE).

Sea WHILE Q = (1,2,s) donde s: X2 := X2 + 1; While X1 ≠ 0 do X2 := 0; od X1 := X2. Q ∊ 𝑃^5. Q ∊ 𝑃^4. Q ∊ 𝑃^2.

Sea el programa WHILE Q= (1,2,s) donde s es: X2 := 0; X1 := X2; ¿Cuál es la función recursiva equivalente?. σ(θ). θ. < θ | π22 >.

Si a la definición del castor afanoso (Σ) añadimos que Σ(0) = 0: Σ ∊ T-REC. la función Σ no es total ni recursiva. la función Σ es total, pero no recursiva.

Si codi(s) = 50, entonces: Codi(s) = god(50) - 1. Codi(s) = 49. Codi(s) = 50.

Cual es VERDADERA: Si long(Q) = tam(Q) entonces FQ ∊ T-REC. Si long(Q) > tam(Q) entonces FQ ∉ T-REC. Siempre se cumple que long(Q) ≠ tam(Q).

Sea el microprograma WHILE: X2 := θ(); do X1 times X2 := π22 (X3, X2) X3 := X3 + 1; od; X1 := X2 ¿Qué función computa este programa?. f(x) = 1. suma(x,y). f(x) = 0.

Sea s: X1 := 0; X1 := X1 - 1 ¿Qué vale Codi(s)?. 34. 32. 64.

Del contenido de Memoria solo sabemos que X1=0, desconocemos X2 y X3. Sentencia a ejecutar s: X2 := X1, Ejecutar(z,m) = m’, m = 1651, z = codi(X2 := X1), m’ = 1651. degod(m’, 1) ≠ degod(m, 1). degod(m’, 3) = 0. degod(m, 2) = degod(m, 1).

Cual es VERDADERA: Σ (2) = 1. Σ (2) = 2. Σ (2) = 3.