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

UptoLike

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

Γ A = N T
N T
Π S N
SST(Γ) = A|Π .
Γ L(Γ)
T S
L(Γ) = {W |W T
& S
SST(Γ)
W }.
α h α
L(Γ)
Γ
1
Γ
2
L
1
) L
2
)
Γ
1
Γ
2
L
1
) L
2
)
A = {a
1
,...,a
n
}
{A
i
,B
i
|1 i m }.
Γ
1
Γ
2
T = A∪{c
1
,...,c
m
} Γ
1
S
1
Γ
2
S
2
Π
1
Γ
1
S
1
A
i
S
1
c
i
S
1
A
i
c
i
i =1,...,m
Π
2
Γ
2
S
1
B
i
S
1
c
i
S
1
B
i
c
i
i =1,...,m
L
1
)={A
i
1
A
i
2
...A
i
t
c
i
t
...c
i
2
c
i
1
},
L
2
)={B
j
1
B
j
2
...B
j
k
c
j
k
...c
j
2
c
j
1
}.