S -> if( C )then{sentencias | S | sentencias S | sentencias S sentencias} | if( C )then{sentencias | S | sentencias S | sentencias S sentencias} E
E -> else{sentencias | S | sentencias S | sentencias S sentencias} | else S
C -> ( C ) | CR OL C | CR
CR -> id OR id | id OR num | num OR id
OL -> && | ||
OR -> < | > | <= | >= | == | !=
Gramática de IF:
S -> if( C )then{sentencias | S | sentencias S | sentencias S sentencias} | if( C )then{sentencias | S | sentencias S | sentencias S sentencias} E E -> else{sentencias | S | sentencias S | sentencias S sentencias} | else S C -> ( C ) | CR OL C | CR CR -> id OR id | id OR num | num OR id OL -> && | || OR -> < | > | <= | >= | == | !=