Перестраиваемые автоматы на подстановках

Предлагается структура перестраиваемого автомата, поведение которого определяется набором базовых подстановок. Настройка автомата заключается в «сборке» функции переходов и функции выходов из базовых подстановок. Вариант «сборки» фиксируется заданием трёх изменяемых подстановок: для входного алфавита, для функции выходов, для функции переходов. Показано, что любая настройка перестраиваемого автомата соответствует приведённому сильносвязному обратимому автомату, а следовательно, предлагаемый перестраиваемый автомат может быть использован при реализации автоматных шифров, в частности шифра Закревского.