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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «{{Определение |definition = Определим <tex>P=(Q,\Sigma,\Gamma,\delta,q_0,Z_0,F)</tex> как <b>детерминированный автомат…»)
(нет различий)

Версия 05:48, 15 января 2011

Определение:
Определим [math]P=(Q,\Sigma,\Gamma,\delta,q_0,Z_0,F)[/math] как детерминированный автомат с магазинной (стековой) памятью, где
  • [math]Q[/math]: конечное множество состояний.
  • [math]\Sigma[/math]: конечное множество входных символов.
  • [math]\Gamma[/math]: конечный магазинный алфавит — множество символов, которые можно помещать в магазин.
  • [math]\delta[/math]: функция переходов. [math]\delta (q,a,X)=(p,\gamma)[/math], где
    • [math]q[/math]: текущее состояние из Q.
    • [math]a[/math]: либо входной символ, либо пустая цепочка [math]\epsilon[/math].
    • [math]X[/math]: магазинный символ из [math]\Gamma[/math].
    • [math]p[/math]: новое состояние из Q.
    • [math]\gamma[/math]: цепочка магазинных символов, замещающих [math]X[/math] на вершине магазина.
  • [math]q_0[/math]: начальное состояние.
  • [math]Z_0[/math]: начальный магазинный символ (маркер дна). Находится в магазине в начале работы автомата.
  • [math]F[/math]: множество допускающих состояний.