快速检索:      
引用本文:
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览 608次   下载 899  
分享到: 微信 更多
递归语言上的运算及其封闭性质
何积丰
作者单位
何积丰  
摘要:
应用可计算谓词的运算讨论了递归语言上的运算。当L为一递归语言时,证明了在Δ-无关映照f作用下,只要对任一α∈Σ,f(α)为递归,则f(L)也是递归语言。且讨论了在广义顺序机作用下仍能保持语言L的递归性。
关键词:  
DOI:
分类号:
基金项目:
Abstract:
Key words: