Данный курс лекций можно посмотреть без навязчивой рекламы Рутюб здесь:
https://plvideo.ru/watch?v=iSx-S6yeU_K-&list=X4Q8aynXJsDp После перехода на всероссийскую платформу там лекции останутся.
Формальные языки и трансляции — это курс, который знакомит студентов с трансляторами и компиляторами. В рамках курса изучают разные грамматики и парсеры и учатся применять их для решения задач.
Цель освоения дисциплины — приобретение теоретических знаний, практических умений и навыков в области формальных языков и трансляций.
Некоторые темы курса: слова и языки, конечные автоматы, детерминированные конечные автоматы, контекстно-свободные грамматики, нормальная форма Хомского, автомат с магазинной памятью.
На основе формальных грамматик создаются языки программирования и трансляторы к ним. При решении задач искусственного интеллекта они используются в системах машинного перевода, а также для генерации синтаксически правильных предложений в ответах экспертных систем на запросы пользовател