Nullable nonterminals:

  (b)


The starters of non-terminals:

a ->
  (B1 | B2 | C)
b ->
  (B1 | B2)
c ->
  (C)


The followers of nullable non-terminals:

b ->
  (C)


*** Annotated grammar ***

a
: (B1 | B2 | C)
     #b c D 
;

#b
: (C)
     /* empty */
| (B1)
     B1 
| (B2)
     B2 
;

c
: (C)
     C 
;