>>834
> あるものが何であって何でないという境界を明確化するのは
すでに明確だろ？
「正しいプログラムでないプログラム」は「正しくないプログラム」
正しいプログラムの定義は書いてあるから境界はすでに明確だよ
ill-formedとかの名前がどうのこうのは関係ない