2000 Fiscal Year Annual Research Report
| Project/Area Number |
10440034
|
|---|
| Research Institution | Kyoto Sangyo University |
|---|
Principal Investigator |
伊藤 正美 京都産業大学, 理学部, 教授 (50065843)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
村瀬 篤 京都産業大学, 理学部, 教授 (40157772)
勝良 昌司 京都産業大学, 理学部, 教授 (80065870)
|
|---|
| Keywords | ペトリネット言語 / プレフィックス・コード / CPN言語 / 正規言語 / 文脈自由言語 / 原始語 / 決定問題 / 非決定性有向オートマトン |
|---|
| Research Abstract |
平成12年度におもに行った研究は,ある種のペトリネット言語の研究である.A=(P,T,δ,μ_0)を正値初期マーキングμ_0をもつペトリネットとする.Aが受理するT上の言語をL(A)={u:∀u'(u=u'u",u',u"∈T^*,u"∈T^+),δ(μ_0,u'):正値,〓≠δ(μ_0,u'):非正値}と定義すると,あきらかにL(A)はプレフィックス・コードになる.問題は,如何なるときにL(A)が極大プレフィックス・コードになり,また如何なる構造をもつかである.あるペトリネットAに対してC=L(A)となるプレフィックス・コードCをCPN言語とよぶ.さらにCが極大プレフィックス・コードであるときmCPN言語とよぶ.前年度の研究では,C^2がmCPN言語ならばCは極大ブロック・コードであることが判明した.本年度の研究では,この結果の一般化をこころみ以下のような結果が得られた:
A,Bを極大プレフィックス・コードとする.もしもABがmCPN言語ならば,A,Bともに極大ブロック・コードである.
すべての極大プレフィックス・コードがmCPN言語である訳ではない.mCPN言語のクラスの構造が完全に解明された訳ではないが,本年度の研究によりmCPN言語の多くの性質が得られた.次に,CPN言語のクラスは正規言語のクラスや文脈自由言語のクラスに含まれる訳ではない.しかしながら,CPN言語のクラスは文脈依存言語のクラスに含まれることの証明が得られた.これらの結果はまだ刊行されていないが,平成13年7月にウィーンで開催される国際会議Developments in Language Theoryに於て招待講演のかたちで発表される.以上の研究のほかに,X上の原始語全体の集合Q(X)が文脈自由言語になるかどうかという問題に関連する種々の言語の決定問題の研究を行った.さらに,非決定性有向オートマトンが受理する種々の言語のクラス間の包含関係の研究を行った.
|
-
[Publications] P.Domosi,M.Ito: "Characterization of languages by lengths of their subwords"Monograph Series (Springer). 117-129 (1998)
-
[Publications] M.Ito,P.V.Silva: "Remarks on deletions, scattered deletions and related operations on languages"Semigroups and App1ications (World Scientific). 95-105 (1998)
-
[Publications] B.Imreh,M.Ito: "A note on the star-product"Acta Cybernetica. 14. 99-104 (1999)
-
[Publications] M.Ito: "Shuffle products and related operations on languages"Algebratc Engineering (World Scientific). 484-493 (1999)
-
[Publications] B.Imreh,M.Ito: "0n some special classes of regular languages"Jewels are Forever (Springer). 25-34 (1999)
-
[Publications] S.Horvath,M.Ito: "Decidable and undecidable problems of primitive words"Journal of Universal Computer Science. 5. 532-541 (1999)
-
[Publications] M.Ito,L.Lari,G.Thierrin: "Shuffle and scattered deletion closure of languages"Theoretical Computer Science. 245. 115-134 (2000)
-
[Publications] B.Imreh,M.Ito: "On regular languages determined by nondeterministic directable automata"Theoretical Informatics and Applications. (掲載決定).
-
[Publications] M.Ito,C.Martin-Vide,Y.Mitrana: "Group weighted finite transducers"Theoretical Informatics and Applications. (掲載決定).
-
[Publications] M.Ito,C.Martin-Vide,G.Paun: "A characterization of Parikh sets of ETOL languages in terms of P systems"Words, Semigroups, and Transductions (World Scientific). (掲載決定).
-
[Publications] M.Ito,C.Martin-Vide,G.Paun: "On commutative directable nondeterministic automata"Gh.Paun Festscrift Volume (Editura Academiei Romane). (掲載決定).
-
[Publications] K.P.Shum,M.Ito,Y.Q.Guo,Y.Fong: "Semigroups (Editing Book)"Springer. 370 (1998)
-
[Publications] C.Nehaniv,M.Ito: "Algebraic Engineering (Editing Book)"World Scientific. 554 (1999)
