Система правил, строго определяющая смысл и способ употребления конструкций алгоритмического языка:
семантика
синтаксис
блок-схема
граф