Лупал А.М. Теория автоматов

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

Москва, "Финансы и статистика", 2006. 368 с. Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств.

Московский государственный Институт электроники и математики, 2002. -103 с. Комбинаторика. Теория графов. Нахождение минимальных путей между вершинами в графе. Компенсация матриц. Планарность. Тестирование и восстановление автоматов. Случайные процессы. Метод ветвей и границ.

Учебник. Часть VIII. Костенко К. И. ФКТиПМ, КубГУ, с. 35 Содержание: Конечные автоматы - начальные понятия - определение и задание автоматов - функции конечных автоматов - отличимость состояний автоматов - минимальные автоматы - распознавание слов автоматами - схемы конечных автоматов - схемы из элементарных автоматов

Скан с тетради преподавателя. Теория множеств. Булева алгебра, алгебра логики, математическая логика, исчисление высказываний. Теория графов. Теория автоматов.rn

Логика. Теория множеств. Теория графов. Логика предикатов. Теория простейших автоматов. Комбинаторика.

Методические указания к курсовой работе по «Математическим основам дискретно – логических систем». Абстрактный автомат. Модель абстрактного автомата. Типы конечных автоматов. Описание автомата. Эквивалентность состояний детерминированного автомата. Логическое проектирование автоматов. Логическое проектирование структурного автомата. Кодирование алфавитов. Выбор комбинационных автоматов. Выбор элементов памяти - двоичной задержки. Формирование фун...

ЮУрГУ, механико-математический факультет, 2001. В учебном пособии изложены элементы метрической теории алгоритмов, теории формальных языков, теории автоматов (конечных и с магазинной памятью) и методов анализа и интерпретации текстов. Использованный математический аппарат - теория множеств и теория графов, остальные сведения, необходимые для понимания материала, приводятся по мере изложения. Каждый раздел сопровождается упражнениями для практиче...

Теория множеств. Логика высказываний. Логика предикатов. Метод резолюций. Система Генцена. Система Аристотеля. Примеры неклассических логик. Теория Автоматов. Теория графов. Теория групп. Теория алгоритмов. Понятие алгоритма. Конкретизация понятия алгоритма. Сложность вычислений. Машины Тьюринга. Нормальные алгорифмы Маркова. Рекурсивные функции. Формальные грамматики. Функциональное программирование. Логическое программирование....

Шевелев Ю.П. Дискретная математика. Ч. 2: Теория конечных автоматов. Комбинаторика. Теория графов: Учебное пособие. — Томск: Том. гос. ун-т систем упр. и радиоэлектроники, 2003. - 130 с. Изложены основные сведения из прикладной теории конечных автоматов: рассмотрены контактные и электронные логические схемы, описаны методы синтеза комбинационных и многотактных автоматов, приведена теорема Поста о функциональной полноте. Из комбинаторики представ...