Gramática de do_while aproximada del lenguaje C
<do> -> do {bloque}
<while> -> while (<condición>)
<condición> -> <variable> <op_rel> <numero>
<variable> -> <carácter> <caracteres>
<carácter> ->a|b|c ...|z|A|B|C...|Z
<caracteres> -> <carácter> <caracteres> | ε
<op_rel> -> <= | < | > | >=
<numero> -> <digito> <digitos>
<digito> -> 0 | 1 | 2...| 9
<digitos> -> <digito> <digitos> | ε
<bloque> -> <sentencias>
<sentencias> -> <sentencia> <sentencias> | ε
<sentencia> -> <asig> | <for> | <while> | <do_while> | <if>