S S+T|T ; TT*a | a
Nondeterministic Bottom-Up PDA. (q 0 , a + a*a , Z 0 ). S S+T|T ; TT*a | a. S => S+T=>S+T*a=>S + a*a=>T + a*a=>a + a*a. Nondeterministic Bottom-Up PDA. (q 0 , a + a*a , Z 0 ) Ⱶ (q 0 , + a*a , aZ 0 ). S S+T|T ; TT*a | a.
343 views • 17 slides