权益分类	功能权益	普通用户	{{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)に掲載されます。外国人特別研究員のそのほかの研究成果としましては、外部観測計算のメカニズムの研究と計算量の研究があります。これらの研究成果は複数の国際会議で発表されました。

He is a special researcher for foreigners, and he is a researcher on DNA replication calculus uvw→uvvw, inverse calculation uvvw→uvw, and closure calculus それらのclosure calculus.とくに、チョムスキーspeech class (regular speech class and context-free speech class) のこれらのcalculation and preservation の Main なテーマでした. Research results are published in the International Journal of Natural Computing, Lecture Notes in Computer Science (Springer, Berlin).さらにDNA's double helix の捩じれによるBroken とそのrepair のMathematical モデルである语の上のbounded なヘアピThe research on the perfection of calculus was conducted jointly with the researcher Professor V. Mitrana, Professor Mitrana. Research results, Lecture Notes in Computer Science, etc. are published.また、プッシュダウンオートマトンのgeneralized であるdeep プッシュダウンオートマトンが accepts する语とほかの语、たとえばマトリックスverbal, comparative, deep-level プッシュダウンオートMATONO accepts research on the language class belonging to the language class and conducts research on it.この研究の一は and Professor A.Meduna との jointly researched として行われました. The research results are published in the International Proceedings of AFLAS Automata, Formal Languages and Algebraic Systems (World Scientific, Singapore). Foreign Special Researcher's Research Results and External Measurement and Calculation Research and Calculation Volume Research.これらのResearch resultsはpluralのInternational conferenceで発 tableされました.