完全に評価されきった項

項tが正規形であるとは、t\rightarrow t'となるようなt'が存在しないこと

規則の左側に来ることはない

例

1 、 true 、 \x -> x + 1

関連