- алфавіт нетермінальних символів;
Т - алфавіт термінальних символів;
Р - кінцеве безліч продукції;
S - стартовий символ граматики;
Виходячи з аналізу технологічного процесу, описаного в попередньому розділі, отримуємо:
G = {{A, O, I, S}, {{, , < span align = "justify">, , , , }, { , , , }, { , , , }, {d 1 , d 2 , d 3 }}, P, S}
Розглянемо структуру продукції:
P: S d 1 ;
S ? SAOId 2 ;
(A , O , I );
(A , O , I );
(A , O , I d 1 );
(A , O , I );
(A , O , I );
(A , O , I );
(A , O , I );
(A , O , I );
(A , O , I ); ? d 3 ;
...
