Teoria d`Aut`omats i Llenguatges Formals II. Setembre. Curs 2000

Teoria d’Autòmats i Llenguatges Formals II. Setembre. Curs 2000–2001
NOM:
pàgina 1 de 3
COGNOMS:
NO es poden utilitzar apunts. Les preguntes s’han de contestar en els espais reservats,i en el revers dels fulls si no hi ha
prou espai o es vol fer alguna aclaració.
NO se pueden utilizar apuntes. Las preguntas han de contestarse en
los espacios reservados,y en el reverso de las hojas si no hay suficiente
espacio o se quiere hacer alguna aclaración.
1. Contesta vertader o fals (V/F).
a)
b)
(1 punt)
Contesta verdadero o falso (V/F)
c)
Si un llenguatge és semi-decidible aleshores és r.e.
Si un lenguaje es semidecidible entonces es r.e.
Si un llenguatge recursiu pertany a una classe , el seu Si un lenguaje recursivo pertenece a una clase
, su complementario también.
complementari també.
El problema de la satisfactibilitat és semi-decidible.
El problema de la satisfactibilidad es semide-
d)
Les funcions inicials són recursives primitives.
e)
f)
g)
h)
i)
j)
cidible.
Las funciones iniciales son recursivas primitivas.
El llenguatge acceptat per una MT que mai para, és El lenguaje aceptado por una MT que nunca
para, es necesariamente recursivo.
necessàriament recursiu.
Tot llenguatge és necessàriament de tipus 0.
Todo lenguaje es necesariamente de tipo 0.
Tot llenguatge regular és acceptat per una MTND.
Todo lenguaje regular es aceptado por una
MTND.
El problema de la correspondència de Post modificat és El problema de la correspondencia de Post modificado es semidecidible.
semi-decidible.
Si un problema de decisió és
-difı́cil, aleshores és Si un problema de decisión es
-difı́cil, en-completo.
tonces es
-complet.
Els problemes
-difı́cils no estan en
Los problemas
2. Marca la (única) resposta correcta
(a) Siga un problema
està en
está en
está en co-
(b) Siga un llenguatge semi-decidible, aleshores
és indecidible
és recursiu
(c) Siga una funció total, aleshores
és calculable
es calculable
(d) Siga recursiu, aleshores
és intractable
es intratable
(f) Una neurona és:
una operació entre cadenes
una operación entre cadenas
Sea un problema
(1 punt)
-completo, entonces
és semi-decidible
es semidecidible
Sea un lenguaje semidecidible, entonces
el seu complementari és indecidible
es recursivo
su complementario es indecidible
Sea una función total, entonces
és recursiva parcial
és
es recursiva parcial
es
Sea
-difı́cil
-difı́cil
recursivo, entonces
és semi-decidible
és de tipus 0
es semidecidible
es de tipo 0
(e) Siga una funció recursiva parcial, aleshores
és calculable.
està en
es calculable.
-difı́ciles no están en
Marca la (única) respuesta correcta
-complet, aleshores
està en co-
es indecidible
está en
Sea una función recursiva parcial, entonces
és total.
es total.
Una neurona es:
un estat de la xarxa.
un element de procés senzill
un estado de la red.
un elemento de proceso sencillo
Teoria d’Autòmats i Llenguatges Formals II. Setembre. Curs 2000–2001
NOM:
COGNOMS:
3. Explica breument com se simula una MT multipista
mijantçant una MT monopista.
4. Considera el problema
secció no buida?
pàgina 2 de 3
: Tenen dos llenguatges inter-
Explica brevemente cómo se simula una MT
multipista mediante una MT monopista.
Considera el problema : Tienen dos lenguajes intersección no vacia?
(a) És decidible? Per què?
¿Es decidible? ¿Por qué?
(b) És semi-decidible? Per què?
¿Es semidecidible? ¿Por qué?
Teoria d’Autòmats i Llenguatges Formals II. Setembre. Curs 2000–2001
NOM:
(1 punt)
(2 punts)
pàgina 3 de 3
COGNOMS:
5. Demostra que el problema universal es redueix al problema de la cinta en blanc.
6. Construir una MT que, donada una cadena de
calcule el nombre màxim de sı́mbols seguits que conté.
Demuestra que el problema universal se reduce
al problema de la cinta en blanco.
!#"%$'&#(*)
Construir una MT que, dada una cadena de
calcule el número máximo de sı́mbolos
seguidos que contiene.
"
(2 punts)
(3 punts)