Teoria de Automatas (Curso Completo)

Descrição

Examen de febrero de la asignatura Teoría de Autómatas y Lenguajes Formales.
Daniel Alvarez Valero
Quiz por Daniel Alvarez Valero, atualizado more than 1 year ago
Daniel Alvarez Valero
Criado por Daniel Alvarez Valero quase 11 anos atrás
460
1

Resumo de Recurso

Questão 1

Questão
Un AFD M...
Responda
  • decide si una cadena pertenece o no a L(M)
  • contiene infinitos estados
  • puede representar cualquier lenguaje de tipo 2

Questão 2

Questão
Respecto a la operación de unión de lenguajes:
Responda
  • 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

Questão 3

Questão
Si A={ 1,2,3} y B= {{1},{2,3}} entonces:
Responda
  • B es una partición de A
  • B es el conjunto potencia de A
  • B es un subconjunto de A

Questão 4

Questão
Si una GCL es recursiva por la izquierda, entonces
Responda
  • genera un lenguaje infinito
  • existe una gramática regular equivalente
  • existe una GCL equivalente que no es recursiva por la izquierda

Questão 5

Questão
Las expresiones regulares
Responda
  • pueden representar cualquier lenguaje representable
  • no pueden representar lenguajes que incluyan la cadena vacía
  • pueden representar cualquier lenguaje de tipo 3

Questão 6

Questão
La función Castor Afanoso es
Responda
  • una aplicación biyectiva entre naturales
  • parcialmente resoluble
  • creciente ( m > n

Questão 7

Questão
Un predicado es decidible
Responda
  • 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

Questão 8

Questão
F(WHILE) es un conjunto con cardinal
Responda
  • igual al número de languajes no representables
  • infinito no numerable
  • igual que REC-TREC

Questão 9

Questão
Dado un lenguaje L:
Responda
  • L { ε } = L
  • L{ ε } = L∅
  • L{ ε } = ∅L

Questão 10

Questão
Si M es un AFDM entonces
Responda
  • 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

Questão 11

Questão
Si un programa WHILE de tamaño 6 transita directamente de (5, 1, 1) a (2, 1,1), entonces su código
Responda
  • no contiene asignaciones a cero
  • contiene bucles
  • contiene seis asignaciones

Questão 12

Questão
De acuerdo con la clasificación de los lenguajes, se cumple que:
Responda
  • lenguajes de tipo 3 ⊂ lenguajes de tipo 0
  • lenguajes con estructura de frase ⊂ lenguajes de tipo 2
  • lenguajes lineales ⊂ lenguajes regulares

Questão 13

Questão
¿En cuál de los siguientes casos la gramática será del tipo "independiente del contexto"?
Responda
  • 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

Questão 14

Questão
Una gramática es
Responda
  • un algoritmo conclusivo para reconocer lenguajes
  • una forma de representar lenguajes
  • un subconjunto de L.REP

Questão 15

Questão
El cardinal de las funciones computables es:
Responda
  • menor que el de las funciones no calculables
  • mayor que el de las funciones representables
  • menor que el de las funciones totales

Questão 16

Questão
¿Cuál de las siguientes expresiones identifica un lenguaje sobre un alfabeto ?
Responda
  • ∥Σ∥
  • { Σ+}

Questão 17

Questão
Del Teorema de Equivalencia podemos concluir que:
Responda
  • existe un programa universal
  • REC = F(T-WHILE)
  • REC ⊆ F(WHILE)

Questão 18

Questão
El problema de la parada para programas con una entrada (dado por el predicado H 1 )
Responda
  • es parcialmente resoluble
  • ∈ TREC
  • es no enumerable

Questão 19

Questão
Un APND, con conjunto de estados finales F, acepta una cadena w si y sólo si
Responda
  • ∃ q ∈ F / ( s, ε, w ) ⊢ ( q, ε, ε )
  • ∃ q ∈ F / ( s, w, ε ) ⊢ ( q, ε, ε )
  • ∃ q ∈ F / ( s, w, ε ) ⊢* ( q, ε, ε )

Questão 20

Questão
Sean x e y cadenas sobre un alfabeto . Se cumple que xy = yx si:
Responda
  • x =xR e y =yR
  • =yR e y ≠ϵ
  • x = y

Questão 21

Questão
Si A ={1,2,3} entonces
Responda
  • 2^A ⊃ ∅
  • 2^A ⊃ {A}
  • 2^A ⊃ A^2

Questão 22

Questão
Si A={1,2} y B={3,4}, entonces R={(1,4), (2,3)}
Responda
  • 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

Questão 23

Questão
La función reemplazar del programa universal (reem) es:
Responda
  • una función parcial de 3 argumentos
  • una función total
  • una función inyectiva

Questão 24

Questão
La gramática ( { A }, { a }, { A → Aa }, A )
Responda
  • representa el lenguaje L={ }
  • genera la derivación A -> Aa -> Aaa
  • es regular izquierda

Questão 25

Questão
Si un lenguaje cumple la condición de bombeo regular entonces
Responda
  • puede representarse con una expresión regular
  • no hay un AFD que lo represente
  • no podemos afirmar que es regular

Questão 26

Questão
Una Máquina de Turing de un estado sobre una cinta no vacía
Responda
  • 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

Questão 27

Questão
Toda GCL que está en FNC cumple que
Responda
  • 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

Questão 28

Questão
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:
Responda
  • un lenguaje con infinitas cadenas cuyo último símbolo es 0
  • un lenguaje con infinitas cadenas que no contienen 0
  • el conjunto vacío

Questão 29

Questão
La gramática G = ( {S}, {b}, { SS → bS }, S ) es
Responda
  • 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

Questão 30

Questão
Si A={1,2,3} y R={(1,1),(2,2)} entonces
Responda
  • 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

Questão 31

Questão
Una función de indexación para un conjunto de funciones tiene que ser:
Responda
  • sobreyectiva
  • inyectiva
  • biyectiva

Questão 32

Questão
Elija la opción correcta
Responda
  • ∥N∥ = 2^ℵ0
  • ∥R∥ − ∥N∥ = 2^ℵ0
  • ∥Q∥ = 2^ℵ0

Questão 33

Questão
L(AFD) =
Responda
  • L(APND)
  • L.2
  • L(AFND)

Questão 34

Questão
"Principia Mathematica" fue escrito por
Responda
  • Alfred N. Whitehead y Bertrand Russell
  • Stephen C. Kleene y Alonzo Church
  • Alan M. Turing

Questão 35

Questão
La gramática ( { A }, { a }, { A → Aa, A → aA }, A )
Responda
  • genera la derivación A -> Aa -> aAa
  • no es regular
  • representa el lenguaje { ε }

Questão 36

Questão
Una GCL es ambigua sii
Responda
  • ∃ 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

Questão 37

Questão
Sea Σ = {a,b,c}. Dado L = {w ∈ Σ* | aa no es una subcadena de w }, una ER del mismo es:
Responda
  • 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+ε)

Questão 38

Questão
La función complejidad Temporal (T)
Responda
  • 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

Questão 39

Questão
Si M = ( {s,f}, {a,b}, {a,b}, {(( s, aa, ), (s, b)), (( s, , ), (f, )), (( f, a, b), (f, ))}, s, {f} ) entonces
Responda
  • L(M) = {wwwR ∣w ∈ {a,b} ∗ }
  • L(M) = {w ∈ {a,b} ∗ ∣w =a 3n con n ∈ ℕ}
  • L(M) = {wwR ∣w ∈ {a,b} ∗ }

Questão 40

Questão
σ(θ) es:
Responda
  • una recursión primitiva de funciones iniciales
  • una función recursiva parcial
  • una función constante

Questão 41

Questão
En el modelo de funciones recursivas, el símbolo Pi ( ) representa:
Responda
  • un conjunto finito de funciones
  • un subconjunto de TREC
  • una función inicial

Questão 42

Questão
Elija la opción correcta:
Responda
  • N^2 y N no son equipotenciales
  • N* y N son equipotenciales
  • existen tantos vectores de tres naturales como números naturales

Questão 43

Questão
Dados A ={1,2,3}, B= {4} y R={(1,4)}, se cumple que:
Responda
  • 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

Questão 44

Questão
El cierre amplio de un conjunto para una operación
Responda
  • no incluye el conjunto vacío
  • no incluye el elemento neutro
  • incluye su cierre estricto

Questão 45

Questão
Dada una gramática G=(N,T,P,S), se cumple que:
Responda
  • N intersección T = Ø
  • N intersección T = S
  • N intersección T = V

Questão 46

Questão
Dada una gramática, el conjunto de reglas de producción P cumple que:
Responda
  • P = N interseccion T
  • P (N interseccion T)+ × (N interseccion T)*
  • P = (N interseccion T)*

Questão 47

Questão
Dada una gramática de tipo 2, siempre podemos responder si:
Responda
  • el lenguaje que representa es vacío
  • es equivalente a otra gramática de tipo 2
  • existe una gramática regular equivalente

Questão 48

Questão
El teorema de Myhill-Nerode suele usarse para:
Responda
  • demostrar que un lenguaje no es vacío
  • demostrar que un lenguaje es regular
  • demostrar que un lenguaje no es regular

Questão 49

Questão
Si en un lenguaje sobre todas sus cadenas son indistinguibles, entonces
Responda
  • L = sigma*
  • L = Ø
  • Los 2 anteriores

Semelhante

Descobrimento do Brasil
Alessandra S.
Processo Civil
Marcela Martins
DOENÇA MENTAL E TRATAMENTO -Texto 16
eleuterapara
Projeto Med 2015: História e Geografia
Lud .
Mapa Mental de GoConqr
GoConqr suporte .
Separação de Misturas
isabellatrindade
Mercantilismo
Professor Junior
PROTAGONISMO DO ALUNO
Alessandra S.
Políticas públicas educacionais no Brasil: tecendo fios
Gabriela Melliss
Cardiologia (Clínica)
manoel junior
Filosofia
Kamila Vieira