Z → S┴
S → T | S+T
T → ид | T*ид
Грамматика для выражений из идентификаторов и знаков +, *. Символ ┴ – ограничитель конца строки.
Построение правил подстановки Флойда показано ниже:
L0
|
L0'
|
L1
|
L1'
|
Правило грамматики
|
Пункт алгоритма
|
Правило подстановки Флойда
|
Z
|
|
|
|
T → ид
|
0.3.2.1
|
(1) Z0
|
ид
|
T
|
|
*
|
T1
|
Z
|
|
T
|
|
|
0.4
|
(2)
|
|
|
ош1
|
|
|
Z
|
Z
|
T
|
|
S → T
|
1.3.2
|
(3) T1
|
T
|
S
|
|
|
S1
|
Z
|
Z
|
T,S
|
|
S → S+T
|
1.3.2
|
(4) T1
|
S+T
|
S
|
|
|
S1
|
Z
|
Z
|
T,S
|
|
T → T*ид
|
1.3.5
|
(5) T1
|
T*
|
|
|
*
|
*1
|
Z
|
Z
|
T,S,*
|
|
|
1.4
|
Упорядочение правил 5,4,3
|
Z
|
Z
|
T,S,*
|
|
|
1.5
|
(6)
|
|
|
ош2
|
|
|
Z
|
Z
|
T,S,*
|
T
|
Z → S┴
|
1.3.1
|
(7) S1
|
S┴
|
Z
|
вых
|
|
|
Z
|
Z
|
T,S,*
|
|
S → S+T
|
1.3.6
|
(8) S1
|
S+
|
|
|
*
|
T0
|
Z,T
|
Z
|
T,S,*
|
T
|
|
1.5
|
(9)
|
|
|
ош3
|
|
|
Z,T
|
Z
|
T,S,*
|
T,S
|
T → ид
|
0.3.2.1
|
(10)T0
|
ид
|
T
|
|
*
|
T1
|
Z,T
|
Z
|
T,S,*
|
T,S
|
|
0.4
|
(11)
|
|
|
ош4
|
|
|
Z,T
|
Z,T
|
T,S,*
|
T,S
|
T → T*ид
|
1.3.3
|
(12)*1
|
T*ид
|
T
|
|
*
|
T1
|
Z,T
|
Z,T
|
T,S,*
|
T,S
|
|
1.5
|
(13)
|
|
|
ош5
|
|
|
Z,T
|
Z,T
|
T,S,*
|
T,S,*
|
конец
|
|
|
|
|
|
|
|
|
Скачать 0.64 Mb.