Темы устных докладов СГА → Математическая логика и теория алгоритмов (курс 2)

Математическая логика и теория алгоритмов (курс 2) (6832) , модуль 4 - Темы устных докладов СГА

  • Автомат с магазинной памятью
  • Алгоритм построения минимального автомата, эквивалентного исходному
  • Возможные состояния конечного автомата
  • Как происходит разбор формального языка на основе конечного автомата
  • Области применения конечных автоматов
  • Объекты, перечислением которых задается автомат
  • Операции над регулярными языками
  • Описание конечного автомата с помощью графа
  • Описание конечного автомата с помощью таблицы переходов
  • Определение конечного автомата
  • Понятие автомата
  • Понятие минимальности конечного автомата
  • Пример описания конкретного конечного автомата с помощью таблицы переходов и с помощью графа
  • Процедура минимизации конечных автоматов
  • Регулярные множества и регулярные языки
  • Связь автомата с магазинной памятью с контекстно зависимыми формальными языками
  • Связь между регулярным множеством и конечным детерминированным автоматом
  • Связь регулярных грамматик с конечными автоматами
  • Типы автоматов
  • Формальное определение автомата