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

UptoLike

ВУЗ: 

ЯрГУ | Ярославль

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

Рубрика: 

§2
CSP(SST)
CSP(SST)=a
1
,...,a
n
,a
1
,...,a
n
|
A
1
W → WB
1
, ..., A
m
W → WB
m
,
a
1
W → Wa
1
, ..., a
n
W → Wa
n
,
a
1
W → Wa
1
, ..., a
n
W → Wa
n
,
U = a
i
1
...a
i
p
U
a
i
1
...a
i
p
U V SST
U
SST
V ⇐⇒ U
CSP(SST)
V.
U
SST
V
U = U
0
→ U
1
→ ... → U
k
→ U
k+1
= V
SST t 0 ≤ t ≤ k
U
t
CSP(SST)
U
t+1
.
U
t
→ U
t+1
SST
U
t
= XA
i
Y → XB
i
Y = U
t+1
,
CSP(SST)
U
t
= XA
i
Y
CSP(SST)
A
i
YX
CSP(SST)
YX
B
i
CSP(SST)
X
B
i
Y
CSP(SST)
B
i
Y
X
CSP(SST)
Y
XB
i
CSP(SST)
XB
i
Y = U
t+1
.
U
CSP(SST)
V
U = U
0
→ U
1
→ ... → U
k
→ U
k+1
= V
CSP(SST)
t 0 ≤ t ≤ k U
t
CD
D
C
∗
(DC
)
∗
=(D
C)
∗
= CD.

Страницы