允許方法

允許方法(permitting method)一種遞歸論構造方法一般用來構造相對於某個r。集遞歸的re集.具體地,允許方法是指:對給定的r。集B,設{Bs}.}E}為B的一個遞歸枚舉,則如果在構造r。集A時(設{As}sF‘為A的一個遞歸枚舉),當任何二在,步枚

相關詞條

熱門詞條

聯絡我們