y"> Правила виводу для G виходять з правил виведення граматики G заміною символів C i на відповідні символи X i . При цьому праволінейная граматика наводиться до наступного вигляду:
G = t , V span> n , S , P >, де
V t = {X 0 , X 2 , X 3 , X 4 , X 5 , X 6 , X < span align = "justify"> 7 } - термінальний словник,
V n = {S, A, B, C, D, E, F} - нетермінальний словник,
S - початковий символ граматики, S Vn, - безліч правил виводу, одержуваних з правил виводу R заміною символів Ci на Xi у відповідності з таблицею 1.
Отримаємо наступні правила виведення праволінейной граматики G:
S В® x 5 x 1 x 3 A
S В® x 5 x 2 x 6 B
S В® x 2 C
S В® x 5 F
A В® x 6 D
A В® x 2
B В® x ...