情報系総合質問スレ

[0090 名無しさん＠お腹いっぱい。 2007/07/26(木) 13:20:22 ID:+O+6/sNX0]

冠頭正規形って何ですか？
また、冠頭正規形であってβ正規形でないラムダ項を３つあげてください。