blogs

1. Perhatikan CFG berikut

S ->S+A | S – A | A+S | A-S | B*A

B -> aB | B(a+B) | B*a | a(a+B)|b

A-> a

Tentukan first , follow & table dari produksi di atas

Jawab:

S -> A+SS’ | A – SS’ | B * AS’

S’ -> +AS’ | -AS’ | ε

S = >  AF | B * AS’

F -> +SS’ | -SS’

S’ -> +AS’ | -AS’ | ε

B -> aBB’ | a(a+B)B’ | bB’

B’-> (a+B)B’ | *aB’

B -> aG | bB’

G -> BB’ | (a+B)B’

B’ -> (a+B)B’ | *aB’

A -> a

First S -> {a,b}

First F -> {+,-}

First S’ -> {+,-, ε}

First B -> {a,b}

First G -> {a,b,(}

First B’ -> {(,*}

Follow S -> {$,+,-}

Follow S’ -> {$}

Follow B -> {$,a,b,)}

Follow B’ -> {$}

Follow F -> {$,+,-}

Follow G -> {$,a,b,)}

2. S -> if E then S | if E then S else S | V:= E

S’->ε | else S

E-> TE’

E’-> TE’ | -TE’ | ε

T->FT’

T’-> FT’|/FT’|ε

F-> V|(E)|const

V-> id V’

V’-> ε|[E]

Tentukan first , follow & table dari produksi di atas

first(S) = {if, id}

first(S’) = {ε, else}

first(E) = { id, ( , const}

first(E’) = {+, -, ε}

first(T) = {id,(, const}

first(T’) = {*, /,ε }

first(F) = {id,(, const}

first(V) = {id}

first(V’) = {a b c}

follow(S) = {$}

follow(S’) = {$}

follow(E) = { then, $,),]}

follow(E’) = { then, $,),]}

follow(T) = {+, -}

follow(T’) = {+, -}

follow(F) = {*,/ }

follow(V) = {:}

follow(V’) = {:}

3. Dari CFG berikut

S -> a=A

A ->a A’ | bA’

A’ -> +AA’ | ε

Tentukan first, follow & table dari produksi di atas

First (S) = {a}                                                                                                  Follow (S) = {$}

First (A)={a,b}                                                                                                Follow(A)={$,+}

First(A’)={+,ε }                                                                                              Follow(A’)={$,+}

4.  Diketahui Grammar:

be-> bt be’

be’ -> or bt be’

be’ -> e

bt-> bf bt’

bt’ -> and bf bt’

bt’-> ε

bf -> not bf

bf ->( be)

bf-> true

bf-> false

Perikas input sbb not(true or false) and true and false not(false) true

Jawab:

first (be) = not, (, true, false

first (be’) = or, ε

first (bt) = not, (, true, false

first (bt’) =  and, ε

first (bf) = not, (, true, false

follow (be) = { $, )}

follow (be’) = { $, )}

follow (bt) = { or, $, )}

follow (bt’) = {or,  $, )}

follow (bf) = {or, $, ), and}

www.binus.ac.id