Спасибо коллега!

Вполне рабочее определение. С ним можно работать,
составлять алгоритмы, программы и проводить
анализ их правильности.

ВАК, проф,док.наук