Построение функции обратной связи при композиции автоматов

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