中国科学E辑
中國科學E輯
중국과학E집
SCIENCE IN CHINA (SERIES E)
2002年
1期
103-115
,共13页
CFRF%CFPRF%上下文无关语言的递归函数%CFL分层枚举%结构归纳法
CFRF%CFPRF%上下文無關語言的遞歸函數%CFL分層枚舉%結構歸納法
CFRF%CFPRF%상하문무관어언적체귀함수%CFL분층매거%결구귀납법
建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法. 事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数. 提出了证明CFPRF函数性质的结构归纳法,给出一种枚举CFL句子的方法,定义了极小算子. 基于CFL句子枚举,提出了极小算子的求值方法. 最后, 讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则.
建立上下文無關語言(CFL)上的遞歸函數理論. 在CFL上定義瞭函數類CFRF和它的真子類CFPRF,它們可用來十分直接地錶述非數值加工算法. 事實上它們分彆就是上下文無關語言上的偏遞歸函數和原始遞歸函數. 提齣瞭證明CFPRF函數性質的結構歸納法,給齣一種枚舉CFL句子的方法,定義瞭極小算子. 基于CFL句子枚舉,提齣瞭極小算子的求值方法. 最後, 討論瞭以CFRF為理論基礎的可執行規約語言的設計和實現原則.
건립상하문무관어언(CFL)상적체귀함수이론. 재CFL상정의료함수류CFRF화타적진자류CFPRF,타문가용래십분직접지표술비수치가공산법. 사실상타문분별취시상하문무관어언상적편체귀함수화원시체귀함수. 제출료증명CFPRF함수성질적결구귀납법,급출일충매거CFL구자적방법,정의료겁소산자. 기우CFL구자매거,제출료겁소산자적구치방법. 최후, 토론료이CFRF위이론기출적가집행규약어언적설계화실현원칙.