Теория формальных грамматик и автоматов

278 второе : . , третье : .}, метаправила: M P = A :: слово A; . Рассмотрим теперь вывод цепочки aabbcc . Для этого применим согласованную подстановку в H P вместо символа A терминальных порождений. В результате получим порождающую грамматику: аксиома : первое слово слово, второе слово слово, третье слово слово. первое слово слово : первое слово, символ a . второе слово слово : второе слово, символ b . третье слово слово : третье слово, символ c . первое слово : первое, символ a . второе слово : второе, символ b . третье слово : третье, символ c . первое : . второе : . третье : . На втором этапе с помощью полученной порождающей грамматики выведем из аксиомы цепочку : аксиома  первое слово слово второе словое слово третье слово слово  первое слово символ a второе слово слово третье слово слово  первое символ a символ a второе слово слово третье слово слово  символ a символ a второе слово слово третье слово слово  символ a символ a второе слово символ b третье слово слово  символ a символ a второе символ b символ b третье слово слово  символ a символ a символ b символ b третье слово слово 