法律を改正する法律の言語の構造って、BNFで書けそうではある。それに、チューリングマシンの停止条件は自明だし、入力を受容できるか拒絶すべきかは決定できるから、少なくとも帰納言語ではある。あと、意味も形式的に与えられてるよな。