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 aproximadamente 11 anos atrás
462
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

VESTIBULAR - DICAS
Alessandra S.
Geometria Plana
Bruno Fernandes3682
FONOLOGIA estudo dos sons
Viviana Veloso
As 22 consagradas leis do Marketing
Cristiano Bertul
Tecnologia na Sala de Aula
Alessandra S.
Fórmulas de Física
GoConqr suporte .
TRIBUTAÇÃO E ORÇAMENTO
Jualvesm
O que estudar para a OAB
GoConqr suporte .
Oscilações, ondas, óptica e radiação
Sem Parar
Membrana Plasmática
Hugo Fonseca
Questionário 1 - Introdução à Informática
Ederval Pablo Ferreira