Заданную КС-грамматику приведите к грамматике Вирта (простого предшествования)

Переобозначим нетерминалы для сокращения записи и избавимся от факультативных и итеративных скобок:
S-> CALL @ ( L )
L-> P | P, L
P-> @ | k
Новая грамматика не является грамматикой простого предшествования, т.к. между символами L и ) двойственные отношения:
L = ) и L > ) так как R(L) > DO , a L является R(L) из-за наличия в грамматике правила L-> P, L
Введя новый нетерминал L1 и правило для него L1->L избавимся от двойственных отношений и получим грамматику простого предшествования эквивалентную заданной:
S-> CALL @ ( L1 )
L1-> L
L-> P | P, L
P-> @ | k
Построим таблицу самых левых и самых правых символов для нетерминалов грамматики:
N L(N) R(N)
S CALL )
L1 L P @ k L P @ k
L P @ k P L @ k
P @ k @ k
Таблица простого предшествования будет иметь вид:
S CALL @ ( L1 ) L P , k
S
CALL
=
@
=
>
>
(
<
=
< <
<
L1
=
)
L
>
P
>
=
,
<
= <
<
k
>
>
Проведем свертку заданной цепочки:
# CALL PRIMER1 ( ABC , 27 , 15 ) #
< = = < >
# CALL PRIMER1 ( P , 27 , 15 ) #
< = = < = < >
# CALL PRIMER1 ( P , P , 15 ) #
< = = < = < = < >
# CALL PRIMER1 ( P , P , P ) #
< = = < = < = < >
# CALL PRIMER1 ( P , P , L ) #
< = = < = < = = >
# CALL PRIMER1 ( P , L ) #
< = = < = = >
# CALL PRIMER1 ( L ) #
< = = < >
# CALL PRIMER1 ( L1 ) #
< = = = = >
# S #