A primeira propriedade que pretendemos que a nossa linguagem tenha, é que descreva uma ordem pela qual os passos do algoritmo são executados. Para tal existe o operador de sequênciação: ``;''.
A seguinte frase:
; p2significa que é executado o passo p1 e, de seguida, o passo p2.
Para indicar o fim de um algoritmo usamos: ``.''. O algoritmo para executar os passos genéricos p1 e p2 é então:
;
p2.