ВВЕДЕНИЕ. Учебное пособие посвящено учебному курсу "Теория автоматов"

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

Над цифровыми автоматами, как и над другими объектами дискретной математики, могут выполняться операции композиции, декомпозиции (формирование булеана объекта, разбиение, покрытие, проверка разбиения, проверки покрытия), алгебраические операции (объединение, вычитание, симметрическая разность, дополнение, пересечение), проверка отношений между объектами, упрощение (на основе тождеств, на основе учета сохраняемости логических условий).

Известно незначительное количество операций над цифровыми автоматами (последовательное соединение, параллельное соединение, соединение с обратной связью).

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

Это сдерживает развитие данной теории, не дает ей возможностей утвердиться в качестве полнокровной теории.

Известные операции в достаточной степени не формализованы, не унифицированы и не стандартизированы, что затрудняет их использование при решении конкретных задач с объектами дискретной математики. Совершенно не затрагиваются вопросы законов и тождеств алгебры автоматов, возможность которой даже не упоминается.

Таким образом, насущной задачей является проработка в более полном объеме операционного инструментария для преобразований автоматов, что несомненно окажет благотворное влияние на решение вопросов теоретической кибернетики, в том числе теории математических машин, программирования, искусственного интеллекта.

На кафедре вычислительной техники Кибернетического центра ТПУ с 1975 года ведутся работы по разработке инструментария для преобразования различных объектов дискретной математики [13], имеется определенный задел по преобразованию цифровых автоматов, логических схем [14 - 16].

Инструментарий для кубов и кубических покрытий (кубический подход), описанный в [14], оказался полезным для проработки процедур преобразования объектов, которым посвящено данное пособие.

Естественно, при разработке, унификации процедур преобразований объектов будет использоваться теоретико-множественный подход.

Кроме того, применяется алгоритмический подход как со стороны вида деятельности, так и формы труда, что способствует улучшению процесса познания.

В пособии рассмотрение автоматов и операций над ними сопровождается необходимыми примерами.

В приложениях приведены некоторое программное обеспечение преобразований автоматов и контрольные вопросы курса.

Дата добавления: 2015-07-26; просмотров: 147; Нарушение авторских прав

Мы поможем в написании ваших работ!