3) Removing Empty Strings Since stmtSeq is nullable, the rule blockStmt ::= { stmtSeq } gives blockStmt ::= { stmtSeq } | { } Since stmtSeq and stmt are nullable, the rule stmtSeq ::= stmt | stmt ; stmtSeq gives stmtSeq ::= stmt | stmt ; stmtSeq | ; stmtSeq | stmt ; | ;
{}