以上のようにして、構文(文法)的には正しい文のみを、しかも無限に作ることができる(これはまた、仮に過去に存在したことが無かった文であっても、それが「正しい」文か「正しくない」文(「非文」と呼ばれる)であるかを判定するのにも使える、ということである)。