Mili Atoll
к функции выхода formula_11 и автоматы Мили — выходной сигнал зависит как от внутреннего состояния, так и от состояния входа.