Изменения

Перейти к: навигация, поиск

Автоматы с магазинной памятью

692 байта добавлено, 09:02, 27 октября 2010
Диаграмма переходов
*<tex>\delta</tex> --- функция переходов.
}}
==Диаграмма Диаграммы переходов==<div class="tleft" style="clear:none">[[Файл:Transition1.png|thumb|Переход: с - символ, прочитанный с ленты; A - символ, вынутый из стека; <tex>\alpha</tex> - строка, помещаемая в стек]]</div><div class="tleft" style="clear:none">[[Файл:Transition2.png|thumb|Переход по любому стековому символу, он же возвращается в стек]]</div><div class="tleft" style="clear:none">[[Файл:Transition3.png|thumb|Переход по любому стековому символу, в стек кладется пустая строка]]</div><br style="clear:both" />
По соглашению маркер дна всегда находится на дне (за исключением случая, когда автомат является автоматом с допуском по пустому стеку). То есть, для <tex>\mathcal8 q \in Q,\mathcal8 c \in \Sigma \cup \varepsilon \Rightarrow \delta(q, c, z_0) \ni \langle p, \alpha \rangle </tex>, где <tex>p \in Q, \alpha \in \Gamma^*, \alpha = \alpha_1z_0</tex>
 
==Основные определения==
*'''Мгновенное описание:''' <tex>\langle q, \alpha, \gamma \rangle</tex>, где <tex>q</tex> --- текущее состояние, <tex>\alpha</tex> --- остаток строки, <tex>\gamma</tex> --- содержимое стека.
57
правок

Навигация