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).... ์ด ๊ณผ์ ์ ๋ฐ๋ณตํ๋ค.