Соединение с обратной связью

- автомат без памяти – функциональный преобразователь, реализующий отображение .

Здесь хотя бы один из автоматов должен быть типа Мура.

Пусть - автомат модели Мура. Тогда результирующий автомат , у которого:

1) , или

2)

3)

4) , определяемая следующим образом:

или

5) , определяемая следующим образом:

или

Пример:

;