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