認知言語学総合スレ

認知言語学総合スレ at GENGO

213:名無し象は鼻がウナギだ！
13/11/15 23:12:55.61 0.net
> それでいいんだぜ

そもそも埋め込み、繰り返しの再帰は再帰的定義の再帰とは全く関係ない
第一あれを再帰と呼ぶのは変だよね、接続してるだけだもんね
それはさておき
循環定義とここで必要になる再帰的定義とは異なる
説明するまでもないが (ウィキペから引用すると)

　循環定義との違いは、再帰的定義にはその定義を使わずに定義される基本となるケースが存在することである。
　その他のケースの定義は、基本のケースにより近い定義によって定義されなければならない。

　例として素数の定義を示す:
　　2は最小の素数である。
　　任意の正の整数で、自身より小さい素数で割り切れない数は素数である。
　整数 2 がこの場合の基本ケースである。
　それより大きい整数 X が素数かどうかを判定するには、X と 2 の間の全ての整数について素数かどうかを知っている必要がある。
　しかし、そのような整数は X よりも基本ケースの 2 に近い。

　対照的に循環定義には基本ケースがなく、単に自身で自身を定義しているにすぎない。
　これが悪循環を生む。
　従って「再帰的定義: "再帰的定義"を参照」という記述は循環定義であって再帰的定義ではない。

基本となるケースってある意味フェーズw

次ページ