4624
правки
Детерминированный автомат с магазинной памятью: различия между версиями
Материал из WikiGrapp
Детерминированный автомат с магазинной памятью (посмотреть исходный код)
Версия от 13:44, 4 февраля 2011
, 4 февраля 2011нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| (не показаны 2 промежуточные версии этого же участника) | |||
| Строка 1: | Строка 1: | ||
'''Детерминированный автомат с магазинной памятью''' (''[[Deterministic pushdown automation]]'') | '''Детерминированный автомат с магазинной памятью''' (''[[Deterministic pushdown automation]]'') — | ||
''[[МП-автомат]]'' <math>P=(Q,\Sigma,\Gamma,\delta,q_0,Z_0,</math> <math>F)</math> называется ''детерминированным'' (сокращенно ''[[ДМП- | ''[[МП-Автомат|МП-автомат]]'' <math>P=(Q,\Sigma,\Gamma,\delta,q_0,Z_0,</math> <math>F)</math> называется ''детерминированным'' (сокращенно ''[[ДМП-Автомат|ДМП-автоматом]]''), если для каждых <math>q\in Q</math> и <math>Z\in\Gamma</math> либо | ||
(1) <math>\delta(q,a,Z)</math> содержит не более одного элемента для каждого <math>a\in\Sigma</math> и <math>\delta(q,e,Z)=\emptyset</math>, либо | (1) <math>\delta(q,a,Z)</math> содержит не более одного элемента для каждого <math>a\in\Sigma</math> и <math>\delta(q,e,Z)=\emptyset</math>, либо | ||
| Строка 9: | Строка 9: | ||
детерминированных КС-языков является собственным подклассом КС-языков. | детерминированных КС-языков является собственным подклассом КС-языков. | ||
==Литература== | ==Литература== | ||
* Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. — Т. 1,2. | |||
* Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995. | |||
* Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. — Новосибирск: Наука. Сиб. отд-ние, 1986. | |||
