s tt s - - PowerPoint PPT Presentation

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs

▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

▲ás③❧ó ❑❛❜ó❞✐

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❈❤♦♠s❦② ❤✐❡r❛r❝❤②

❈❤♦♠s❦② ❤✐❡r❛r❝❤② ✲ ❚②♣❡✲✸

◮ ❛❧s♦ ❝❛❧❧❡❞ ❘❡❣✉❧❛r ❣r❛♠♠❛rs ◮ ❈❛♥ ❤❛✈❡ ♦♥❧② t✇♦ t②♣❡s ♦❢ r✉❧❡s ✭A ❛♥❞ B ❛r❡ ♥♦♥✲t❡r♠✐♥❛❧s✱ a ✐s ❛ t❡r♠✐♥❛❧✮✿

◮ A → aB ◮ A → a

◮ ■s t❤❡ st❛rt✐♥❣ s②♠❜♦❧ S ✐s ♥♦t ♦♥ t❤❡ r✐❣❤t ❤❛♥❞ s✐❞❡ ♦❢ ❛♥② r✉❧❡✱ t❤❡r❡ ❝❛♥ ❜❡ S → ε

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❈❤♦♠s❦② ❤✐❡r❛r❝❤②

❈❤♦♠s❦② ❤✐❡r❛r❝❤② ✲ ❚②♣❡✲✷

◮ ❛❧s♦ ❝❛❧❧❡❞ ❈♦♥t❡①t✲❢r❡❡ ❣r❛♠♠❛rs ◮ ❈❛♥ ❤❛✈❡ ♦♥❧② ♦♥❡ t②♣❡ ♦❢ r✉❧❡ ✭A ✐s ❛ ♥♦♥✲t❡r♠✐♥❛❧✱ α ∈ (V ∪ Σ)+ ✐s ❛ str✐♥❣ ♦❢ t❡r♠✐♥❛❧s ❛♥❞✴♦r ♥♦♥✲t❡r♠✐♥❛❧s✮✿

◮ A → α

◮ ■❢ t❤❡ st❛rt✐♥❣ s②♠❜♦❧ S ✐s ♥♦t ♦♥ t❤❡ r✐❣❤t ❤❛♥❞ s✐❞❡ ♦❢ ❛♥② r✉❧❡✱ t❤❡r❡ ❝❛♥ ❜❡ S → ε ◮ ■t ✐s ❝❛❧❧❡❞ ❝♦♥t❡①t✲❢r❡❡✱ ❜❡❝❛✉s❡ ②♦✉ ❝❛♥ ✉s❡ ❛ r✉❧❡ t♦ ❝❤❛♥❣❡ ❛ ♥♦♥✲t❡r♠✐♥❛❧ A r❡❣❛r❞❧❡ss ♦❢ t❤❡ ❝♦♥t❡①t✱ t❤❡ t❡r♠✐♥❛❧s ❛♥❞ ♥♦♥✲t❡r♠✐♥❛❧s ♥❡①t t♦ A

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❈❤♦♠s❦② ❤✐❡r❛r❝❤②

❈❤♦♠s❦② ❤✐❡r❛r❝❤② ✲ ❚②♣❡✲✶

◮ ❛❧s♦ ❝❛❧❧❡❞ ❈♦♥t❡①t s❡♥s✐t✐✈❡ ❣r❛♠♠❛rs ◮ ❈❛♥ ❤❛✈❡ ♦♥❧② ♦♥❡ t②♣❡ ♦❢ r✉❧❡ ✭A ✐s ❛ ♥♦♥✲t❡r♠✐♥❛❧✱ α ∈ (V ∪ Σ)+, β, γ ∈ (V ∪ Σ)∗ ❛r❡ str✐♥❣s ♦❢ t❡r♠✐♥❛❧s ❛♥❞✴♦r ♥♦♥✲t❡r♠✐♥❛❧s✮✿

◮ βAγ → βαγ

◮ ■t ✐s ❝❛❧❧❡❞ ❝♦♥t❡①t s❡♥s✐t✐✈❡✱ ❜❡❝❛✉s❡ ②♦✉ ❝❛♥ ♦♥❧② ❝❤❛♥❣❡ ❛ ♥♦♥✲t❡r♠✐♥❛❧ A t♦ α ✐♥ t❤❡ r✐❣❤t ❝♦♥t❡①t✱ ✐❢ t❤❡r❡ ✐s β ❜❡❢♦r❡ ❛♥❞ γ ❛❢t❡r A✳

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❈❤♦♠s❦② ❤✐❡r❛r❝❤②

❈❤♦♠s❦② ❤✐❡r❛r❝❤② ✲ ❚②♣❡✲✵

◮ ❊✈❡r② ♦t❤❡r ❣r❛♠♠❛r ◮ ❛ ❧❛♥❣✉❛❣❡ L ✐s ❛ ❚②♣❡✲i ❧❛♥❣✉❛❣❡ ✐❢ t❤❡r❡ ✐s ❛ ❣r❛♠♠❛r t❤❛t ✐s ❚②♣❡✲i✱ ❜✉t t❤❡r❡ ✐s ♥♦ ❚②♣❡✲i + ✶ ❣r❛♠♠❛r

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❊①❛♠♣❧❡s ❢♦r r❡❣✉❧❛r ❣r❛♠♠❛rs

✶✳ ❈r❡❛t❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢♦r L = { ❛, ❜ }∗✦ ✷✳ ■s t❤❡r❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢♦r ❛❧❧ ❧❛♥❣✉❛❣❡s t❤❛t ❝♦♥t❛✐♥ ✜♥✐t❡ ♥✉♠❜❡r ♦❢ ✇♦r❞s❄ ✸✳ ❈r❡❛t❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢♦r t❤❡ ❧❛♥❣✉❛❣❡ t❤❛t ❝♦♥t❛✐♥ t❤❡ ❡✈❡♥ ❧❡♥❣t❤ ✇♦r❞s✦

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❙♦❧✉t✐♦♥s

✶✳ ❈r❡❛t❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢♦r L = { ❛, ❜ }∗✦ S → ε|❛A|❜A|❛|❜ A → ❛A|❜A|❛|❜ ✷✳ ■s t❤❡r❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢♦r ❛❧❧ ❧❛♥❣✉❛❣❡s t❤❛t ❝♦♥t❛✐♥ ✜♥✐t❡ ♥✉♠❜❡r ♦❢ ✇♦r❞s❄ ❨❡s✱ t❤❡r❡ ✐s✳ ❨♦✉ ❝❛♥ ✒❜r❡❛❦ ✉♣✑ t❤❡ r✉❧❡s ✐♥ t❤❡ ♥♦♥✲r❡❣✉❧❛r ❣r❛♠♠❛r ❢♦r t❤❡ s❛♠❡ ❧❛♥❣✉❛❣❡✳ ✸✳ ❈r❡❛t❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢♦r t❤❡ ❧❛♥❣✉❛❣❡ t❤❛t ❝♦♥t❛✐♥ t❤❡ ❡✈❡♥ ❧❡♥❣t❤ ✇♦r❞s✦ S → ❛A|❜A A → ❛S|❜S|❛|❜

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❘❡❣✉❧❛r ❣r❛♠♠❛rs ❛♥❞ r❡❣✉❧❛r ❧❛♥❣✉❛❣❡s

◮ ❚❤❡♦r❡♠✿ ❋♦r ❡✈❡r② ✜♥✐t❡ ❛✉t♦♠❛t♦♥ M t❤❡r❡ ✐s ❛♥ M′ ✜♥✐t❡ ❛✉t♦♠❛t♦♥ ✇❤❡r❡ t❤❡ ✐♥✐t✐❛❧ st❛t❡ ❞♦❡s ♥♦t ❛♣♣❡❛r ❧❛t❡r✳ ◮ Pr♦♦❢✿ ❈r❡❛t❡ ❛ ♥❡✇ st❛t❡ S′✱ r❡❞✐r❡❝t ❛❧❧ tr❛♥s✐t✐♦♥s t❤❛t ✇♦✉❧❞ ❣♦ t♦ t❤❡ ✐♥✐t✐❛❧ st❛t❡ S t♦ ❣♦ t♦ S′✳ ❚❤❡ tr❛♥s✐t✐♦♥s ❢r♦♠ S′ ❛r❡ t❤❡ s❛♠❡ ❛s ❢r♦♠ S✳ ■❢ S ✐s ❛❧s♦ ❛♥ ❛❝❝❡♣t✐♥❣ st❛t❡✱ ♠❛❦❡ S′ ❛♥ ❛❝❝❡♣t✐♥❣ st❛t❡✳

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❘❡❣✉❧❛r ❣r❛♠♠❛rs ❛♥❞ r❡❣✉❧❛r ❧❛♥❣✉❛❣❡s

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❛♥❞ r❡❣✉❧❛r ❧❛♥❣✉❛❣❡s

◮ ❚❤❡♦r❡♠✿ ❚❤❡ ❧❛♥❣✉❛❣❡ L ✐s r❡❣✉❧❛r ✐❢ ❛♥❞ ♦♥❧② ✐❢ t❤❡r❡ ✐s ❛ r❡❣✉❧❛r ❣r❛♠♠❛r G ❢♦r ✐t ✭L(G) = L✮✳ ◮ ❚❤❡ ♣r♦♦❢ ❤❛s t✇♦ ♣❛rts✿

◮ ■❢ ❛ ❧❛♥❣✉❛❣❡ L ✐s r❡❣✉❧❛r✱ t❤❡♥ t❤❡r❡ ✐s ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢♦r ✐t✳ ◮ ❋♦r ❛ r❡❣✉❧❛r ❣r❛♠♠❛r✱ t❤❡r❡ ✐s ❛ ✜♥✐t❡ ❛✉t♦♠❛t♦♥ t❤❛t ❛❝❝❡♣ts t❤❡ s❛♠❡ ❧❛♥❣✉❛❣❡✳

◮ ■❢ ✇❡ ♣r♦✈❡ ❜♦t❤ ♦❢ t❤❡s❡✱ t❤❛t ♠❡❛♥s✱ t❤❛t r❡❣✉❧❛r ❣r❛♠♠❛rs ❛♥❞ r❡❣✉❧❛r ❧❛♥❣✉❛❣❡s ❛r❡ t❤❡ s❛♠❡ s❡t ♦❢ ❧❛♥❣✉❛❣❡s✳

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❘❡❣✉❧❛r ❣r❛♠♠❛rs ❛♥❞ r❡❣✉❧❛r ❧❛♥❣✉❛❣❡s

▲❛♥❣✉❛❣❡ L ✐s r❡❣✉❧❛r ⇒ t❤❡r❡ ✐s ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢♦r L

◮ ■❢ L ✐s r❡❣✉❧❛r✱ t❤❡♥ t❤❡r❡ ✐s ❛ ✜♥✐t❡ ❛✉t♦♠❛t♦♥ M ❢♦r ✐t✱ ✇❤❡r❡ L(M) = L✳ ✭❲✐t❤♦✉t ε tr❛♥s✐t✐♦♥s✳✮ ◮ ▲❡t t❤✐s M ❜❡ ♦♥❡✱ ✇❤❡r❡ t❤❡ ✐♥✐t✐❛❧ st❛t❡ ❞♦❡s ♥♦t ❛♣♣❡❛r ❧❛t❡r✳ ◮ ❲❡ ❝❛♥ ❝r❡❛t❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢r♦♠ t❤✐s ❛✉t♦♠❛t♦♥✿

◮ ❲❡ ❝r❡❛t❡ ❛ ♥♦♥✲t❡r♠✐♥❛❧ ❢r♦♠ ❡❛❝❤ st❛t❡ ♦t M✳ ❚❤❡ st❛rt✐♥❣ ♥♦♥✲t❡r♠✐♥❛❧ ✐s ❢r♦♠ t❤❡ ✐♥✐t✐❛❧ st❛t❡✳ ◮ ❋r♦♠ ❡✈❡r② tr❛♥s✐t✐♦♥ ✇❡ ❝r❡❛t❡ ♦♥❡ ♦r t✇♦ ❞❡❞✉❝t✐♦♥ r✉❧❡s✳

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❘❡❣✉❧❛r ❣r❛♠♠❛rs ❛♥❞ r❡❣✉❧❛r ❧❛♥❣✉❛❣❡s

❉❡❞✉❝t✐♦♥ r✉❧❡s ❢r♦♠ tr❛♥s✐t✐♦♥s

◮ ❆ ❇ ❛ ✿ AA → aAB ◮ ❆ ❇ ❛ ✿ AA → aAB|a ◮ ■❢ t❤❡ ✐♥✐t✐❛❧ st❛t❡ ✐s ❛♥ ❛❝❝❡♣t✐♥❣ st❛t❡✿ S → ε ◮ ❚❤❡ ❣r❛♠♠❛r ✇✐❧❧ ❜❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r✱ ❜❡❝❛✉s❡ ❛❧❧ t❤❡ r✉❧❡s ❛r❡ ✐♥ A → aB ♦r A → a ❢♦r♠✳ ◮ ❚❤❡ ❛❝❝❡♣t❡❞ ❧❛♥❣✉❛❣❡ ✇✐❧❧ ❜❡ t❤❡ s❛♠❡✱ ❜❡❝❛✉s❡ t❤❡ r✉❧❡s ❢♦❧❧♦✇ t❤❡ tr❛♥s✐t✐♦♥s✳ ❲❡ ♦♥❧② ✜♥✐s❤ ❛ ❞❡r✐✈❛t✐♦♥ ✇✐t❤ ❛ ❞❡❞✉❝t✐♦♥ r✉❧❡ ❝r❡❛t❡❞ ❢♦r♠ ❛♥ ❛❝❝❡♣t✐♥❣ st❛t❡✳

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❘❡❣✉❧❛r ❣r❛♠♠❛rs ❛♥❞ r❡❣✉❧❛r ❧❛♥❣✉❛❣❡s

❚❤❡r❡ ✐s ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢♦r L ⇒ L ✐s ❛ r❡❣✉❧❛r ❧❛♥❣✉❛❣❡

◮ ❲❡ ❞♦ t❤❡ ✐♥✈❡rs❡ ♦❢ t❤❡ ♣r❡✈✐♦✉s ❛❧❣♦r✐t❤♠✳ ◮ ❈r❡❛t❡ ❛ st❛t❡ ❢♦r ❡✈❡r② ♥♦♥✲t❡r♠✐♥❛❧✱ ❛♥❞ ❛ ♣❧✉s st❛t❡ F✱ t❤❛t ✇✐❧❧ ❜❡ t❤❡ ♦♥❧② ❛❝❝❡♣t✐♥❣ st❛t❡✳ ◮ ❋♦r ❡✈❡r② r✉❧❡ A → aB ❝r❡❛t❡ ❛ tr❛♥s✐t✐♦♥ ❆ ❇ ❛ ◮ ❋♦r ❡✈❡r② r✉❧❡ A → a ❝r❡❛t❡ ❛ tr❛♥s✐t✐♦♥ ❆ ❋ ❛ ◮ ■❢ t❤❡r❡ ✐s S → ε✱ st❛t❡ S ✇✐❧❧ ❜❡ ❛♥ ❛❝❝❡♣t✐♥❣ st❛t❡✳ ✭❇❡❝❛✉s❡ t❤✐s r✉❧❡ ♦♥❧② ❛❧❧♦✇❡❞ ✐❢ S ✐s ♥♦t ♦♥ t❤❡ r✐❣❤t ❤❛♥❞ s✐❞❡ ♦❢ ❛♥② ♦t❤❡r r✉❧❡✱ t❤✐s ✇♦♥✬t ❛❝❝❡♣t ✉♥✇❛♥t❡❞ ✇♦r❞s✳✮

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❊①❛♠♣❧❡ ■

❈r❡❛t❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢r♦♠ t❤❡ ❢♦❧❧♦✇✐♥❣ ✜♥✐t❡ ❛✉t♦♠❛t♦♥✿

S A B C D ❛ ❜ ❛ ❛ ❛ ❜ ❛ ❜

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❙♦❧✉t✐♦♥ ■

S A B C D ❛ ❜ ❛ ❛ ❛ ❜ ❛ ❜

S → aA|bB A → aC|a B → aA|aC|bD|a|b C → aD|a D → bC|b

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❊①❛♠♣❧❡ ■■

❈r❡❛t❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢r♦♠ t❤❡ ❢♦❧❧♦✇✐♥❣ ✜♥✐t❡ ❛✉t♦♠❛t♦♥✿

S A B C D E ❛ ❜ ❛ ❛ ❜ ❜ ❜ ❛ ❜

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❙♦❧✉t✐♦♥ ■■

❋✐rst✱ ❝❤❛♥❣❡ t❤❡ ❛✉t♦♠❛t♦♥✱ ❜❡❝❛✉s❡ S ❤❛s ✐♥❝♦♠✐♥❣ tr❛♥s✐t✐♦♥s✿

S S′ A B C D E ❛ ❜ ❛ ❜ ❛ ❛ ❜ ❜ ❜ ❛ ❜

S → ε|aA|a|bE|b A → aC|a|aS′|bB B → bS′|bD|b C → aC|a D → bD|b

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❊①❛♠♣❧❡ ■■■

❈r❡❛t❡ ❛ r❡❣✉❧❛r ❣r❛♠♠❛r ❢r♦♠ t❤❡ ❢♦❧❧♦✇✐♥❣ ✜♥✐t❡ ❛✉t♦♠❛t♦♥✿

A B C D ✵ ✶ ✵ ✶ ✵ ✶ ✵✱ ✶

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❙♦❧✉t✐♦♥ ■■■

A B C D ✵ ✶ ✵ ✶ ✵ ✶ ✵✱ ✶

A → ✵B|✶D|✵ B → ✵D|✶C C → ✵B|✶D|✵ D → ✵D|✶D

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❊①❛♠♣❧❡ ■❱

❈r❡❛t❡ ❛ ✜♥✐t❡ ❛✉t♦♠❛t♦♥ ❢r♦♠ t❤❡ ❢♦❧❧♦✇✐♥❣ r❡❣✉❧❛r ❣r❛♠♠❛r✿ S → ε|aB|bC A → aB|a B → bA|b C → bB|aA

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❙♦❧✉t✐♦♥ ■❱

S → ε|aB|bC A → aB|a B → bA|b C → bB|aA

S B C A F ❛ ❜ ❜ ❜ ❛ ❛ ❛ ❜

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❊①❛♠♣❧❡ ❱

❈r❡❛t❡ ❛ ✜♥✐t❡ ❛✉t♦♠❛t♦♥ ❢r♦♠ t❤❡ ❢♦❧❧♦✇✐♥❣ r❡❣✉❧❛r ❣r❛♠♠❛r✿ S → aA|bB|b A → aS|bC B → aC|bS C → aB|bA|a

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛

• r❛♠♠❛r

❘❡❣✉❧❛r ❣r❛♠♠❛rs ❊①❛♠♣❧❡s

❙♦❧✉t✐♦♥ ❱

S → aA|bB|b A → aS|bC B → aC|bS C → aB|bA|a

S F A B C ❛ ❜ ❜ ❛ ❜ ❛ ❜ ❛ ❜ ❛

▲ás③❧ó ❑❛❜ó❞✐ ▲❛♥❣✉❛❣❡s ❛♥❞ ❛✉t♦♠❛t❛