KZ

Формальные языки и конечные автоматы

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