形式言語上の演算の研究

形式语言运算研究

• 批准号: 07F07810
• 负责人: 伊藤 正美
• 金额: $ 1.47万
• 依托单位: Kyoto Sangyo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2009
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07F07810/
• 关键词: 複製演算; チョムスキー言語階層; DNA二重螺旋; ヘアピン演算; プッシュダウンオートマトン; 深層プッシュダウンオートマトン; 外部観測計算; 計算量; 重複演算; 語の書き換え系; 正規性; DNA計算理論; ヘアピン演算子; マルクス文脈文法; 非決定性有向オートマトン; 正規言語; 文脈自由言語; 重複閉包; 一般重複演算; 一般重複重複閉包; 語の書換え系

外国人特別研究員は、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 foreigner researcher の は, DNA replication の mathematical モ デ ル と し て の language の の replicated on calculus uvw > uvvw and そ の inverse calculation uvvw - uvw, そ れ ら の closure calculus etc. の を line い ま し た. と く に, チ ョ ム ス キ ー speech class (formal speech class や context free speech class) の こ れ ら の calculus に よ る save sex の が main な テ ー マ で し た. Research results, international journal Natural ComputingやLecture Notes in Computer Science(Springer, Berlin)に published されま た た. さ ら に の DNA double helix の tear じ れ に よ る damaged と そ の repair の mathematical モ デ ル で あ る の bounded on language の な ヘ ア ピ ン calculus の completion を の study, by researchers into お よ び V.M itrana professor と の joint research と し て line い ま し た. Research results に, Lecture Notes in Computer Science, etc. are published in されま た た. ま た, プ ッ シ ュ ダ ウ ン オ ー ト マ ト ン の generalization で あ る deep プ ッ シ ュ ダ ウ ン オ ー ト マ ト ン が accept す る words と ほ か の speech and た と え ば マ ト リ ッ ク ス words such as と の comparison, deep プ ッ シ ュ ダ ウ ン オ ー ト マ ト ン が accept す る が spiritual す る speech class の を line い ま し た. The first division of <s:1> research と and Professor A. meduna と と joint research と て て line われま た た た. The research results ワ, ワ ショップ ショップAFLAS Proceedings <e:1> Automata, Formal Languages and Algebraic Systems(World Scientific, Singapore)に published されます. Special foreigner researcher の そ の ほ か の research と し ま し て は, external 観 measuring calculation の メ カ ニ ズ ム の study と の computation が あ り ま す. Youdaoplaceholder6 れら <s:1> research results で plurals <s:1> international conference で presentation list されま た た.

项目成果

Reducing repetitions

减少重复次数

• 发表时间: 2009
• 期刊: Proceedings of Prague Stringology Days 単行本
• 作者: P.Leupold;F.Manea;R.Loos;P.Leupold
• 通讯作者: P.Leupold

Generalized periodicity and primitivity for words

• DOI: 10.1002/malq.200610030
• 发表时间: 2007-01
• 期刊: Mathematical Logic Quarterly
• 影响因子: 0.3
• 作者: Masami Ito;G. Lischke

Directable Automata and Directing Words(招待講演)

可定向自动机与定向词（特邀报告）

• 发表时间: 2009
• 作者: Masami Ito;Gewrhard Lischke;P.Leupold;P.Leupold;P.Leupold;P.Leupold;M.Ito
• 通讯作者: M.Ito

Computing by observing change

通过观察变化进行计算

• 发表时间: 2009
• 作者: Masami Ito;Gewrhard Lischke;P.Leupold;P.Leupold
• 通讯作者: P.Leupold

How to pop a deep PDA matters

如何弹出深度 PDA 很重要

• 发表时间: 2008
• 作者: Masami Ito;Gewrhard Lischke;P.Leupold;P.Leupold;P.Leupold;P.Leupold;M.Ito;P. Leupold
• 通讯作者: P. Leupold