1679
правок
Изменения
→Построение МП-автомата по заданной КС-грамматике: викисписок
[[Файл:Delta.png | thumb | right | Добавим такие переходы для каждого терминала <tex>a</tex> и правила вывода <tex>V \rightarrow \gamma</tex>]]
Покажем, что язык, допускаемый автоматом <tex>A</tex>, совпадает с языком грамматики <tex>\Gamma</tex>, то есть что <tex>S \Rightarrow^* w \iff (q, w, S) \vdash^* (q, \varepsilon, \varepsilon)</tex>:
Получившийся автомат:
[[Файл:Example1.png]]
=== Построение КС-грамматики по МП-автомату ===
