UNITY Program Structure
Program program_name
declare declare_section
always always_section
initially initially_section
assign assign_section
program_name: string of text
ak je telo sekcie prázdne, môzeme zodpovedajúce klúcové slovo vynechat
declate_section: PASCAL like (int, boolean, array, set…)
always_section: definuje niektoré premenné ako funkcie iných; podmienky, ktoré vzdy platia (invarianty)
initially_section: definujú pociatocné hodnoty premenných; neinicializované majú lubovolnú hodnotu
assign_section: obsahuje mnozinu priradovacích príkazov