Documente Academic
Documente Profesional
Documente Cultură
CULEGERE DE PROBLEME
1
2
3
4
10
11
12
13
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
m)
n)
o)
p)
q)
r)
s)
t)
u)
14
15
a)
b)
c)
16
a)
b)
c)
d)
17
18
19
L={a2nbncm / n,mN}
L={anbman / n,mN}
L={anbm / n,mN, n<m}
L={anbm / n,mN, nm2n}
L={anbm / n,mN, m|n}
L={anbm / n,mN, (n,m)=1}
L={anbmanbm / n,mN}
L={anbmanbm / n,mN, m|n}
L={anbmcs / n,m,sN, n=2m sau m=2s}
L={anbnanbn / n,mN}
L={anbnambm / n,mN}
S se construiasc MT decidente pentru urmtoarele limbaje i s se
demonstreze c ele se afl in clasa P:
L = {w {a,b}* / #b(w)= log2(#a(w)) }
S se construiasc MT decidente pentru urmtoarele limbaje i s li se
determine complexitatea timp i spatiu:
L = {w&w / w *}
L = {an&ak / n,kN, n>k}
L = {an&ak / n,kN, n|k}
S se construiasc MT decidente pentru urmtoarele limbaje i s li se
determine complexitatea timp i spatiu:
L = {w + / w=palindrom}
L = {w + / {0.1}+: w=r, unde r=mi()}
L = {w + / {0.1}+: w=r, unde r=mi()}
L = {w + / {0.1}+: w=r, unde r=mi()}
Sa se construiasc MT decidente pentru urmatoarele limbaje i s li se
determine complexitatea timp i spatiu:
a) L = {w{a,b,c}+ | u{a,b,c}*: w=uu }
b) L = {w{a,b,c}+ | u{a,b,c}*: w=uuu }
c) L = {w{a,b,c}+ | u{a,b,c}*: w=uuuu }
d) L = {w{a,b,c}+ | nu exista u{a,b,c}*: w=uu }
Sa se rezolve urmatoarele cerinte:
i) sa se construiasca o MT care sa calculeze
f:{0.1}*{0.1}*, f(a)=, unde: k=1, daca ak=0 si k=0, daca ak=1, 1i|a|;
ii) sa se construiasca o MT decidenta pentru limbajul:
L = {a{0,1}* / k=1, daca ak=0 si k=0, daca ak=1, 1i|a|}
Fie ={a,b} si L: L={ w* / nN: |w|=2n }; definim
f:LL, f(w)=w, unde w= daca w= si ||=||=|w|/2
Sa se rezolve urmatoarele cerinte:
i) sa se construiasca o MT care sa calculeze
f:{0.1}*{0.1}*, f(a)=, unde: k=1, daca ak=0 si k=0, daca ak=1, 1i|a|;
ii) sa se construiasca o MT decidenta pentru limbajul:
20
21
EXEMPLU DE REZOLVARE
Problema 1
Fie ={0,1}.
a) Sa se calculeze complexitatea timp pentru calcularea functiei f.
f: N N , f(n)=2n+3.
b) Sa se construiasc o MT care sa decida asupra limbajului
L = {w{a,b,c} | u{a,b,c}: w=uu }
i sa se determine complexitatea timp a acesteia.
Solutie
a) Respectarea formalismului TM
Stil
Utilizam o TM determinista cu 1! band
Exemplu: pt n=4 =>f(4)=2x4+3=11
n=11111 => f(n)= 111111111111
Continutul benzii dupa terminarea calculului:
11111#111111111111
M1 = "Fie secventa de intrare u (consta din n+1 simboluri de 1):
1. Se scaneaza banda i daca apar simboluri diferite de 1, M1 respinge.
2. Se depune simbolul # in prima celula libera de pe band i se aduce
cursorul in extremitatea stang a benzii.
3. Atat timp cat simbolul curent citit nu este #, se executa P4 i P5:
4. Se marcheaz simbolul curent
5. Se depun 2 simboluri 1 in primele 2 celule libere de pe band.
6. Se depun inc 2 simboluri 1 in primele 2 celule libere de pe band.
7. M1 accepta."
Corectitudinea este evidenta: de mentionat ca la Pasul 6 se depun doar 2
simboluri 1 i nu 3 pt ca deja aveam unul in plus de la dublarea intrarii (4
este codificat prin 5 simboluri 1).
Complexitatea M1 se calculeaza astfel (nu se includ revenirile cursorului):
Etapa
Nr.pasi
Nr.executii/Implementar
Complexitate
e
1
n
1
O(n)
2
1
1
O(1)
3,4,5
3
n
O(n)
6
2
1
O(1)
7
1
1
O(1)
Complexitatea M1
O(n)
b) Respectarea formalismului TM
Stil
Utilizam o TM cu 2 benzi, notate cu B1 i B2.
Exemple: , abcabc, aa, abab, accbaccb, abbaabba L
Pcte
1
2
2
1
2
2
Nr.pasi
n
2
3
1
Nr.executii/Implementar
e
1
n/2
n/2
1
Complexitate
O(n)
O(n)
O(n)
O(1)
O(n)