TALF bloque 3

¿Con qué tipo de números trabaja principalmente el lenguaje WHILE?. Números reales. Números enteros. Números naturales.

¿Cuántos tipos de sentencias de asignación tiene el lenguaje WHILE?. Dos. Tres. Cuatro.

¿Cuál es el tipo de sentencia de control en el lenguaje WHILE?. Sentencia 'if-else'. Sentencia 'for'. Sentencia 'while' (bucle indefinido).

¿Cuál es la condición de control simple de la sentencia 'while' en el lenguaje WHILE?. Comprobar si una variable es igual a cero. Comprobar si una variable es distinta de cero. Comprobar si una variable es mayor que otra.

¿Cómo se componen las sentencias de asignación en el lenguaje WHILE?. variable := constante. variable := variable. variable := variable ± 1. Todas las anteriores.

¿Qué forma tienen los identificadores de variables en un programa WHILE?. Solo letras (ej. 'var'). Nombres descriptivos (ej. 'contador'). Forma de X seguido de un índice numérico (ej. X1, X2).

¿Qué es un 'código' en el contexto de un programa WHILE?. Un programa completo con entradas y salidas. Una secuencia finita no vacía de sentencias separadas por ';'. Un conjunto de variables.

¿Qué representa una terna (n, p, s) para un programa WHILE?. n: número de sentencias, p: número de variables, s: código. n: número de variables de entrada, p: número total de variables, s: código. n: número de bucles, p: número de asignaciones, s: código.

¿Cómo se inicializan las variables auxiliares en un programa WHILE?. Se inicializan con un valor aleatorio. Se inicializan implícitamente a cero. Deben ser inicializadas explícitamente por el programador.

¿Cuál es la salida de un programa WHILE?. El valor de la última variable asignada. El valor de la variable X1 cuando el programa termina. No tiene una salida definida, solo realiza cálculos.

¿Qué sucede si la variable de decremento (X; := X; - 1) se aplica a una variable con valor cero?. El programa genera un error. La variable toma el valor -1. La variable toma el valor cero.

¿Qué ocurre si la condición de la sentencia 'while' es falsa (la variable de control es cero)?. El cuerpo del bucle se ejecuta una vez. El cuerpo del bucle se ejecuta infinitamente. La sentencia 'while' termina y el programa continúa.

¿Qué parte de la sentencia 'while' se llama 'cabecera'?. La sentencia 'od'. La línea 'while X₁ ≠ 0 do'. El código dentro del bucle.

¿Qué parte de la sentencia 'while' se llama 'cuerpo'?. La sentencia 'od'. La línea 'while X₁ ≠ 0 do'. El código entre 'do' y 'od'.

¿Qué parte de la sentencia 'while' se llama 'cola'?. La sentencia 'od'. La línea 'while X₁ ≠ 0 do'. El código dentro del bucle.

¿Qué tipo de gramática se utiliza para generar los códigos WHILE sintácticamente correctos?. Gramática regular. Gramática sensible al contexto. Gramática libre de contexto.

¿Qué representan las letras 'p' y 'r' en la generación de números decimales en la gramática G1?. 'p' para 'positivo', 'r' para 'real'. 'p' para 'primer', 'r' para 'resto'. 'p' para 'parte entera', 'r' para 'resto'.

¿Puede un programa WHILE no terminar (divergir)?. No, todos los programas WHILE siempre terminan. Sí, un programa WHILE puede ser parcial y no terminar para ciertas entradas. Solo los programas con bucles infinitos divergen.

¿Qué significa la expresión 'Xm < s' en la definición de un programa WHILE?. La variable Xm es menor que la cadena s. La cadena 'Xm' es subcadena de la cadena 's'. La variable Xm tiene un valor menor que el tamaño de s.

¿Cómo se define el 'tamaño' de un código WHILE (tam(s)) en el caso de una sentencia de asignación?. tam(s) = 0. tam(s) = 1. tam(s) = 2.

¿Cómo se define el 'tamaño' de un código WHILE (tam(s)) en el caso de un bucle 'while'?. tam(s) = tam(s1). tam(s) = tam(s1) + 1. tam(s) = tam(s1) + 2.

¿Cómo se define el 'tamaño' de un código WHILE (tam(s)) en el caso de una secuencia de sentencias (s1; s2)?. tam(s) = tam(s1). tam(s) = tam(s1) + tam(s2). tam(s) = max(tam(s1), tam(s2)).

¿Qué devuelve la función 'línea(s, n)'?. El número de la línea n del código s. El texto de la línea n del código s, o una cadena vacía si no es válida. El número total de líneas en el código s.

¿Qué devuelve la función 'salto(s, n)'?. El número de la línea a la que se salta desde la línea n del código s. El número total de saltos realizados en el código s. La línea de cabecera del bucle 'while'.

¿Qué representa una 'configuración' (c) de un programa WHILE?. Solo el contenido de las variables. La línea actual de ejecución y el contenido de las variables. El número de sentencias ejecutadas.

¿Qué es una 'configuración inicial' de un programa WHILE?. La configuración donde m = tam(Q)+1. La configuración donde m = 1 y todas las variables de entrada valen cero. La configuración donde todas las variables valen cero.

¿Qué es una 'configuración terminal' de un programa WHILE?. La configuración donde m = 1. La configuración donde todas las variables son cero. La configuración donde la línea de ejecución es tam(Q)+1.

¿Qué significa 'C1 |— C2' en la definición de transitar directamente?. La configuración C1 se deriva de C2. La configuración C1 transita directamente a la configuración C2 en un paso. Las configuraciones C1 y C2 son iguales.

¿Qué hace la sentencia de asignación 'X; := X;' en el lenguaje WHILE?. Asigna el valor 0 a X;. Asigna el valor de X; a sí misma (no cambia el valor). Asigna el valor de X; + 1 a X;.

¿Qué hace la sentencia de asignación 'X; := X; + 1' en el lenguaje WHILE?. Decrementa el valor de X; en 1. Incrementa el valor de X; en 1. Asigna el valor 0 a X;.

¿Qué hace la sentencia de asignación 'X; := X; - 1' en el lenguaje WHILE?. Incrementa el valor de X; en 1. Asigna el valor 0 a X;. Decrementa el valor de X; en 1 (o lo deja en 0 si ya era 0).

¿Qué función define la 'función siguiente (SIGQ)'?. Calcula el valor de salida de un programa. Determina la siguiente configuración alcanzable desde una configuración dada. Calcula el número de pasos de un programa.

¿Qué función define la 'función cálculo (CALQ)'?. Calcula el valor de salida de un programa. Calcula la secuencia completa de configuraciones desde la inicial hasta la terminal. Determina si un programa terminará.

¿Qué representa la 'función complejidad temporal (To)' de un programa WHILE?. El número de variables utilizadas por el programa. El número de transiciones directas (pasos) realizadas hasta alcanzar una configuración terminal. La cantidad de memoria requerida por el programa.

¿Qué representa la 'función calculada (Fo)' de un programa WHILE?. El código fuente del programa. El valor de la salida del programa para una entrada dada. El número de pasos que tarda el programa en terminar.

¿Qué es una función WHILE-computable?. Una función que puede ser calculada por un programa WHILE. Una función definida solo con sentencias 'while'. Una función que siempre retorna un valor entero.

¿Qué es T-WHILE?. El conjunto de todos los programas WHILE. El conjunto de todas las funciones WHILE-computables que son parciales. El conjunto de todas las funciones WHILE-computables que son totales.

¿Qué es un predicado WHILE-decidible?. Un predicado asociado a una función WHILE-computable parcial. Un predicado asociado a una función WHILE-computable total. Un predicado que siempre es falso.

¿Qué es un conjunto WHILE-decidible?. Un conjunto que puede ser generado por un programa WHILE. Un conjunto cuyos elementos pueden ser enumerados. Un conjunto cuyos valores de verdad corresponden a un predicado WHILE-decidible.

¿Qué es un predicado WHILE-enumerable?. Un predicado asociado a cualquier función WHILE-computable. Un predicado asociado a una función WHILE-computable total. Un predicado que siempre es verdadero.

¿Qué es un conjunto WHILE-enumerable?. Un conjunto cuyos elementos pueden ser listados en un orden finito. Un conjunto cuyos valores de verdad corresponden a un predicado WHILE-enumerable. Un conjunto que puede ser decidido por un programa WHILE.

¿Cuál es la relación entre los conjuntos DEC(WHILE) y ENU(WHILE)?. DEC(WHILE) ⊃ ENU(WHILE). DEC(WHILE) ⊂ ENU(WHILE). DEC(WHILE) = ENU(WHILE).

¿Qué modelo de cómputo se considera el más reciente de los tres presentados (Máquinas de Turing, Funciones Recursivas, Lenguaje WHILE)?. Máquinas de Turing. Funciones Recursivas. Lenguaje WHILE.

¿Por qué el lenguaje WHILE es útil para la docencia en teoría de la computación?. Porque es el modelo más potente. Porque las demostraciones suelen ser más cortas y legibles. Porque maneja directamente la complejidad espacial.

¿Qué tipo de complejidad se estudia mejor con el lenguaje WHILE?. Complejidad espacial. Complejidad temporal. Ambas por igual.

¿Qué permite la ampliación del lenguaje WHILE con 'macrosentencias'?. Usar sentencias de control más complejas. Reutilizar funciones WHILE-calculables dentro de otras instrucciones. Definir variables de forma más flexible.

¿Qué es la 'codificación de Gödel' (gödelización)?. Un método para traducir programas a lenguaje máquina. Una función biyectiva y recursiva que mapea un vector de naturales a un solo natural. Una forma de comprimir el código fuente de los programas.

¿Qué hace la función 'decodificación de Gödel' (degod)?. Convierte un número natural en un programa WHILE. Obtiene una componente específica de un vector de naturales a partir de su representación gödelizada. Verifica si un número es una codificación válida.

¿Qué es el 'problema de la parada'?. Determinar si un programa utiliza demasiada memoria. Determinar si un programa termina para una entrada dada. Determinar la velocidad de ejecución de un programa.

¿Es resoluble el problema de la parada (H¹)?. Sí, siempre se puede determinar si un programa para. No, el problema de la parada es indecidible (no resoluble). Solo es resoluble para programas muy sencillos.

¿Qué es la 'función castor afanoso' (Σ)?. La función que calcula el número de sentencias de un programa. El valor máximo devuelto por programas de una longitud específica con entrada cero. La función que determina si un programa es WHILE-computable.

¿Es la función castor afanoso (Σ) una función WHILE-computable?. Sí, porque es una función bien definida. No, no es WHILE-computable. Solo es computable si la longitud del programa es menor que 10.

¿Cuál es el objetivo principal de definir el lenguaje WHILE en el contexto de las máquinas de Turing y la computabilidad?. Formalizar el concepto de función computable. Crear un nuevo lenguaje de programación de alto nivel. Estudiar la complejidad espacial de los algoritmos.