情報科学のための数学的基礎知識を新しい視点・切り口で提供するシリーズ。本巻は、「生成文法」理論の流れに沿いながら、その形式化がどのようにしてなされてきたかを、《認知革命》をキーワードに、丁寧に解説する。