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

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

  • Алфавит формальной грамматики
  • Грамматика типа 0
  • Грамматика типа 1
  • Грамматика типа 2
  • Грамматика типа 3
  • Задача лексического анализа формального языка
  • Задача семантического анализа формального языка
  • Задача синтаксического анализа формального языка
  • Классификация формальных грамматик по Хомскому
  • Определение конечного автомата
  • Понятие грамматического разбора
  • Порождающая грамматика формального языка
  • Продукции формальной грамматики
  • Процедура грамматического разбора сверху вниз
  • Процедура грамматического разбора снизу вверх
  • Регулярная грамматика
  • Связь регулярных грамматик с конечными автоматами
  • Терминальные и нетерминальные символы формальной грамматики
  • Формальные языки
  • Элементы формального языка