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

Nullable:
Initialization: Alle sættes til False.
1. iteration: Alle højresider med epsilon sættes til True. Da der er en epsilon-højreside på hver nonterminal, sættes alle nonterminalerne A, B og C til True.

Er det ok at stoppe nu?