towards practical computable functions on context-free languages
文献类型:会议论文
作者 | Chen Haiming ; Dong Yunmei |
出版日期 | 2006 |
会议名称 | 3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006) |
会议日期 | MAY 15-20, |
会议地点 | Beijing, PEOPLES R CHINA |
关键词 | recursive function context-free language structured data operator computability |
页码 | 555-565 |
英文摘要 | Many structures used in computer science and software can be represented by context-free languages. This paper discusses computable functions on such languages, which give a useful model for studies of computability and algorithms involving co |
收录类别 | SCI |
会议主办者 | Chinese Acad Sci, Inst Software, Univ Leeds, Univ Wisconsin, Natl Nat Sci Fdn China |
会议录出版者 | THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS |
会议录出版地 | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
ISSN号 | 0302-9743 |
ISBN号 | 3-540-34021-1 |
WOS记录号 | WOS:000238091800053 |
源URL | [http://124.16.136.157/handle/311060/12194] ![]() |
专题 | 软件研究所_计算机科学国家重点实验室 _会议论文 |
推荐引用方式 GB/T 7714 | Chen Haiming,Dong Yunmei. towards practical computable functions on context-free languages[C]. 见:3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006). Beijing, PEOPLES R CHINA. MAY 15-20,. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。