Es posible que una Máquina de Turing tenga un único estado:
Verdadero
Falso
Todo lenguaje recursivamente enumerable: Seleccione una:
a. Es dependiente del contexto
b. Es recursivo
c. Ninguno de los anteriores
d. Es regular
e. Es independiente del contexto
Si L1 y L2 son lenguajes recursivamente enumerables, entonces L1 U L2, también los es:
Una Máquina de Turing para cuando su cabeza de lectura alcanza el final de la cadena que se le suministra como entrada.
Si un lenguaje es independiente del contexto … Seleccione una o más de una:
a. Existe una Máquina de Turing que lo reconoce
b. Existe una gramática regular que lo genera
c. Existe un DFA mínimo que lo reconoce
d. Existe una Máquina de Turing, que para ante cualquier cadena de entrada, que lo reconoce
e. Existe una gramática independiente del contexto que lo genera
Indicar cuáles de las siguientes cadenas binarias pueden ser una codificación de una máquina de Turing: Seleccione una o más de una:
a.01110111110111111101110110101101110110111110
b. 0111011111011111110111011010110111011010
c. 0101101110110101011011011010
d. 01110111110111111100111011010110111011010
Dados un lenguaje y su complementario, indicar las posibilidades que son posibles: Seleccione una o más de una:
a. Que ninguno de los dos sea recursivamente enumerable
b. Que uno sea recursivo y el otro recursivamente enumerable
c. Que ambos sean recursivos
d. Que ambos sean independientes del contexto
e. Que uno sea regular y el otro recursivamente enumerable
Si un lenguaje L es independiente del contexto, entonces su complementario es recursivo:
Una máquina de Turing acepta una cadena ... Seleccione una o más de una:
a. Cuando se queda parada
b. Cuando se encuentra parada en un estado de aceptación
c. Cuando después de leer todos los símbolos de la cadena, se encuentra en un estado de aceptación
d. Cuando ha leído todos los símbolos de la cadena de entrada
e. Cuando al leer la cadena, la máquina nunca para
Si L, Σ* y -L son recursivamente enumerables, entonces ambos son recursivos:
Si un lenguaje es recursivamente enumerable ... Seleccione una o más de una:
a. Existe una Máquina de Turing, que para ante cualquier cadena de entrada, que lo reconoce
b. Existe una Máquina de Turing que lo reconoce
c. Existe una gramática regular que lo genera
d. Existe una gramática independiente del contexto que lo genera
e. Existe un DFA mínimo que lo reconoce
El complementario de un lenguaje recursivamente enumerable Seleccione una:
a. Es recursivamente enumerable
b. Es regular
d. Es independiente del contexto
e. Es dependiente del contexto
f. Es recursivo
Todo lenguaje regular Seleccione una o más de una:
a. Es independiente del contexto
c. Es recursivamente enumerable
d. Es dependiente del contexto
Los lenguajes que las máquinas de Turing aceptan ... Seleccione una:
a. Son infinitos
b. Son regulares
c. Son recursivos
d. No son recursivamente enumerables
e. Son finitos
f. Son recursivamente enumerables
L es un lenguaje independiente del contexto si y sólo si L es un lenguaje recursivo:
Todo lenguaje recursivo Seleccione una:
b. Es recursivamente enumerable
c. Es regular
Los lenguajes recursivamente enumerables son cerrados respecto a la operación de … Seleccione una o más de una:
a. Intersección
b. Unión
c. Complementación
Si un lenguaje está especificado mediante una expresión regular, entonces es recursivo:
El complementario de un lenguaje recursivamente: Seleccione una:
a. Es regular
b. Es dependiente del contexto
c. Es independiente del contexto
d. Es recursivamente enumerable
e. Es recursivo
Los lenguajes recursivos son cerrados respecto a la operación de … Seleccione una o más de una:
Una máquina de Turing puede ... Seleccione una o más de una:
a. Reconocer un lenguaje independiente del contexto
b. Invertir los símbolos (calcular la cadena inversa) de una cadena que se le dé como entrada
c. Transformar una cadena que toma como entrada, en otra cadena
d. Aceptar o rechazar cadenas de un lenguaje, siempre que éste sea recursivamente enumerable enumerable
e. Aceptar las cadenas de un lenguaje que no es recursivamente enumerable
f. Calcular el máximo entre dos números
Cualquier sublenguaje de un lenguaje regular, es regular Seleccione una:
Una Máquina de Turing (MT) no determinista con k cabezas de lectura/escritura puedereconocer más lenguajes que una MT con k cintas. Seleccione una:
Si L es recursivamente enumerable, entonces Σ* -L también lo es:
La capacidad de cómputo de una máquina de Turing no determinista ... Seleccione una o más de una:
a. Es igual que la de una máquina de Turing multicinta
b. Es mayor que la de un DFA
c. Es mayor que la de una máquina de Turing determinista
d. Es menor que la de una máquina de Turing con cinta multidimensional
Una Máquina de Turing para cuando su cabeza de lectura alcanza el final de la cadena que se le suministra como entrada. Seleccione una:
¿Cuáles de los siguientes lenguajes podrían ser aceptados por máquinas de Turing? Seleccione una o más de una:
a. Los lenguajes recursivamente enumerables
b. Los lenguajes recursivos
c. Los lenguajes naturales
d. Cualquier lenguaje infinito
e. Los lenguajes regulares
f. Cualquier lenguaje finito
Una máquina de Turing: Seleccione una o más de una:
a. Es capaz de aceptar una cadena de entrada de longitud infinita
b. Tiene al menos una cinta (de longitud infinita)
c. Tiene al menos un estado
d. Puede tener un alfabeto para la cinta que coincida exactamente con el alfabeto de entrada
e. Tiene un único estado de arranque
f. Tiene al menos una transición para cada símbolo de entrada
¿Cuáles de las siguientes afirmaciones son ciertas? Seleccione una o más de una:
a. Los lenguajes recursivos son cerrados respecto a la operación de unión
b. Los lenguajes recursivamente enumerables son cerrados respecto a la operación de complementación
c. Los lenguajes recursivos son cerrados respecto a la operación de complementación
d. Los lenguajes recursivos son cerrados respecto a la operación de intersección
e. Los lenguajes recursivamente enumerables son cerrados respecto a la operación de unión
a. Que uno sea regular y el otro recursivamente enumerable, pero no recursivo
b. Que ambos sean independientes del contexto
c. Que ninguno de los dos sea recursivamente enumerable
d. Que uno sea recursivo y el otro recursivamente enumerable, pero no recursivo
e. Que ambos sean recursivos
a. Es igual que la de una máquina de Turing multi-cinta
b. Es menor que la de una máquina de Turing multi-pista
c. Es mayor que la de un NFA
d. Es menor que la de una máquina de Turing con cinta multi-dimensional
e. Es mayor que la de un DFA
f. Es mayor que la de una máquina de Turing determinista
¿Cuáles de las siguientes son modificaciones de la máquina de Turing estándar?Seleccione una o más de una:
a. Máquinas de Turing multi-cinta
b. Máquinas de Turing no deterministas
c. Máquinas de Turing con cinta finita
d. Máquinas de Turing multi-pista
e. Máquinas de Turing unimodales.
f. Máquinas de Turing con posibilidad de no moverse
Σ* es siempre un conjunto infinito