Логика на словах

курсовая работа

Введение

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

  • Один из основных подходов к исследованию распознаваемых языков базируется на известной теореме Ж. Бучи о характеризации регулярных языков средствами монадической логики второго порядка.
  • Для рассмотрения данной темы необходимо изучить следующие задачи:
  • 1) Изучить основные этапы истории развития логики.
  • 2) Изучить основные понятия монадической логики второго порядка.
  • 3) Рассмотреть приложение монадической логики второго порядка к теории языков.
  • 4) Разобрать доказательство теоремы Ж. Бучи о характеризации регулярных языков средствами монадической логики второго порядка.
  • 5) С помощью теоремы Ж. Бучи исследовать взаимосвязь между иерархиями языков и определяющими их формулами первого порядка.
  • Делись добром ;)