S-, q-. 5. , , , [16]. :
5.1. , , . :
A → bα,
:
(αr),
:
A → b,
:
, .
:
A → e
.
5.2. A , A b 5.1, (A → α) .
q-
q-, . .
a | b | c | ┤ | |
S | ↕ SA,→ | ↑,→ | ||
A | ↑ | ↑ | ↕ SA,→ | |
Ñ |
5.2, ( ). G9.5(S) :
1. S → aA
2. S → b
3. A → cSa
4. A → e
:
(1) = (S → aA) = {a}
(2) = (S → b) = {b}
(3) = (A → Sa) = {c}
(4) = (A → e) = (A) = {a, }
. , , A b.
a | b | c | ┤ | |
S | ↕ A,→ | ↑,→ | ||
A | ↑ | 1)↑ 2) | ↕ aS,→ | ↑ |
a | ↑,→ | |||
Ñ |
, , . , , ab. , .
|
|
ÑS | ab┤ | ↕ A,→ | ||
ÑA | b┤ | ↑ | ||
Ñ | b┤ |
.
ÑS | ab┤ | ↕ A,→ | ||
ÑA | b┤ |