Математическое моделирование языков. Синтаксис и семантика.
Метаязыки. Нормальные формы Бекуса-Наура (БФА).
Формальные грамматики. Языки, порождаемые грамматиками. Классы формальных грамматик; проблема распознавания языков.
Автоматы:
Конечные автоматы, анализаторы и преобразователи.
Анализаторы контекстно-свободных языков.
Трансляторы:
Схема компилятора; методы построения; схематическая теория программ; способы оптимизации кода. Семантическая
теория программ; схемы программ, методы формальной спецификации верификации;
модели вычислительных процессов; взаимодействие процессов; протоколы и интерфейсы;
асинхронные процессы.
Сети Петри:
Принципы построения, алгоритмы
поведения, способы реализации, области применения.
Принципы и способы технической реализации моделей процессов и структур.