Теория формальных языков, способы описания, классификация языков и распознавателей.
Регулярные языки, использование регулярных выражений для обработки текстовой информации и лексического анализа.
Контекстно-свободные языки, их классификация, виды распознавателей для синтаксического анализа. Трансляторы, структура компиляторов и интерпретаторов, этапы трансляции и промежуточные внутренние представления программы, принципы оптимизации кода. Современные CASE-средства, разработка интерпретатора и компилятора учебного языка с использованием LLVM и технологии JIT.