РАЗДЕЛ:
- Семантика языков программирования
- Формальные языки и автоматы
- Спецификация и верификация
- Грамматики и системы переписывания правил
- Абстрактные типы данных; алгебраические спецификации
- Модели и методы параллельных и распределенных вычислений
- Алгебраическая теория языков и автоматов