175
правок
Изменения
→Построение КС-грамматики по МП-автомату
Пусть <tex> P=(Q,\Sigma,\Gamma,\delta,q_0,Z_0)</tex> — МП-автомат. Построим <tex> G=(V,\Sigma,R,S)</tex>, где <tex> V </tex> состоит из:
*1 Специальный стартовый символ <tex> S </tex>
*2 Все символы вида <tex> [pXq]</tex>, где <tex> p </tex> и <tex> q </tex> — состояния из <tex> Q </tex>, а <tex> X </tex> — магазинный символ из <tex> \Gamma </tex>.Грамматика <tex> G </tex> имеет следующие продукции:*a)*b)
