項が正規形であるが値ではない時、その項は「行き詰まり状態」であるという

これが実行時エラーに相当する

無意味な状態

例えば色々導出を進めていったら\mathrm{succ}\,\mathrm{false}にたどり着いちゃった

\mathrm{succ}は引数に自然数しか取らないので、これは明らかにおかしい

操作的意味論的に、これ以上何の操作もできない、詰み

これを静的に防ぐために型システムなどを利用する

参考

TaPL 3章