A->aABC
A->
B->b
B->
C->BcCA
C->

Er det korrekt, at FIRST(A), FIRST(B) og FIRST(C) bliver hhv. {a}, {b} og {b}?

Mine udregninger er som følger (FIRST er forkortet til F):

F(A)=F(aABC)   U F()
F(B)=F(b)      U F()
F(C)=F(BcCA)   U F()

Det bliver så:
F(aABC) = F(a) = a
F() = Ø
F(b) = b
F(BcCA) = F(B) = F(b) = b

Er det korrekt?