08/01/29 15:24:15
>>349
余分な括弧を許してsimplを使うのがまわりくどい。
括弧の代わりにXMLみたいなタグをイメージしてみたら？
タグは<variable><application><abstraction>の３種類とする。
余分なタグをつけると意味が変わってしまうから、
余分なタグのない状態を保つことになり、simplなんていらなくなる。
それ以前にβ正規形の定義がおかしい。
β基は一番上とcadr以外の場所にもあるから全部探さないと
08/01/29 15:24:15
>>349
余分な括弧を許してsimplを使うのがまわりくどい。
括弧の代わりにXMLみたいなタグをイメージしてみたら？
タグは<variable><application><abstraction>の３種類とする。
余分なタグをつけると意味が変わってしまうから、
余分なタグのない状態を保つことになり、simplなんていらなくなる。
それ以前にβ正規形の定義がおかしい。
β基は一番上とcadr以外の場所にもあるから全部探さないと