эти символы?
W = (Q,Σ,Φ,σ,s,Ω,F) where
Q is a finite set of states
Σ is a finite set of the input alphabet
Φ is a finite set of the stack alphabet
σ is a finite transition relation
s is an element of Q the start state
Ω is the initial stack symbol
F is subset of Q, consisting of the final states.