vaginaviril_6

La función universal U(z, x_): ninguna de las otras opciones es correcta. devuelve la salida del programa (n,max{n,k}, DeCodi(z)) para el vector de entrada x_. devuelve el código del programa (n,max{n,k}, DeCodi(z)) para el vector de entrada x_.

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

La función degod es: recursiva y total. no computable. recursiva y parcial.

Una función de indexación para un conjunto de funciones tiene que ser: inyectiva. biyectiva. sobreyectiva.

El programa Simular (z,m) que aparece en el programa Universal. permite ejecutar las sentencias de asignación del programa m con entrada. puede tener dos o más argumentos. simula el funcionamiento del programa z con la memoria m.

La función Castor afanoso está definida como: ∑(n) = max {Q(0) | Q ∈ WHILE¹ y Q ∈ P ^n y Q(0) ∈ N}. ∑(n) = max {Q(n) | Q ∈ WHILE ^n y Q ∈ P¹ y Q(n) ∈ N}. ∑(n) = max {Q(0) | Q ∈ WHILE^n y Q ∈ P¹ y Q(0) ∈ N}.

Elija la opción correcta: U[REC^n] ∈ REC ^n. U[REC¹] es una función total. U[REC^n] ∈ REC ^(n+1).

El predicado H¹ es parcialmente resoluble. porque no es resoluble. porque es el predicado asociado a la función computable f= σ (U[REC¹]). porque es el preficado asociado a la función Σ.

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. Σ ∈ T-REC. la función Σ no es ni total ni recursiva.

Del Teorema de Equivalencia podemos concluir que: existe un programa universal. REC = F(T-WHILE). REC ⊆ F(WHILE).

Toda indexación de funciones es. biyectiva. invertible. sobreyectiva.

El problema de la parada para programas con una entrada (dado por el predicado H¹). es parcialmente resoluble. es no enumerable. ∈ T-REC.

La función Castor Afanoso es. una aplicación biyectiva entre naturales. parcialmente resoluble. creciente ( m > n ⇒ ∑(m) > ∑(n) ).

Sean Q y R dos programas WHILE distintos de 1 argumento, entonces. Fq(x) != Fr (y), ∀ x,y ∈ N. (Fq(x), Fr (y)) ∈ N², ∀ x,y ∈ N. CODI(Q) != CODI(R).

La función reemplazar del programa universal (reem) es: una función total. una función inyectiva. una función parcial de 3 argumentos.

Se cumple que Fq = θ si: Q = (0, 0, X1 := 0). Q = (1, 1, X1 := 0). Q = (0, 1, X1 := 0).

El predicado H^n tiene: n+1 argumentos. n argumentos. dos argumentos.

El programa Simular que aparece en el programa Universal tiene: un único argumento. puede tener tres o más argumentos. dos argumentos.

Marca la afirmación verdadera: un predicado no resoluble va asociado a un problema no decidible. un problema no resoluble va asociado a un predicado no decidible. un problema no resoluble va asociado a un predicado no enumerable.

∀ Q ∈ WHILE: tam (Q) > long (Q). tam (Q) ≤ long (Q). tam (Q) ≥ long (Q).

Marque la opción falsa: Toda función total es computable. El cardinal de T-REC es igual al cardinal de REC. Todo conjunto decidible es enumerable.

Marca la afirmación verdadera: WHILE_A = WHILE. F(WHILE_A) = F(WHILE). WHILE_A ⊆ WHILE.

En el lenguaje WHILE ampliado los comentarios: solo se pueden escribir en lineas vacias. se pueden escribir al inicio de una linea de codigo. se pueden escribir al final de una linea de codigo.

Elige la opción verdadera: Σ(2) = 3. Σ(2) = 2. Σ(2) = ↑.

si g: N ^(k+1) -> N y f = μ[g] y Fq = f entonces: Q = (k, k, s). Q = (k+1, k+1, s). Q = (k, k+1, s).

Sea el programa WHILE Q = (1, 2, s), donde s es el siguiente codigo WHILE: X2 := X1 -1; While X2 != 0 do X1 := producto (X1, X2); X2 := X2 - 1; od La línea := producto (X1, X2) es una macroinstrucción (Lenguaje WHILE ampliado) y se tratará como una única instrucción. ¿Cuánto vale Tq(n)?. 4n + 2. 4(n-1) + 2. 4(n-1) + 1.

La función castor afanoso es una función que: ∈ F(MT). es parcialmente resoluble. !∈ REC.

Sea el programa WHILE Q = (1, 2, s), donde s es el siguiente codigo WHILE: X2 := X1 -1; While X2 != 0 do X1 := producto (X1, X2); X2 := X2 - 1; od La línea := producto (X1, X2) es una macroinstrucción (Lenguaje WHILE ampliado) y se tratará como una única instrucción. Dada la configuración (3, 8, 7), ¿a qué configuración transita?. (4,8,6). (4,56,7). (4,56,6).

Sea el programa WHILE Q = (1, 2, s), donde s es el siguiente codigo WHILE: X2 := X1 -1; While X2 != 0 do X1 := producto (X1, X2); X2 := X2 - 1; od La línea := producto (X1, X2) es una macroinstrucción (Lenguaje WHILE ampliado) y se tratará como una única instrucción. ¿Cuánto vale CALq(4,5)?. (5,12,2). (3,12,2). (2,12,2).

La función castor afanoso (Σ(n)). está definida como la función que devuelve el mayor valor de todos los que devuelven los programas WHILE de una entrada de longitud n cuando dicha entrada vale 0. está definida como la función que devuelve el mayor valor de todos los que devuelven los programas WHILE de una entrada de longitud n cuando dicha entrada vale n. no puede definirse de forma matemáticamente correcta porque la función no es computable.

Sea el programa WHILE Q = (1, 2, s), donde s es el siguiente codigo WHILE: X2 := X1 -1; While X2 != 0 do X1 := producto (X1, X2); X2 := X2 - 1; od La línea := producto (X1, X2) es una macroinstrucción (Lenguaje WHILE ampliado) y se tratará como una única instrucción. ¿Cuánto vale Fq(n)?. n². 2n. n!.

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. U[REC^n] : N² -> N. U[REC^n] : N^n -> N.

Sea el programa WHILE Q = (1, 2, s), donde s es el siguiente codigo WHILE: X2 := X1 -1; While X2 != 0 do X1 := producto (X1, X2); X2 := X2 - 1; od La línea := producto (X1, X2) es una macroinstrucción (Lenguaje WHILE ampliado) y se tratará como una única instrucción. ¿Cuál de las siguientes es una computación completa de Q?. (1,2,0) |- (2,2,1) |- (3,2,0) |- (4,2,0) |- (5,2,0) |- (2,2,0) |- (6,2,0). (1,2,0) |- (2,2,1) |- (3,2,1) |- (4,2,1) |- (5,2,0) |- (2,2,0) |- (6,2,0). (0,2,0) |- (1,2,1) |- (2,2,1) |- (3,2,1) |- (4,2,1) |- (5,2,0) |- (2,2,0) |- (6,2,0).

La función Universal U (z, x_): devuelve la salida del programa (n, max{n,k}, DeCodi(z)) para el vector de entrada x_. devuelve el código del programa (n, max{n,k}, DeCodi(z)) para el vector de entrada x_. devuelve la salida del programa (z, max {n,k}, DeCodi(n)) para el vector de entrada x_.

La función universal para REC_2 es una función parcial. que pertenece al REC_2. constante. parcial.