S์์ rightmost Derivation ์ํํ๋ฉด ์์ ๊ฐ์ ์์ ์ป์ ์ ์๋ค. A->ฮฒ ์ฒ๋ผ ๋ฐ๊พธ๋ ๊ฒ์ production์ด๋ผ๊ณ ํ๋ฉด ๋ฐ๋๋ก ๋์๊ฐ ๋์๋ handle ฮฒ๋ฅผ ์ฌ์ฉํ๋ค๊ณ ํ๋ค. leaves์์ root๋ก ์ฌ๋ผ๊ฐ๋ฉด์ ์์
ํ๊ณ ๊ทธ ๊ณผ์ ์ reduction์ด๋ผ๊ณ ๋ถ๋ฅธ๋ค

right sentential form ฮณ์ handle์ด < A->ฮฒ, k> (k๋ ์์น, A->ฮฒ๋ production rule) ๋ผ๋ฉด k์์น์ ์๋ ฮฒ๋ฅผ A๋ก ๋ฐ๊พผ๋ค.
handle์ ์ฐพ๊ณ , reducing ํ๋ ๊ณผ์



Input: x + ( y + z )
invalid๋ฅผ ๋ฃ๋๋ค.
x๋ฅผ pushํ๋ค.
reduction ๊ณผ์ ์ ์งํํ๋ค.T -> iโข์ด๋ค. ํ์ดํ ์ค๋ฅธ์ชฝ์ ๋ฌธ์ ๊ฐ์ 2๋ฐฐ๋ฅผ pop ํด์ค๋ค. ๊ทธ๋ฆฌ๊ณ T๋ฅผ push ํ๋ค. T์๋์ชฝ์ s0๊ฐ ์์ผ๋ฏ๋ก s0์์ T๋ฅผ ๋ฐ๋ผ๊ฐ s6๋ push ํด์ค๋ค.
reduction ๊ณผ์ ์ ์งํํ๋ค.E -> Tโข์ด๋ค. ํ์ดํ ์ค๋ฅธ์ชฝ์ ๋ฌธ์ ๊ฐ์ 2๋ฐฐ๋ฅผ pop ํด์ค๋ค. ๊ทธ๋ฆฌ๊ณ E๋ฅผ push ํ๋ค. T์๋์ชฝ์ s0๊ฐ ์์ผ๋ฏ๋ก s0์์ E๋ฅผ ๋ฐ๋ผ๊ฐ s1๋ push ํด์ค๋ค.
Input: x + ( y + z ) ์ค์ x ๋ค์์ธ +๋ฅผ push ํด์ฃผ๊ณ s1์์ +๋ฅผ ๋ฐ๋ผ s3์ผ๋ก๊ฐ๋ค(push).
Input: x + ( y + z ) ์ค์ x ๋ค์์ธ (๋ฅผ push ํด์ฃผ๊ณ s1์์ (๋ฅผ ๋ฐ๋ผ s7์ผ๋ก๊ฐ๋ค(push).
... ์ด ๊ณผ์ ์ ๋ฐ๋ณตํ๋ค.
