作 者:何积丰 HE JI-FENG
出 版 物:《华东师范大学学报(自然科学版)》 (Journal of East China Normal University(Natural Science))
年 卷 期:1980年第1期
页 面:23-32页
学科分类:07[理学] 0701[理学-数学] 070101[理学-基础数学]
主 题:递归语言 谓词 定理 广义 实词 字符串 递归函数 递归论
摘 要:本文应用可计算谓词的运算讨论了递归语言上的运算。当 L 为一递归语言时,证明了在-无关映照 f 作用下,只要对任一 a∈Σ_f(a)为递归,则 f(L)也是递归语言。且讨论了在广义顺序机作用下仍能保持语言 L 的递归性。