オ-トマトン,形式言語およびコ-ドの代数的研究

自动机、形式语言和代码的代数研究

基本信息

批准号：
03640107
负责人：
伊藤正美
金额：
$ 0.77万
依托单位：
Kyoto Sangyo University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1991
资助国家：
日本
起止时间：
1991 至无数据
项目状态：
已结题

项目摘要

平成3年度の研究の重点はコ-ドの代数的研究におかれた。この分野は形式言語理論のなかでも通信理論への応用が期待されることもあり,計算機科学の基礎理論として重要な位置を占めている。平成3年度は文脈自由言語および稠密な言語とコ-ドの関連性に関して重点的に研究を行なった。まず,平成3年度中に刊行された論文では,外挿コ-ドおよび内挿コ-ドと形式言語との関連が論じられた。また,稠密な正規言語および文脈自由言語の構造が決定された。さらに,一記号上の分離型言語はすべて強分離型になることが証明された。半群の左稠密被覆の定義とその構造の決定の仕事も平成3年度中に刊行された。平成3年度中になされ平成4年以降に刊行される論文では,形式言語と原始語の集合の関係,準同形の一般化としての擬準同形の定義とその構造および言語との関係,任意のn個の要素がコ-ドになるような言語の研究等がある。準備中の仕事としては,右稠密言語およびその特別の場合としての右に稠密言語の構造の決定とコ-ドとの関係の研究がある。以上の個人的な研究のほかに平成3年度中になされた仕事としては,国際会議「語,言語および組合せ論」の会議録の作成があり,さらに平成5年4月には上記の国際会議での形式言語理論関係の論文選集がヨ-ロッパ情報科学連合の機関誌Theoretical Computer Scienceの特別号としてElsevier社(Amsterdam)より刊行される。

这项研究的重点是1991年的代数研究。预计该领域将应用于正式语言理论之间的交流理论，并且是计算机科学基本理论的重要地位。在1991年，我们专注于无上下文语言与密集语言和代码之间的关系。首先，在1991年发表的一篇论文中，讨论了外推码与插值代码与形式语言之间的关系。此外，已经确定了密集的普通语言和无上下文语言的结构。此外，一种符号上的所有可分离语言都被证明是可以分开的。 The work on defining the left dense coating of semi-groups and determining its structure was also published during 1991. Papers that will be published during 1991 and published after 1992 include the relationship between the set of formal languages and primitive words, the definition of pseudohomomorphisms as generalizations of homomorphisms, their structure and relationship with language, and research into languages where any n elements become codes.准备的任务之一是研究正确的密集语言结构与其特殊情况以及代码之间的关系。除上述个人研究外，1991年期间开展的工作是国际会议“单词，语言和组合理论”的准备，并于1993年4月在上述国际会议上选择了关于正式语言理论的论文，由Elsevier（Amsterdam）发表，作为理论计算机科学的特殊问题，理论上的欧洲欧洲信息科学杂志。