Математическая логика
Синтаксические структуры естественного языка и автоматизированных системах общения
Формальные грамматики и языки