Todo programa é construído a partir de declarações, que representam instruções, definições ou comandos que o interpretador deve executar.
A estrutura geral define que um programa pode conter zero ou mais declarações, finalizando com o EOF (fim do arquivo).

​
Definição formal

Programa: declaracao* EOF