З метою запису у пам’ять комп’ютера графічно-текстових формул алгоритмів, які утворені фукційними унітермами з впорядкованими змінними і параметрами, створено розширену xml-подібну нотацію опису формул алгоритмів. Модель розширеної нотації описана засобами алгебри алгоритмів з використанням операції секвентування. Наведено приклад використання розширеної нотації для опису формули алгоритму Евкліда.

модель, нотація, синтаксис, семантика, унітерм, секвенція, елімінування, паралелення