正規形
Normal form
完全に評価されきった項
項
$ t
が正規形であるとは、
$ t\rightarrow t'
となるような
$ t'
が存在しないこと
規則の左側に来ることはない
例
1
、
true
、
\x -> x + 1
関連
頭部正規形
弱頭部正規形