La logique équationnelle
Σs.
=t
ΣAΣs.
=t
A |=s.
=tAσbσ(s) = bσ(t)
s.
=tA
ΣAΣE
A |=EA E
E A
EΣs.
=tΣ
s.
=tE
E |=s.
=tEs.
=t
E
.
=E={(s, t)∈ T (X,Σ) × T (X,Σ) | E |=s.
=t}
.
=E
T(X,Σ)
s.
=tΣEΣ
E |=s.
=t
σE |=σ(s) = σ(t)
E=∅
E
T(Σ)/.
=E|=s.
=t
s.
=t∈ E
s.
=t s .
=s
s.
=t
t.
=s
s.
=t t .
=u
s.
=u
s.
=t
σ(s).
=σ(t)
s.
=t
u[s]p
.
=u[t]p
6
7
8
9
10
11
12
1
/
12
100%
