>>824
規格では正しくないプログラムをill-formedという
つまり正しくないプログラムも記載されているということだ

別に規格に限ったことではない
あるものが何であって何でないという境界を明確化するのは
ごく当たり前のものの書き方だ