Conceitos básicos de linguagens operativas: variáveis e suas propriedades; atribuições: variáveis e posições de memória (referências; valor esquerdo e valor direito duma variável; comandos: condicionais e de ciclo. Blocos e Subprogramas. Declaração de variáveis e sub-programas.

Extensão da Linguagem While com blocos e declarações de variáveis.

Semântica natural para uma linguagem com blocos e declaração de variáveis.