生成文法の文献によく現れる数学の概念を説明します。