Схемы автоматов и реализуемые ими отображения

Рассматриваются преобразования детерминированных словарных отображений (ДСО), которые можно задать схемой с обратными связями. Каждая схема описывается автоматом специального вида, так называемым схемным автоматом. Схемные автоматы называются схемно-эквивалентными, если они задают одно и то же преобразование ДСО. Выясняется, какие именно преобразования ДСО можно задать схемными автоматами. Даются алгоритм проверки схемной эквивалентности автоматов и алгоритм минимизации числа обратных связей в схеме, задающей данное преобразование ДСО.