S -> A S -> B S -> C S -> D C -> variable = expresión A -> if ( condicion ) S A -> if ( condicion) S else S B -> while ( condición ) S D -> D E D -> E -> S E -> S E BNF <S> ::= <A> | <B> | <C> | <D> <C> ::= variable = expresión <A> ::= if ( condicion ) <S> | if ( condicion) <S> else <S> <B> ::= while ( condición ) <S> <D> ::= {<E>} <E> ::= <S> | <S> <E> DIAGRAMA DE CONWAY • TERMINALES
• NO TERMINALES
• ENLACES DE ORDEN Generadores de analizadores PROCESO ANALIZADOR SINTACTICO