text: В отличие от обычных конечных автоматов, автомат с магазинной памятью является набором M = ( K , Σ , π , s , F , S , e ) , {\displaystyle M=(K,\Sigma ,\pi ,s,F,S,e),} где K — конечное множество состояний автомата, s ∈ K {\displaystyle s\in K} — единственно допустимое начальное состояние автомата, F ⊆ K {\displaystyle F\subseteq K} — множество конечных состояний, причём допустимо F=Ø и F=K, Σ — допустимый входной алфавит, из которого формируются строки, считываемые автоматом, S — алфавит памяти (магазина), e ∈ S {\displaystyle e\in S} — нулевой символ памяти.