446401
Beschreibung
Quiz von Daniel Alvarez Valero, aktualisiert more than 1 year ago
|
Erstellt von Daniel Alvarez Valero
vor fast 11 Jahre
|
|
Frage 1
Frage
Un AFD M...
Antworten
-
decide si una cadena pertenece o no a L(M)
-
contiene infinitos estados
-
puede representar cualquier lenguaje de tipo 2
Frage 2
Frage
Respecto a la operación de unión de
lenguajes:
Antworten
-
los lenguajes sensibles al contexto no son cerrados
-
sólo son cerrados los lenguajes regulares y de contexto libre
-
los cinco tipos de lenguajes son cerrados
Frage 3
Frage
Si A={ 1,2,3} y B= {{1},{2,3}} entonces:
Antworten
-
B es una partición de A
-
B es el conjunto potencia de A
-
B es un subconjunto de A
Frage 4
Frage
Si una GCL es recursiva por la izquierda, entonces
Antworten
-
genera un lenguaje infinito
-
existe una gramática regular equivalente
-
existe una GCL equivalente que no es recursiva por la izquierda
Frage 5
Frage
Las expresiones regulares
Antworten
-
pueden representar cualquier lenguaje representable
-
no pueden representar lenguajes que incluyan la cadena vacía
-
pueden representar cualquier lenguaje de tipo 3
Frage 6
Frage
La función Castor Afanoso es
Antworten
-
una aplicación biyectiva entre naturales
-
parcialmente resoluble
-
creciente ( m > n
Frage 7
Frage
Un predicado es decidible
Antworten
-
si es enumerable
-
sí y sólo si su función característica asociada es parcial
-
si se puede encontrar su valor de verdad cualesquiera que sean los argumentos
Frage 8
Frage
F(WHILE) es un conjunto con cardinal
Antworten
-
igual al número de languajes no representables
-
infinito no numerable
-
igual que REC-TREC
Frage 9
Frage
Dado un lenguaje L:
Antworten
-
L { ε } = L
-
L{ ε } = L∅
-
L{ ε } = ∅L
Frage 10
Frage
Si M es un AFDM entonces
Antworten
-
todos los AFD equivalentes tienen menos estados finales que M
-
existe un AFD equivalente con menos estados que M
-
todos los AFD equivalentes tienen mayor o igual número de estados que M
Frage 11
Frage
Si un programa WHILE de tamaño 6 transita
directamente de (5, 1, 1) a (2, 1,1), entonces
su código
Antworten
-
no contiene asignaciones a cero
-
contiene bucles
-
contiene seis asignaciones
Frage 12
Frage
De acuerdo con la clasificación de los
lenguajes, se cumple que:
Antworten
-
lenguajes de tipo 3 ⊂ lenguajes de tipo 0
-
lenguajes con estructura de frase ⊂ lenguajes de tipo 2
-
lenguajes lineales ⊂ lenguajes regulares
Frage 13
Frage
¿En cuál de los siguientes casos la gramática
será del tipo "independiente del contexto"?
Antworten
-
Si todas sus reglas son de tipo 1
-
Si al menos una de sus reglas es sensible al contexto
-
Si todas sus reglas son regulares terminales
Frage 14
Frage
Una gramática es
Antworten
-
un algoritmo conclusivo para reconocer lenguajes
-
una forma de representar lenguajes
-
un subconjunto de L.REP
Frage 15
Frage
El cardinal de las funciones computables es:
Antworten
-
menor que el de las funciones no calculables
-
mayor que el de las funciones representables
-
menor que el de las funciones totales
Frage 16
Frage
¿Cuál de las siguientes expresiones identifica
un lenguaje sobre un alfabeto ?
Antworten
-
∥Σ∥
-
{ Σ+}
-
∅
Frage 17
Frage
Del Teorema de Equivalencia podemos
concluir que:
Antworten
-
existe un programa universal
-
REC = F(T-WHILE)
-
REC ⊆ F(WHILE)
Frage 18
Frage
El problema de la parada para programas con
una entrada (dado por el predicado H 1 )
Antworten
-
es parcialmente resoluble
-
∈ TREC
-
es no enumerable
Frage 19
Frage
Un APND, con conjunto de estados finales F,
acepta una cadena w si y sólo si
Antworten
-
∃ q ∈ F / ( s, ε, w ) ⊢ ( q, ε, ε )
-
∃ q ∈ F / ( s, w, ε ) ⊢ ( q, ε, ε )
-
∃ q ∈ F / ( s, w, ε ) ⊢* ( q, ε, ε )
Frage 20
Frage
Sean x e y cadenas sobre un alfabeto . Se
cumple que xy = yx si:
Antworten
-
x =xR e y =yR
-
=yR e y ≠ϵ
-
x = y
Frage 21
Frage
Si A ={1,2,3} entonces
Antworten
-
2^A ⊃ ∅
-
2^A ⊃ {A}
-
2^A ⊃ A^2
Frage 22
Frage
Si A={1,2} y B={3,4}, entonces R={(1,4),
(2,3)}
Antworten
-
es una función biyectiva de A a B
-
es una función parcial de A a B
-
no es una aplicación de A a B
Frage 23
Frage
La función reemplazar del programa universal
(reem) es:
Antworten
-
una función parcial de 3 argumentos
-
una función total
-
una función inyectiva
Frage 24
Frage
La gramática ( { A }, { a }, { A → Aa }, A )
Antworten
-
representa el lenguaje L={ }
-
genera la derivación A -> Aa -> Aaa
-
es regular izquierda
Frage 25
Frage
Si un lenguaje cumple la condición de
bombeo regular entonces
Antworten
-
puede representarse con una expresión regular
-
no hay un AFD que lo represente
-
no podemos afirmar que es regular
Frage 26
Frage
Una Máquina de Turing de un estado sobre
una cinta no vacía
Antworten
-
no puede parar a más de dos posiciones del cuadrado escrutado inicial
-
puede parar sobre el cuadrado escrutado inicial
-
para con cualquier contenido de la cinta
Frage 27
Frage
Toda GCL que está en FNC cumple que
Antworten
-
ninguna regla tiene en la parte derecha más de dos símbolos
-
ninguna regla tiene en la parte derecha menos de dos símbolos
-
todas las reglas tienen en la parte derecha exactamente dos símbolos
Frage 28
Frage
El AFD M=(K, , ,s, F) con K={ , } y ={0,1}, con la
función de transición especificada por:
δ(q 0 , 0) = q 1 , δ(q 0 , 1) = q 0 , δ(q 1 , 0) = q 1 , δ(q 1 , 1) = q 0 ,
y con s=q0 F=q1 representa:
Antworten
-
un lenguaje con infinitas cadenas cuyo último símbolo es 0
-
un lenguaje con infinitas cadenas que no contienen 0
-
el conjunto vacío
Frage 29
Frage
La gramática G = ( {S}, {b}, { SS → bS }, S
) es
Antworten
-
de tipo 1 y no es de tipo 2
-
de tipo 0 y no es de tipo 1
-
de tipo 2 y no es de tipo 3
Frage 30
Frage
Si A={1,2,3} y R={(1,1),(2,2)} entonces
Antworten
-
R es una relación de equivalencia sobre A
-
R es una relación simétrica sobre A
-
R es una relación reflexiva sobre A
Frage 31
Frage
Una función de indexación para un conjunto
de funciones tiene que ser:
Antworten
-
sobreyectiva
-
inyectiva
-
biyectiva
Frage 32
Frage
Elija la opción correcta
Antworten
-
∥N∥ = 2^ℵ0
-
∥R∥ − ∥N∥ = 2^ℵ0
-
∥Q∥ = 2^ℵ0
Frage 33
Frage
L(AFD) =
Antworten
-
L(APND)
-
L.2
-
L(AFND)
Frage 34
Frage
"Principia Mathematica" fue escrito por
Antworten
-
Alfred N. Whitehead y Bertrand Russell
-
Stephen C. Kleene y Alonzo Church
-
Alan M. Turing
Frage 35
Frage
La gramática ( { A }, { a }, { A → Aa, A →
aA }, A )
Antworten
-
genera la derivación A -> Aa -> aAa
-
no es regular
-
representa el lenguaje { ε }
Frage 36
Frage
Una GCL es ambigua sii
Antworten
-
∃ w ∈ L(G) / w es producto de más de un árbol de derivación
-
∀ w ∈ L(G) / w es producto de más de un árbol de derivación
-
∀ w ∈ L(G) / w es producto de infinitos árboles de derivación
Frage 37
Frage
Sea Σ = {a,b,c}. Dado L = {w ∈ Σ* | aa no
es una subcadena de w }, una ER del mismo
es:
Antworten
-
L = (b+c)* (a+ε) ( (b+c) (a+ε) )* (b+c)*
-
L=(b+c)* a ( (b+c) a )* (b+c)*
-
L=(b+c)* (a+ε) (b+c) (a+ε)
Frage 38
Frage
La función complejidad Temporal (T)
Antworten
-
no puede calcularse cuando no es posible alcanzar una configuración terminal
-
para una entrada dada nos da el valor de la variable X1al final del proceso de cómputo, siempre que se alcance una configuración terminal
-
es una función total
Frage 39
Frage
Si M = ( {s,f}, {a,b}, {a,b}, {(( s, aa, ),
(s, b)), (( s, , ), (f, )), (( f, a, b), (f, ))},
s, {f} ) entonces
Antworten
-
L(M) = {wwwR ∣w ∈ {a,b} ∗ }
-
L(M) = {w ∈ {a,b} ∗ ∣w =a 3n con n ∈ ℕ}
-
L(M) = {wwR ∣w ∈ {a,b} ∗ }
Frage 40
Frage
σ(θ) es:
Antworten
-
una recursión primitiva de funciones iniciales
-
una función recursiva parcial
-
una función constante
Frage 41
Frage
En el modelo de funciones recursivas, el
símbolo Pi ( ) representa:
Antworten
-
un conjunto finito de funciones
-
un subconjunto de TREC
-
una función inicial
Frage 42
Frage
Elija la opción correcta:
Antworten
-
N^2 y N no son equipotenciales
-
N* y N son equipotenciales
-
existen tantos vectores de tres naturales como números naturales
Frage 43
Frage
Dados A ={1,2,3}, B= {4} y R={(1,4)}, se
cumple que:
Antworten
-
R es un subconjunto de A x B
-
R es una relación binaria sobre A
-
R es una relación de equivalencia sobre A
Frage 44
Frage
El cierre amplio de un conjunto para una
operación
Antworten
-
no incluye el conjunto vacío
-
no incluye el elemento neutro
-
incluye su cierre estricto
Frage 45
Frage
Dada una gramática G=(N,T,P,S), se cumple
que:
Antworten
-
N intersección T = Ø
-
N intersección T = S
-
N intersección T = V
Frage 46
Frage
Dada una gramática, el conjunto de reglas de
producción P cumple que:
Antworten
-
P = N interseccion T
-
P (N interseccion T)+ × (N interseccion T)*
-
P = (N interseccion T)*
Frage 47
Frage
Dada una gramática de tipo 2, siempre
podemos responder si:
Antworten
-
el lenguaje que representa es vacío
-
es equivalente a otra gramática de tipo 2
-
existe una gramática regular equivalente
Frage 48
Frage
El teorema de Myhill-Nerode suele usarse
para:
Antworten
-
demostrar que un lenguaje no es vacío
-
demostrar que un lenguaje es regular
-
demostrar que un lenguaje no es regular
Frage 49
Frage
Si en un lenguaje sobre todas sus
cadenas son indistinguibles, entonces
Antworten
-
L = sigma*
-
L = Ø
-
Los 2 anteriores
Möchten Sie mit GoConqr kostenlos Ihre eigenen Quiz erstellen? eigenen Mehr erfahren.