175
правок
Изменения
→Пример
Так как <tex> P </tex> имеет один магазинный символ и одно состояние, то грамматика строится просто. У нас будет всего две переменные:
*a) <tex> S </tex> — стартовый символ.
*b) <tex> [qZq] </tex> — единственная тройка, которую можно собрать из наших состояний и магазинный магазинных символов.
Также грамматика имеет следующие продукции:
*1. Единственной продукцией для <tex> S </tex> является <tex> S \rightarrow [qZq] </tex>. Но если бы у автомата было <tex> n </tex> состояний, то тут бы имелось и <tex> n </tex> продукций.
