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

UptoLike

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

a
1
a
n
A
1
= B
1
A
m
= B
m
S
S
a
1
, ..., a
n
|A
1
= B
1
, ..., A
m
= B
m
.
a
1
, ..., a
n
|A
1
= B
1
, ..., A
m
= B
m
W U
[W ] [U] W U
a
1
, ..., a
n
|A
1
= B
1
, ..., A
m
= B
m
b
1
, ..., b
p
|C
1
= D
1
, ..., C
q
= D
q