KZ

Теория автоматов

  • Способы задания автомата, канонические уравнения, диаграмма Мура. Изоморфизм автоматов, приведенный автомат. Теорема о единственности приведенного автомата, эквивалентного данному. Абстрактные автоматы. Следствие из теоремы Мура о длине слова, отличающего конечные автоматы. Достижимость оценки длины слова отличающего конечные автоматы. Эксперименты с автоматами. Задача синтеза минимального автомата распознавателя. Конечные автоматы как сверхакцепторы. Теорема Мак-Нотона. Конечные автоматы в лабиринтах. Автоматы с камнями, автоматы с краской. Полугруппа автомата, связьопераций над автоматами с операциями над их полугруппами. Понятие подавтомата и гомоморфного образа автомата. Вербальные операции над автоматами. Системы автоматов с ограниченным числом входов. Полнота системы двухместных автоматов. Линейные автоматы. Проблема полноты для линейных автоматов относительно суперпозиции. Алгоритмическая неразрешимость проблемы полноты для конечных систем автоматов относительно суперпозиции и обратной связи. Теорема Кудрявцева о континууме предполных классов автоматов для операций суперпозиции и обратной связи. Системы автоматов, явно содержащие булевы функции. Проблема разрешимости задачи полноты для них.
  • Образовательная программа 7M07103 Автоматизация и управление производством (научно-педагогическое направление 2 года обуч)
  • ВУЗ Атырауский университет нефти и газа имени Сафи Утебаева
  • Кредитов 5
  • Селективная дисциплина
Top