1) recursively enumerable sets/recursivelycontrolled Turing reducibility
递归可枚举集/递归控制Turing可化归性
2) recursively enumerable set
递归可枚举集
1.
The theorem that the language set distinguished deterministic finite automaton is a recursively enumerable set was proved,and then,the recursiveness of regular language was analyzed.
从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。
3) Recursively enumerable degree
递归可枚举度
4) recursively enumerable set
递归可列举集
5) Fuzzy Recursively Enumerable
模糊递归可枚举语言
6) recursively enumerable set
递归可数集
补充资料:张瑀《文姬归汉图》卷
中国金代画家张瑀的唯一传世绘画作品。绢本,设色,纵29厘米,横 127厘米。画蔡文姬归汉故事。墨笔淡设色,不作背景,画出蔡文姬一行迎风沙,冒严寒长途行旅的情景,所画人物、坐骑,用笔简练而富变化,神态真切生动;构图错落有致,疏密得当,继承了唐宋人物画的优秀传统。
后端上方款署:"祗应司张□画"。"张"字下那个字,由于字小而又漫漶不清,实难确认。据郭沫若考证,认定为"瑀"字,按《金史》所载,"祗应司"为金代设置的内府机构,故可认定此图为金人所作,并从郭说,为金代画家张瑀的传世作品。关于此图的内容,或说为:"昭君出塞"。
本幅上钤有明万厉皇帝"皇帝图书"、"宝玩之记"、"万厉之玺"等玺印。又有清梁清标及乾隆等清内府诸鉴藏印。曾经明内府、清梁清标、清内府收藏。《石渠宝笈》·(续编)著录。现藏吉林省博物馆。
后端上方款署:"祗应司张□画"。"张"字下那个字,由于字小而又漫漶不清,实难确认。据郭沫若考证,认定为"瑀"字,按《金史》所载,"祗应司"为金代设置的内府机构,故可认定此图为金人所作,并从郭说,为金代画家张瑀的传世作品。关于此图的内容,或说为:"昭君出塞"。
本幅上钤有明万厉皇帝"皇帝图书"、"宝玩之记"、"万厉之玺"等玺印。又有清梁清标及乾隆等清内府诸鉴藏印。曾经明内府、清梁清标、清内府收藏。《石渠宝笈》·(续编)著录。现藏吉林省博物馆。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条