next up previous contents
Siguiente: Semántica de los programas-while Un nivel arriba: Macros Anterior: Pruebas compuestas

Macros de programación

Proposición 4.2   Las proposiciones (if - then ), (if - then - else ), (repeat -until ) son macros en los programas-while .

Demostración: Como un mero ejemplo, tenemos que al esquema [if PC then Prog] se le puede expresar como sigue
\fbox{\begin{minipage}[t]{15em} \begin{tabbing}123\=456\=789\=012\=345\=678\=901... ...{ $\mbox{\it Prog}$\space ; $v++$\space \} \\ \} \end{tabbing} \end{minipage}}

Proposición 4.3   La proposición (for $\bigl\langle \mbox{\it Ctr}\bigr\rangle=c_{\mbox{\scriptsize\it inicial}}$ to $c_{\mbox{\scriptsize\it final}}$ do ) es un macro en los programas-while .

Demostración: De manera más bien tosca, tenemos que el esquema [for $w=c_{\mbox{\scriptsize\it inicial}}$ to $c_{\mbox{\scriptsize\it final}}$ do Prog(w)] es equivalente al siguiente
\fbox{\begin{minipage}[t]{15em} \begin{tabbing}123\=456\=789\=012\=345\=678\=901... ...}(w)$\space ; $w++$\space ; $v--$\space \} \\ \} \end{tabbing} \end{minipage}}

Guillermo Morales-Luna
2000-07-10