Siguiente: Codificación de símbolos Un nivel arriba: Codificación de programas-while Anterior: Codificación de programas-while

Escritura de variables

Fijemos primero un acuerdo para utilizar variables en los programas-while . Supondremos a las variables formadas por el prefijo X y una cadena en $\{0,1\}$. Así pues, las variables son las cadenas formadas de acuerdo con las siguientes reglas gramaticales:

$$\begin{eqnarray*}\bigl\langle \mbox{\it D\'\i gito}\bigr\rangle &::=& 0\vert 1 \... ...le &::=& X\bigl\langle \mbox{\it ListaD\'\i gitos}\bigr\rangle \end{eqnarray*}$$