Documente Academic
Documente Profesional
Documente Cultură
a
EXERCIT
II
Exercitiul 1 Fie (S, ) o signatura multisortata. O clasa K de (S, )-algebre se
numeste tip abstract de date monomorfic dac
a verifica urmatoarele propriet
ati:
(p1) dac
a A si B sunt (S, )-algebre astfel ncat A K si A B, atunci B K,
(p2) A B oricare ar fi A, B K.
Dati exemplu de un tip abstract de date monomorfic.
Exercitiul 2 Fie (S, ) o signatura multisortata, A si B dou
a (S, )-algebre,
iar h : A B un (S, )-morfism. Demonstrati ca, oricare ar fi D o subalgebra
a lui A, h(D) este o subalgebra a lui B.
Exercitiul 3 Scrieti o specificatie (S, , ), adecvat
a pentru algebra N = (N, 0, g, f )
unde N este multimea numerelor naturale, 0 N este constant
a, iar g : N N
si f : N N sunt definite astfel:
g(n) = n + 1 si f (n) = n mod 2 oricare n N.
Demonstrati ca specificatia g
asit
a este adecvat
a pentru N .
Exercitiul 4 Fie (S = {s}, ) o signatura monosortat
a cu = {1 : s, : ss s, 1 : s s}.
Fie = {1 , 2 , 3 } o multime de ecuatii, unde
.
(1 ) {x}1 x = x
1 .
(2 ) {x}x x = 1
.
(3 ) {x, y, z}x (y z) = (x y) z
Justificati faptul ca urmatoarea secventa de identit
ati este o -demonstratie n
logica ecuational
a, indic
and la fiecare pas regula de deductie folosita:
.
(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
Exercitiul 5 Fie (S = {s}, ) o signatura monosortat
a cu = { : ss s, 1 : s s}.
Daca X = {x, y, z, u, v} este o multime de variabile, g
asiti o substitutie : X T (X)
astfel ncat (t1 ) = (t2 ), unde t1 = (x y) z si t2 = v (u v)1 .
Exercitiul 6 Fie (S = {s}, ) o signatura 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)}, rescrieti
termenii t1 = f (f (g(f (g(0))))) si t2 = f (f (0)) pana la o forma normal
a.
Caracterizati formele normale ale sistemului R.
.
Exercitiul 7 Fie (S, ) o signatura multisortata si e = (X)l = r o (S, )ecuatie. Daca A este o (S, )-algebr
a astfel ncat A |= e (A satisface ecuatia e),
demonstrati ca A/ |= e oricare ar fi o congruenta pe A.
N iN,
P E | E; P,
i {0, . . . , 9},
unde {true, , ||, !, +, , =, {, }, if, while, ; }{reg n, i| n {1, 2, 3}, i {0, . . . , 9}}
este multimea terminalelor.
Exercitiul 20 Fie (S, ) o signatura, K o clasa de (S, ) algebre si I o algebr
a
.
.
initiala n K. Aratati ca dac
a I |= (l = r) atunci A |= (l = r) oricare ar fi
A K.
Exercitiul 21 Studiati multimea de unificatori a termenilor
t1 = h(f (u), h(g(a, w), v, x), f (w)),