Абстрактные алгоритмические модели, как уже неоднократно отмечалось, используются лишь при построении теории и доказательстве общих свойств алгоритмов. Для практических целей такое представление алгоритмов чаще всего неудобно, поскольку, во-первых, не всегда практически реализуема форма представления (например, машина Тьюринга или Поста); во-вторых, элементарные шаги, выделяемые в моделях, оказываются слишком «мелкими» для современных технических устройств, которые выступают в качестве исполнителей алгоритмов. В связи с этим встает вопрос о том, как может быть описан алгоритм, предназначенный для решения практической задачи с помощью реального технического устройства? Обсуждению вариантов ответа на него и посвящена данная глава.