Programare Logic a EXERCIT II Exercit iul 1 Fie (S, ) o signatur a multisortat a.

. O clas a K de (S, )-algebre se nume ste tip abstract de date monomorc dac a veric a urm atoarele propriet a ti: (p1) dac aA si B sunt (S, )-algebre astfel nc at A K si A B , atunci B K, (p2) A B oricare ar A, B K. Dat i exemplu de un tip abstract de date monomorc. Exercit iul 2 Fie (S, ) o signatur a multisortat a, A si B dou a (S, )-algebre, iar h : A B un (S, )-morsm. Demonstrat i c a, oricare ar D o subalgebr a a lui A, h(D) este o subalgebr a a lui B . Exercit iul 3 Scriet i o specicat ie (S, , ), adecvat a pentru algebra N = (N, 0, g, f ) unde N este mult imea numerelor naturale, 0 N este constant a, iar g : N N si f : N N sunt denite astfel: g (n) = n + 1 si f (n) = n mod 2 oricare n N. Demonstrat i c a specicat ia g asit a este adecvat a pentru N . Exercit iul 4 Fie (S = {s}, ) o signatur a monosortat a cu = {1 : s, : ss s, 1 : s s}. Fie = {1 , 2 , 3 } o mult ime de ecuat ii, unde . (1 ) {x}1 x = x . (2 ) {x}x x1 = 1 . (3 ) {x, y, z }x (y z ) = (x y ) z Justicat i faptul c a urm atoarea secvent a de identit a ti este o -demonstrat ie n logica ecuat ional a, indic and la ecare pas regula de deduct ie folosit a: . (e1) {a, b} a (a1 b) = (a a1 ) b . (e2) {a} a a1 = 1 . (e3) {a, b} (a a1 ) b = 1 b . (e4) {b} 1 b = b . (e5) {a, b} (a a1 ) b = b . (e6) {a, b} a (a1 b) = b Exercit iul 5 Fie (S = {s}, ) o signatur a monosortat a cu = { : ss s, 1 : s s}. Dac a X = {x, y, z, u, v } este o mult ime de variabile, g asit i o substitut ie : X T (X ) astfel nc at (t1 ) = (t2 ), unde t1 = (x y ) z s i t2 = v (u v ) 1 . Exercit iul 6 Fie (S = {s}, ) o signatur a monosortat a, unde = {0 : s, g : s s, f : s s}. Folosind sistemul de rescriere R = {f (g (0)) g (0), g (f (0)) g (0)}, rescriet i termenii t1 = f (f (g (f (g (0))))) si t2 = f (f (0)) p an a la o form a normal a. Caracterizat i formele normale ale sistemului R. Exercit iul 7 Fie (S, ) o signatur a multisortat a si e = (X )l = r o (S, )ecuatie. Dac a A este o (S, )-algebr a astfel nc at A |= e (A satisface ecuat ia e), demonstrat i c a A/ |= e oricare ar o congruent a pe A.
.

Exercit iul 8 Fie (S, ) urm atoarea signatur a: S = {elt}, . . = { : elt elt elt}. Dac a = {{x} x x = x, {x, y } x y = y x}, . demonstrat i c a {x, y } (x y ) (y x) = y x. Indicat i la ecare pas al demonstrat iei regulile de deduct ie folosite. Exercit iul 9 Fie (S, , ) urm atoarea specicat ie: S = {elt}, . = {0 : elt, s : elt elt}, = {{x} s(s(s(x))) = x}. Pentru ecare din urm atoarele (S, )-algebre cercetat i dac a este -algebr a init ial a si justicat i r aspunsul dat: (a) N = (N, 0, succ), succ(n) = n + 1 oricare n N, (b) Z3 = (Z3 , 0, succ), succ(n) = (n + 1)mod 3 oricare n Z3 . Exercit iul 10 G asit i un unicator pentru termenii t1 = f (x, g (y, y ), x) si t2 = f (z, z, g (w, h(v ))), unde x, y , z , w si v sunt variabile iar operat ile f , g si h au arit a tile 3,2,1. Exercit iul 11 Cercetat i dac a sistemul de rescriere R = {{x} f (g (f (x))) g (x), {x} g (f (g (x))) f (x)} este conuent, unde f si g sunt operat ii unare. Exercit iul 12 Determinat i signatura ata sat a urm atoarei gramatici independente de context: G = (S0 , N, T, P ), unde N = {A, B }, S0 = A, T = {a, b} si P = {A aAa, A aBa, B Bb, B b}. Exercit iul 13 Fie (S, ) o signatur a multisortat a si . (X ) l = r if H o (S, )-ecuat ie condit ionat a. Fie A este o (S, )-algebr a astfel nc at . . A |= (X ) l = r if H . Demonstrat i c a B |= (X ) l = r if H oricare ar B o subalgebr a a lui A. Exercit iul 14 Cercetat i dac a termenii t1 = g (z, h(z, v ), f (v )) si t2 = g (f (x), h(y, f (a)), f (f (b))) au un unicator (x, y , z , v sunt variabile, a si b sunt constante iar operat ile f , h, g au arit a tile 1,2,3). Pentru urm atoarele exercit ii folosim specicat ia multisortat a (S, , E ), unde: S = {nat, bool}, = {T : bool, F : bool, 0 : nat, succ : nat nat, iszero : nat bool}, . E = { succ(succ(0)) = 0, . iszero(0) = T, . {x} iszero(succ(x)) = F }.

Exercit iul 15 Fie R sistemul de rescriere ata sat lui E . (a) Descriet i T (algebra termenilor f ar a variabile) si indicat i termenii t T care sunt forme normale pentru R. (b) Ar atat i c a R nu este conuent. Exercit iul 16 Ar atat i c a E (T = F ) si scriet i o E -demonstrat ie formal a n logica ecuat ional a, indic and la ecare pas regula de deduct ie folosit a. Exercit iul 17 Ar atat i c a E {x} succ(succ(x)) = x. (Indicat ie: g asit i o (S, , E )-algebr a care nu satisface ecuat ia.) Exercit iul 18 G asit i o (S, , E )-algebr a init ial a si justicat i alegerea facut a. Exercit iul 19 Determinat i signatura corespunz atoare urm atoarei gramatici independente de context: T true | V V, B T | B||B | !B, N i, i {0, . . . , 9}, N iN, i {0, . . . , 9}, R reg n, n {1, 2, 3}, V N | R |V + V | V V , E R = V | {P} | if B E | while B E, P E | E; P,
. .

unde {true, , ||, !, +, , =, {, }, if, while, ; }{reg n, i| n {1, 2, 3}, i {0, . . . , 9}} este mult imea terminalelor. Exercit iul 20 Fie (S, ) o signatur a, K o clas a de (S, ) algebre si I o algebr a . . init ial a n K. Ar atat i c a dac a I |= (l = r) atunci A |= (l = r) oricare ar A K. Exercit iul 21 Studiat i mult imea de unicatori a termenilor t1 = h(f (u), h(g (a, w), v, x), f (w)), t2 = h(f (g (a, w)), h(v, g (w, a), f (v )), y ),

unde u, v, w, x, y sunt variabile, a este constant a iar f, g, h sunt operatori cu arit a tile 1, 2, 3. Pentru urm atoarele exercit ii folosim specicat ia (S, , E ), unde: S = {num}, = {one : num, double : num num, half : num num}, . E = { {x} double(half (x)) = x, . {x} half (double(x)) = x}. Exercit iul 22 Denit i pe Z operat iile de -algebr a astfel nc at structura obt inut a s a e E -algebr a init ial a. Exercit iul 23 Pentru un termen t T ({x}), not am nr(t) = num arul simbolurilor de operat ie care apar n t. Fie R sistemul de rescriere ata sat lui E . (a) Ar atat i c a dac a : {x} T ({x}) este o substitut ie si {x} l r R, atunci nr((l)) = nr((r)) + 2. (Indicat ie: : T ({x}) T ({x}) este un morsm.) (b) Ar atat i c a t R t implic a nr(t) > nr(t ). (c) Ar atat i c a R se termin a. 3

Exercit iul 24 Fie G = (S0 , N, T, P ) o gramatica independente de context cu N = {A, B }, S0 = A, T = {a, b} si P = {A aAB, A BAa, A a, B Bb, B b}. (a) Determinati signatura atasata gramaticii G. (b) Folosind semantica algebrei initiale, contruiti o algebra semantica care sa asocieze unui cuvant w L(G) urmatoarea interpetare: Sem(w) = nr(a, w) nr(b, w), unde nr(x, w) = numarul de aparitii ale literei x in w. Exemplicati pentru w = aaabb. Exercit iul 25 Fie S = {s} si = {f : s s, g : s s}. Pentru ecare din sistemele de rescriere de mai jos calculati perechile critice. Cercetati daca aceste sisteme sunt complete. (1) R1 = {f (g (f (x))) g (f (g (x)))}, (2) R2 = {f (f (x)) f (x)} (3) R3 = {f (g (f (x))) g (f (g (x))), f (f (x)) f (x)}. Exercit iul 26 Fie = {1 , 2 , 3 , 4 } o multime de clauze Horn, unde ( 1 ) ( 2 ) ( 3 ) ( 1 ) student2(x) : prof (IL, x) prof (z, x) : prof (z, y ), serie(x, y ) prof (IL, M aria) serie(Andrei, M aria)

(x, y , z sunt variabile; IL, M aria, Andrei sunt constante). Gasiti o repingere din pentru : student2(Andrei)