Формальные системы, формальные языки, грамматики, синтаксический анализ ...