Языки и грамматики. Извлечение глубинного смысла. Депассивизация. Модельный язык программирования. Архитектура системы программирования. Синтаксический разбор. Абстрактная стековая машина.