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

形式言語とオートマトン

形式语言和自动机

基本信息

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

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-04F04028/
关键词：
原始語正規言語 Lyndon-Schutzenbergerの定理有向オートマトン文脈自由言語語の周期性マルクス文脈言語周期的準周期的擬周期的 (選択的)マルクス文脈文法 (非選択的)マルクス文脈文法可換閉包巨大素数

项目摘要

研究分担者は、平成17年度中に2つの論文を公刊した。一つはThe language of primitive words is not regular : two simple proofsで、原始語全体からなる言語が正規言語にならないことの2つの新しい証明である。二つ目はOn products of primitive wordsで原始語の連接に関するLyndon-Schutzenbergerの定理、およびShyr-Yuの定理の新しい証明を与えている。研究代表者は平成17年度中に3つの論文を公刊している。論文の一つはOn regular languages determined by nondeterministic directable automataで非決定性有向オートマトンの有向語のなす言語の性質と言語族間の包含関係を調べている。二つ目はCommutative closure of languagesでスレンダー文脈自由言語の可換閉包が文脈自由言語になるための必要十分条件を与えている。三つ目はDeterministic and nondeterministic directable automataで決定性および非決定性有向オートマトンに関するサーベイ論文である。研究代表者と研究分担者の共同研究である3種類の周期性をもつ文と関連した言語とマルクス文脈言語の関係に関する研究成果はSome periodicity of words and Marcus contextual grammarsとして京都大学数理解析研究所の共同研究集会に於いて発表された。そのほかの活動としては、研究代表者は研究分担者と協力して数回のワークショップを開催した。また国外から著名な研究者であるAttila Pethoe教授(ハンガリー共和国)およびAlexander Meduna教授(チェコ共和国)を招き研究情報の提供を受けるとともに共同研究を開始した。

Research Contributor, Heisei 17, 2nd Annual Paper Publication A The language of primitive words is not regular : two simple proofs On products of primitive words, Lyndon-Schutzenberger theorem, Shyr-Yu theorem and new proofs The research representative has published three papers in the middle of the 17th year of Heisei. On regular languages determined by nondeterministic directable automata, the nature of directable speech, and the inclusion relations between speech families. 2. Commutative closure of languages: context free speech: commutative closure: context free speech: necessary conditions: context free speech: context free speech: context: context free speech: Three items are Deterministic and non-deterministic directable automata. Some periodicity of words and Marcus contextual grammars was the result of joint research by research representatives and research collaborators at the Institute of Mathematical Analysis, Kyoto University. The research representatives and the research contributors cooperated to promote the development of the project. Prof. Attila Pethoe (Republic of Korea) and Prof. Alexander Meduna (Republic of Korea) invited and provided research information and began joint research.