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

• семантика
• синтаксис
• блок-схема
• граф