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

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

• 批准号: 06640092
• 负责人: 伊藤 正美
• 金额: $ 0.77万
• 依托单位: Kyoto Sangyo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06640092/
• 关键词: 形式言語; 高さ関数; 文脈自由言語; 群位相; 並列計算; 言語の並列積; オートマトン; コード

形式言語の稠密性の研究 形式言語が豊かであるかどうかを見る基準として研究代表者は,「高さ関数」を導入した.興味ある結果として「正規言語の任意の高さ関数による像は正規言語である」が得られ,この結果は裏面の研究発表の一番目の論文に発表されているが,文脈自由言語の高さ関数による像に関しては不明であった.この問題に関しては最近「文脈自由言語の高さ関数による像は必ずしも文脈自由言語ではない」ことの証明が得られ,この結果は現在専門誌に投稿中である.形式言語の稠密性および右稠密性一般に関する結果は,それぞれ裏面の研究発表の二番目,三番目の論文に発表された.形式言語の位相数学的研究 群位相を入れた形式言語の研究は,裏面の研究発表の四番目の論文に発表された.言語の並行積の研究 並列計算と関連深い言語の並行積の研究を継続した.特に,並行積に関して閉じているある種の言語のクラスを認識するオートマトンのクラスを構成した.その結果は,裏面の研究発表の五番目の論文に発表された.言語と関連したコードの代数的研究 cohesive prefixコードと呼ばれるprefixコードのクラスとinfixコードのクラスの間に位置するコードのクラスの構造と性質を調べた.結果は,裏面の研究発表の六番目の論文に発表された.以上の他に,1992年の八月に京都産業大学で開催された第二回「語,言語および組合せ論」国際会議のプロシ-ディングスおよび論文選集の編集作業が行なわれ,それぞれ裏面の図書の一番目,二番目のかたちで出版された.

Form words の denseness の research form words が bungo か で あ る か ど う か を see る benchmark と し て research representatives は, "high さ masato number" を import し た. Fun あ る results と し て "formal words の arbitrarily high の さ masato number に よ る like は formal words で あ る" が have ら れ, こ の results は の inside research 発 の a mesh の paper に 発 table さ れ て い る が, high context free speech の さ masato number に よ る like に masato し て は unknown で あ っ た. こ の problem に masato し て は recently "high context free speech の さ に masato よ る like は will ず し も context free speech で は な い "こ と の to prove が ら れ, こ の result は 専 door now volunteers contribute に in で あ る. Form words の denseness お よ び right denseness general に masato す る results は そ れ ぞ れ の research inside 発 table の two eyes, three transgressions mesh の paper に 発 table さ れ た. Form words の phase mathematical research group phase を into れ た は の research, form words inside の research 発 table の fourfold mesh の paper に 発 table さ れ た. Research on the <s:1> parallel product <e:1> of speech and parallel calculation と deep correlation <s:1> research on the <s:1> parallel product <e:1> of speech を継続 た た. に, parallel product に masato し て closed じ て い る あ る kind words の の ク ラ ス を know す る オ ー ト マ ト ン の ク ラ ス を constitute し た. そ は の results, の research 発 form inside の fivefold mesh の paper に 発 table さ れ た. Words と masato even し た コ ー ド の algebra research cohesive prefix コ ー ド と shout ば れ る prefix コ ー ド の ク ラ ス と infix コ ー ド の ク ラ ス の に position between す る コ ー ド の ク ラ ス の tectonic nature と を adjustable べ た. Results は, inside の 発 table の six times eye の thesis に 発 table さ れ た. の he に above, 1992 の に Kyoto university of industry で open August rush さ れ た second "language, words お よ び combination せ theory" international conference on の プ ロ シ - デ ィ ン グ ス お よ び sinica compiling line homework が な の わ れ, そ れ ぞ れ inside の 図 book の mesh, second leg mesh の か た Youdaoplaceholder0 publishes された.

项目成果

M.Ito: "Theoretical Computer Science 134(1)" Elsevier Science Publishers(Amsterdam), 262 (1994)

M.Ito：“理论计算机科学 134(1)”Elsevier Science Publishers（阿姆斯特丹），262 (1994)

M.Ito et al.: "Power absorbing languages and semigroups" Words,Languages and Combinatorics. II. 179-191 (1994)

M.Ito 等人：“吸收能量的语言和半群”单词、语言和组合学。

M.Ito et al.: "On the subword density of languages" The Southeast Asian Bulletin of Mathematics. 18. 49-62 (1994)

M.Ito 等人：“论语言的子词密度”《东南亚数学公报》。

M.Ito et al.: "Words,Languages and Combinatorics,II" World Scientific Publ.Co.Pte.Ltd.(Singapore), 520 (1994)

M.Ito 等人：“Words、Languages and Combinatorics,II” World Scientific Publ.Co.Pte.Ltd.（新加坡），520 (1994)

M.Ito et al.: "Some combinatorial properties of words,and the Chomsky hierarchy" Words,Languages and Combinatorics. II. 105-123 (1994)

M.Ito 等人：“单词的一些组合属性和乔姆斯基层次结构”单词、语言和组合。