1991 Fiscal Year Annual Research Report
| Project/Area Number |
03640107
|
|---|
| Research Institution | Kyoto Sangyo University |
|---|
Principal Investigator |
伊藤 正美 京都産業大学, 理学部, 教授 (50065843)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
勝良 昌司 京都産業大学, 理学部, 教授 (80065870)
|
|---|
| Keywords | コ-ド / 外挿コ-ド / 内挿コ-ド / 形式言語 / 文脈自由言語 / 右稠密言語 / 右に稠密言語 / 左稠密被覆 |
|---|
| Research Abstract |
平成3年度の研究の重点はコ-ドの代数的研究におかれた。この分野は形式言語理論のなかでも通信理論への応用が期待されることもあり,計算機科学の基礎理論として重要な位置を占めている。平成3年度は文脈自由言語および稠密な言語とコ-ドの関連性に関して重点的に研究を行なった。
まず,平成3年度中に刊行された論文では,外挿コ-ドおよび内挿コ-ドと形式言語との関連が論じられた。また,稠密な正規言語および文脈自由言語の構造が決定された。さらに,一記号上の分離型言語はすべて強分離型になることが証明された。半群の左稠密被覆の定義とその構造の決定の仕事も平成3年度中に刊行された。平成3年度中になされ平成4年以降に刊行される論文では,形式言語と原始語の集合の関係,準同形の一般化としての擬準同形の定義とその構造および言語との関係,任意のn個の要素がコ-ドになるような言語の研究等がある。準備中の仕事としては,右稠密言語およびその特別の場合としての右に稠密言語の構造の決定とコ-ドとの関係の研究がある。以上の個人的な研究のほかに平成3年度中になされた仕事としては,国際会議「語,言語および組合せ論」の会議録の作成があり,さらに平成5年4月には上記の国際会議での形式言語理論関係の論文選集がヨ-ロッパ情報科学連合の機関誌Theoretical Computer Scienceの特別号としてElsevier社(Amsterdam)より刊行される。
|
-
[Publications] M.Ito/H.Jurgensen/H.J.Shyr/G.Thierrin: "Languages whose n-element subsets are codes" Theoretical Computer Science. 98. (1992)
-
[Publications] M.Ito/G.Thierrin: "Skew-morphisms and systems" Memorial Book of A.Lindenmayer (Springer-Verlag). (1992)
-
[Publications] M.Ito/C.M.Reis: "Left dense covers of semigroups" Words,Languages and Combinatorics (World Scientifics). 202-218 (1992)
-
[Publications] M.Ito: "A note on the paper "Disjunctive languages and compatible orders"" RAIRO Theoretical Information and Application. 25. 419-421 (1991)
-
[Publications] M.Ito/M.Katsura: "Context-free languages consisting of non-primitive words" International Journal of Computer Mathematics. 40. 157-168 (1991)
-
[Publications] M.Ito/H.Jurgensen/H.J.Shyr/G.Thierrin: "Outfix and infix codes and related classes of languages" Journal of Computer and Systems Science. 43. 484-508 (1991)
-
[Publications] M.Ito (Editor): "Theoretical Computer Science A Vol.108" Elsevier Science Publishers, (1993)
-
[Publications] M.Ito (Editor): "Words,Languages and Combinatorics,Kyoto,Japan,28-31 August 1990" World Scientific Publishing Co.Ltd., 590 (1992)
