Элементы теории алгоритмов - 161 стр.

UptoLike

Составители: 

§3
S
+
(T )
U = V
U =
S
(T )
V ⇐⇒ S
+
(T )
U,V
S
(T )
S
+
(T )
U,V
S
+
(T )
X
Aq
i
B A B S
+
(T )
B AB q i =0
[hUh] [q
0
q
0
]
hUh =
S
+
(T )
q
0
q
0
S
+
(T )