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

Скачать в pdf «Методы синтеза конечных автоматов»




О.Н. МУЗЫЧЕНКО


МЕТОДЫ СИНТЕЗА КОНЕЧНЫХ АВТОМАТОВ


Министерство образования и науки Российской Федерации Балтийский государственный технический университет “Военмех’


О.Н. МУЗЫЧЕНКО


МЕТОДЫ СИНТЕЗА КОНЕЧНЫХ АВТОМАТОВ


Учебное пособие


Санкт-Петербург


2012


УДК 681.513.6.013(075.8)


M 89


Музыченко, О.Н.


М89    Методы синтеза конечных автоматов: учебное пособие


/ О.Н. Музыченко; Балт. гос. техн. ун-т. — СПб., 2012. -304 с.


ISBN 978-5-85546-675-1


Рассмотрены методы синтеза конечных автоматов, в том числе абстрактного и структурного синтеза. Описана методология проектирования конечных автоматов и ее основные этапы. Изложены методика формализации и способы формализованного описания конечных автоматов, алгоритмы минимизации памяти абстрактных автоматов; канонический метод структурного синтеза автоматов, требования к структурно полной системе элементарных автоматов, обеспечивающей решение задачи синтеза, основные алгоритмы, позволяющие реализовать его. Приведены методология и способы структурного проектирования последовательностных устройств контроля и преобразования информации, способы их синтеза, оценки быстродействия и сложности. Включены конкретные примеры проектирования конечных автоматов.


Предназначено для студентов, изучающих курсы «Проектирование цифровых устройств» и «Импульсные и цифровые устройства». Может быть использовано при курсовом проектировании цифровых устройств.


УДК 681.513.6.013(075.8)


Рецензенты: д-р техн. наук, проф., нач. НИО ОАО «ВНИИРЭА»


Е.А.Синицын; д-р техн. наук, проф. БГТУ Л.Ю.Астанин


Утверждено


редакционно-издательским советом университета


© БГТУ, 2012 © О.Н. Музыченко, 2012


ВВЕДЕНИЕ


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

Скачать в pdf «Методы синтеза конечных автоматов»