7.8.2. Секвенциальные автоматы.

 В [3] приводится следующее определение секвенциального автомата. Секвенциальным автоматом называется совокупность секвенций следующего вида:

Здесь й = 1, 2, ..., ге; d=l, 2, ..., т\ —слова из входного алфавита, Yi — слова из выходного алфавита, S^, — кодовые слова для кодирования внутренних состояний автомата. Запись Ф [— 'ф, где ф и ip есть функции алгебры логики, называется секвенцией и обладает следующим смыслом: если на некотором наборе аргументов ф обращается в единицу, то на этом наборе также обращается в единицу. Секвенциальный автомат реализуется с помощью специальной секвенциальной структуры. Для примера на рис. 7.5 показана подобная реализация для секвенциального автомата, заданного следующим секвенциальным описанием (у реализуемого автомата функция выхода совпадает с функцией перехода) :