权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

形式言語上の演算の研究

形式语言运算研究

基本信息

批准号：
07F07810
负责人：
伊藤正美
金额：
$ 1.47万
依托单位：
Kyoto Sangyo University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2007
资助国家：
日本
起止时间：
2007 至 2009
项目状态：
已结题

项目摘要

外国人特別研究員は、DNAの複製の数学的モデルとしての語の上の複製演算uvw→uvvw、その逆演算uvvw→uvw、それらの閉包演算等の研究を行いました。とくに、チョムスキー言語階層(正規言語類や文脈自由言語類)のこれらの演算による保存性の研究が主要なテーマでした。研究成果は、国際専門誌Natural ComputingやLecture Notes in Computer Science(Springer, Berlin)に掲載されました。さらにDNAの二重螺旋の捩じれによる破損とその修復の数学的モデルである語の上の有界なヘアピン演算の完備化の研究を、受入研究者およびV.Mitrana教授との共同研究として行いました。研究成果は、Lecture Notes in Computer Science等に掲載されました。また、プッシュダウンオートマトンの一般化である深層プッシュダウンオートマトンが受理する言語とほかの言語、たとえばマトリックス言語等との比較等、深層プッシュダウンオートマトンが受理する言語が属する言語階層の研究を行いました。この研究の一部は、A.Meduna教授との共同研究として行われました。研究成果は、国際ワークショップAFLASのProceedingsのAutomata, Formal Languages and Algebraic Systems(World Scientific, Singapore)に掲載されます。外国人特別研究員のそのほかの研究成果としましては、外部観測計算のメカニズムの研究と計算量の研究があります。これらの研究成果は複数の国際会議で発表されました。

Special researcher for foreigners is currently conducting research on the replication calculus uvw→uvvw, the inverse calculus uvw →uvw, and the closure calculus of DNA replication. The research on the preservation of speech hierarchy (formal speech class and contextual free speech class) is mainly carried out. The research results were published in Natural Computing and Lecture Notes in Computer Science(Springer, Berlin). A study on the completeness of the double helix of DNA was conducted by Professor V. Mitrana. The results of the study are published in Lecture Notes in Computer Science. A study of speech hierarchy in general, deep, and receptive speech, and a comparison of speech and receptive speech. A.Meduna, Professor of the Department of Research The results of the study were published in the Proceedings of Automata, Formal Languages and Algebra Systems(World Scientific, Singapore). The results of the research conducted by the Special Research Fellow for Foreigners include: The results of this research have been presented at several international conferences.