Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше
Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике
7.8.2. Секвенциальные автоматы.
В [3] приводится следующее определение секвенциального автомата. Секвенциальным автоматом называется совокупность секвенций следующего вида:
Здесь — слова из входного алфавита, — слова из выходного алфавита, — кодовые слова для кодирования внутренних состояний автомата. Запись где есть функции алгебры логики, называется секвенцией и обладает следующим смыслом: если на некотором наборе аргументов обращается в единицу, то на этом наборе также обращается в единицу. Секвенциальный автомат реализуется с помощью специальной секвенциальной структуры. Для примера на рис. 7.5 показана подобная реализация для секвенциального автомата, заданного следующим секвенциальным описанием (у реализуемого автомата функция выхода совпадает с функцией перехода)