170 likes | 341 Views
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.
E N D
Nondeterministic Bottom-Up PDA (q0 , a + a*a , Z0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , + a*a , aZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , + a*a , TZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , *a , a+SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) Ⱶ (q0 , a , *T+SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) Ⱶ (q0 , a , *T+SZ0) Ⱶ (q0 , ᴧ, a*T+SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) Ⱶ (q0 , a , *T+SZ0) Ⱶ (q0 , ᴧ, a*T+SZ0) Ⱶ (q3,1, ᴧ, *T+SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) Ⱶ (q0 , a , *T+SZ0) Ⱶ (q0 , ᴧ, a*T+SZ0) Ⱶ (q3,1, ᴧ, *T+SZ0) Ⱶ (q3,2, ᴧ , T+SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) Ⱶ (q0 , a , *T+SZ0) Ⱶ (q0 , ᴧ, a*T+SZ0) Ⱶ (q3,1, ᴧ, *T+SZ0) Ⱶ (q3,2, ᴧ , T+SZ0) Ⱶ (q0, ᴧ, T+SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) Ⱶ (q0 , a , *T+SZ0) Ⱶ (q0 , ᴧ, a*T+SZ0) Ⱶ (q3,1, ᴧ, *T+SZ0) Ⱶ (q3,2, ᴧ , T+SZ0) Ⱶ (q0, ᴧ, T+SZ0) Ⱶ (q1,1, ᴧ , +SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) Ⱶ (q0 , a , *T+SZ0) Ⱶ (q0 , ᴧ, a*T+SZ0) Ⱶ (q3,1, ᴧ, *T+SZ0) Ⱶ (q3,2, ᴧ , T+SZ0) Ⱶ (q0, ᴧ, T+SZ0) Ⱶ (q1,1, ᴧ , +SZ0) Ⱶ (q1,2, ᴧ , SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) Ⱶ (q0 , a , *T+SZ0) Ⱶ (q0 , ᴧ, a*T+SZ0) Ⱶ (q3,1, ᴧ, *T+SZ0) Ⱶ (q3,2, ᴧ , T+SZ0) Ⱶ (q0, ᴧ, T+SZ0) Ⱶ (q1,1, ᴧ , +SZ0) Ⱶ (q1,2, ᴧ , SZ0) Ⱶ (q0, ᴧ, SZ0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) Ⱶ (q0 , a , *T+SZ0) Ⱶ (q0 , ᴧ, a*T+SZ0) Ⱶ (q3,1, ᴧ, *T+SZ0) Ⱶ (q3,2, ᴧ , T+SZ0) Ⱶ (q0, ᴧ, T+SZ0) Ⱶ (q1,1, ᴧ , +SZ0) Ⱶ (q1,2, ᴧ , SZ0) Ⱶ (q0, ᴧ, SZ0) Ⱶ (q1, ᴧ, Z0) 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 (q0 , a + a*a , Z0) Ⱶ (q0 , ᴧ+ a*a , aZ0) Ⱶ (q0 , ᴧ+ a*a , TZ0) Ⱶ (q0 , + a*a , SZ0) Ⱶ (q0 , a*a , +SZ0) Ⱶ (q0 , ᴧ*a , a+SZ0) Ⱶ (q0 , *a , T+SZ0) Ⱶ (q0 , a , *T+SZ0) Ⱶ (q0 , ᴧ, a*T+SZ0) Ⱶ (q3,1, ᴧ, *T+SZ0) Ⱶ (q3,2, ᴧ , T+SZ0) Ⱶ (q0, ᴧ, T+SZ0) Ⱶ (q1,1, ᴧ , +SZ0) Ⱶ (q1,2, ᴧ , SZ0) Ⱶ (q0, ᴧ, SZ0) Ⱶ (q1, ᴧ, Z0) Ⱶ (q2, ᴧ , ᴧ) S S+T|T ; TT*a | a S=>S+T=>S+T*a=>S + a*a=>T + a*a=>a + a*a