Детерминированный автомат с магазинной памятью: различия между версиями

Детерминированный автомат с магазинной памятью (посмотреть исходный код)

Нет изменений в размере , 14 октября 2009

нет описания правки

4194

правки

@@ Строка 1: / Строка 1: @@
 '''Детерминированный автомат с магазинной памятью''' (''[[Deterministic pushdown automation]]'') -
-''[[МП-автомат]]'' <math>P=(Q,\Sigma,\Gamma,\delta,q_0,Z_0,</math> <math>F)</math> называется ''детерминированным'' (сокращенно ''[[ДМП-автомат|ДМП-автоматом]]''), если для каждых <math>q\in Q</math> и <math>Z\in\Gamma</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>, либо