Введение в теорию конечных автоматов

Описание

В данном учебном пособии излагаются современные методы логического проектирования цифровых устройств. На основе теории функций алгебры логики предлагаются практические способы решения задач проектирования подобных устройств. Основное внимание уделено абстрактному анализу, структурному анализу и синтезу автоматов, а также их надежному функционированию. Отдельно рассмотрены автоматные языки, автоматные грамматики и автоматы-распознаватели. Учебное пособие предназначено для подготовки бакалавров, обучающихся по направлению «Информатика и вычислительная техника».