1632
правки
Изменения
м
rollbackEdits.php mass rollback
'''3.''' Каждый переход <tex>\mathcal{P_{N}}</tex> есть и у автомата <tex>\mathcal{P}_{T}</tex>. Тогда, согласно введенным начальному и заключительному состоянию, автомат <tex>\mathcal{P}_{T}</tex> может совершить следующие действия: <tex>(s, w, Z_{1})\vdash (s_{0}, w, Z_{0} Z_{1})\vdash^{*} (q, \varepsilon, Z_{1})\vdash (p, \varepsilon,Z_{1}) </tex>, что означает <tex>\mathcal{P}_{T}</tex> допускает слово <tex>w</tex> по заключительному состоянию <tex>p</tex>. }}
== См. также ==
*[[Автоматы с магазинной памятью | Автоматы с магазинной памятью]]
*[[Совпадение_множества_языков_МП-автоматов_и_контекстно-свободных_языков | Совпадение множества языков МП-автоматов и контекстно-свободных языков]]
*[[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора | Контекстно-свободные грамматики]]
== Источники информации ==
* ''Хопкрофт Д., Мотвани Р., Ульман Д.'' {{---}} '''Введение в теорию автоматов, языков и вычислений''', 2-е изд. : Пер. с англ. — Москва, Издательский дом «Вильямс», 2008. — 528 с. : ISBN 978-5-8459-1347-0 (рус.)
[[Категория: Теория формальных языков]]
[[Категория: Контекстно-свободные грамматики]]
[[Категория: МП-автоматы]]
