四種十二個のカテゴリーを見てみたんですがまあプログラミング言語の仕様を連想させはします
問題は（プログラムではなく）プログラミング言語が正しかったりそうでなかったりするのかです
技術論の一切をさっぴくとしても、言語処理系自体は話者全員がデバッグや改良に参加してる


という法廷陳述