Rozdział VII - Automaty ze stosem

Automaty ze stosem 97W automacie ze stosem, za model stosu obieramy taśmę zakończoną z lewejstrony. Występuje ona obok (znanej juŜ nam z poprzedniego rozdziału) taśmy wejściowejzawierającej czytane słowo. W konfiguracji początkowej (patrz lewa stronarys. 7.1) głowica G 1 jest ustawiona na klatce z taśmy wejściowej, w której znajdujesię pierwsza litera czytanego słowa, a głowica G 2 - na pierwszej klatce w stosie (jeston cały pusty, za wyjątkiem tej właśnie klatki, w której to znajduje się symbolpoczątkowy stosu). Taśma wejściowa moŜe się przesuwać w jedna stronę (podobnie,jak w automatach skończonych), a dodatkowy (w stosunku do automatów skończonych)stos - w dwie. RównowaŜnie moŜemy oczywiście mówić, Ŝe wyŜej wymienionetaśmy wcale się nie przesuwają, lecz Ŝe przesuwają się po nich głowice tegoautomatu. Głowica G 2 wskazuje zawsze na wierzch stosu, a w przypadku, gdy stosjest pusty - na miejsce bezpośrednio przed nim.a b a b b aG 1taśmawejściowaa b a b b aG 1q 0q ivG 2konfiguracja początkowastosv z v v v zG 2konfiguracja pod koniecanalizy słowa ababbaRys. 7.1.Formalnie, a u t o m a t e m z e s t o s e m nazywamy uporządkowaną siódemkęA = , w której:− Z jest alfabetem stosu,− K jest zbiorem stanów automatu,− T jest alfabetem taśmy wejściowej,− M jest relacją przejścia: M ⊆ (Z × K × (T ∪ {λ})) × (Z* × K); poniewaŜ (ogólnierzecz biorąc) jest to relacja (a nie funkcja), więc opisany nią konkretny automatmoŜe być tak deterministyczny, jak i niedeterministyczny,− z 0 ∈ Z jest symbolem początkowym stosu,− q 0 ∈ K jest stanem początkowym automatu,− H ⊆ K jest zbiorem stanów akceptowalnych przez automat (nazywany go teŜ zbioremstanów końcowych).Tak więc, w stosunku do definicji automatu skończonego, doszły tu Z i z 0- alfabet i symbol początkowy stosu, tj. elementy charakteryzujące stos.