rude ,
the second transition means that transition to stage q2 + pop.
but what I dont understand is if the above npda is accepting language by final state ( as the equation shows q2 as final state) , how can you pop something [Transition - (q0,a,z) -> (q2,lamba) ] when the stack does not have a symbol to pop.
