Схемами рекурсивных программ моделируются программы с процедурами, вообще говоря, рекурсивными. Специальная автоматная модель - это случай, когда множество выполнений схемы определяется с помощью конечного автомата, а результатом отдельного выполнения схемы является цепочка исполненных операторов. Доказывается, что в такой модели каждая схема имеет единственное представление в своем классе эквивалентности, т.е. каноническую форму. Предлагается беспереборный алгоритм построения по схеме ее канонической формы.