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

Последовательностный автомат имеет определённое количество входных сигналов (a1, a2, …) и выходных сигналов (x1, x2, …). Работа автомата описана циклограммой. Требуется получить алгоритм автомата в виде выражений для выходных сигналов. В этих выражениях кроме логических операций допускается использовать функции триггеров. Допускается вводить дополнительные сигналы. По полученным выражениям составить блок-схему программы контроллера LOGO в среде Logo Soft Comfort. Не разрешается использовать блоки специальных функций, кроме триггера (реле с блокировкой). Также не разрешается использовать логические блоки "И по фронту", "НЕ-И по фронту"

Выполнить эмуляцию работы контроллера и убедиться, что при заданной последовательности изменения входных сигналов получается правильная последовательность изменения выходных сигналов (соответствующая циклограмме). Эмуляцию начать с такта, обозначенного красным цветом, и пройти полный цикл.