Programa Ejemplo:
(1, 2, X2:=X1;While X2¹0 do X1:=X1+1; X2:=X2-1; od)
El programa consta de una variable de entrada , X1, usa dos variables ,X1 y X2, y el código
es el expresado en el tercer término de la terna.
×Para facilitar el correcto entendimiento del programa se utiliza la siguiente representación:
(1, 2, código)
código: X2:=X1;
While X2¹0 do
X1:=X1+1;
X2:=X2-1;
od
×Para entender el cálculo que realiza el programa se necesita tener en cuenta ciertos conceptos relacionados con la semántica,por lo que el estudio y posterior entendimiento de dicho progama se realizará dentro de la semántica informal.Semántica Informal.