Методы синтеза конечных автоматов

Рассмотрены методы синтеза конечных автоматов, в том числе абстрактного и структурного синтеза. Описана методология проектирования конечных автоматов и её основные этапы. Изложены методика формализации и способы формализованного описания конечных автоматов, алгоритмы минимизации памяти абстрактных автоматов; канонический метод структурного синтеза автоматов, требования к структурно полной системе элементарных автоматов, обеспечивающей решение задачи синтеза, основные алгоритмы, позволяющие реализовать его. Приведены методология и способы структурного проектирования последовательностных устройств контроля и преобразования информации, способы их синтеза, оценки быстродействия и сложности. Включены конкретные примеры проектирования конечных автоматов. Для студентов, изучающих курсы 'Проектирование цифровых устройств' и 'Импульсные и цифровые устройства'. Может быть использовано при курсовом проектировании цифровых устройств. О. Н. Музыченко; БГТУ 'ВОЕНМЕХ' ISBN 978-5-85546-675-1

Читать далее и скачать