Acceptance by empty stack.
𝛿( q0 , λ , z) → ( q0 , Sz1 )
𝛿( q0,a,S)→ { ( q0 , SB ) }
𝛿( q0,b,S)→ (q0,λ)
𝛿( q0,b,B)→ (q0,λ)
𝛿( q0,λ,z1)→ (q0,λ)