1999 Fiscal Year Annual Research Report

可逆論理を基礎とする新しい計算メカニズムの理論的研究

Research Project

Project/Area Number	10680355
Research Institution	Hiroshima University
Principal Investigator	森田憲一広島大学, 工学部, 教授 (00093469)
Co-Investigator(Kenkyū-buntansha)	今井勝喜広島大学, 工学部, 助手 (20253106)
Keywords	可逆計算機構 / 可逆論理 / 論理万能性 / 可逆セル・オートマトン / 保存性 / 自己増殖セル・オートマトン / 生成文法
Research Abstract	可逆コンピューティングは量子コンピューティングと共に将来の計算機の可能性を探る研究として重要であり、現在その基礎研究が最も必要な時期にある。本研究ではそのような観点から可逆計算機構の理論的研究を行い、以下の成果を得た。 1.理論万能性を有する単純な可逆セル・オートマトン任意の理論回路やコンピュータがどのような可逆的基本法則から構成できるかという問題を可逆セル・オートマトンを用いて研究し、それが極度に単純な可逆的遷移規則にまで還元できることを明らかにした。 2.保存性の概念の拡張と保存的可逆セル・オートマトン物理学における(エネルギーなどの)保存性に相当する性質を持つセル・オートマトンを研究した。特に、保存性の概念を拡張した可逆セル・オートマトンを定義し、その計算万能性を証明した。 3.可逆セル・オートマトンにおける自己増殖平成9年度までの研究により、自己増殖(パターンの自己複製)が可能な2次元可逆セル空間を与えたが、今回はこれを3次元に拡張し、非常に多様なパターンの自己複製が可能となることを示した。 4.可逆性を有する、記号列および2次元パターンの生成システム可逆性に相当する、「一意解析性」を持つある種の文法システムについて研究し、決定性文脈自由言論族を正確に特徴付ける単純な一意解析可能文法の族、およびあらゆる連結図形集合を生成する一意解析可能2次元アレイ文法を与えた。

Research Products
(8 results)

All Other

All Publications (8 results)

[Publications] K. Morita: "Number-conserving reversible cellular antomata and their computation-universality(招待講演)"Proc. MFCS'98 Workshop on Celluar Automata,Brno,Czech. 51-68 (1998)
[Publications] K. Morita: "Cellular automata and artificial life - computation and life in reversible cellular antomata(招待講演)"Proc. 6-th Summer School on Complex Systems,Santiago,Chile. 1-40 (1998)
[Publications] K. Morita: "Characterizing the ability of parallel array generators on reversible partitioned cellular automata"Int. J. Pattern Recognition and Artificial Intelligence. 13・4. 523-538 (1999)
[Publications] K. Morita: "Uniquely parsable array grammars for generating and parsing connected patterns"Pattern Recognition. 32・2. 269-276 (1999)
[Publications] K. Imai: "A computation-universal two-dimensional 8-state triangular reversible cellular automaton"Theoretical Computer Science. 231・2. 181-191 (2000)
[Publications] K. Morita: "Universality of reversible hexagonal cellular automata"RAIRO Theoretical Informatics and Applications. (印刷中).
[Publications] 森田憲一: "エンサイクロペディア:電子情報通信ハンドブック(「セル構造オートマトン」,「自己増殖オートマトン」,「可逆マシン」の項目)"オーム社. 1339 (1998)
[Publications] Gh. Paun (ed.): "Recent Topics in Mathematical and Computational Linguistics"Publishing House of the Romanian Academy,Bucharest(印刷中).

1999 Fiscal Year Annual Research Report

可逆論理を基礎とする新しい計算メカニズムの理論的研究

Principal Investigator

森田 憲一 広島大学, 工学部, 教授 (00093469)

Research Products

[Publications] K. Morita: "Number-conserving reversible cellular antomata and their computation-universality(招待講演)"Proc. MFCS'98 Workshop on Celluar Automata,Brno,Czech. 51-68 (1998)

[Publications] K. Morita: "Cellular automata and artificial life - computation and life in reversible cellular antomata(招待講演)"Proc. 6-th Summer School on Complex Systems,Santiago,Chile. 1-40 (1998)

[Publications] K. Morita: "Characterizing the ability of parallel array generators on reversible partitioned cellular automata"Int. J. Pattern Recognition and Artificial Intelligence. 13・4. 523-538 (1999)

[Publications] K. Morita: "Uniquely parsable array grammars for generating and parsing connected patterns"Pattern Recognition. 32・2. 269-276 (1999)

[Publications] K. Imai: "A computation-universal two-dimensional 8-state triangular reversible cellular automaton"Theoretical Computer Science. 231・2. 181-191 (2000)

[Publications] K. Morita: "Universality of reversible hexagonal cellular automata"RAIRO Theoretical Informatics and Applications. (印刷中).

[Publications] 森田憲一: "エンサイクロペディア:電子情報通信ハンドブック(「セル構造オートマトン」,「自己増殖オートマトン」,「可逆マシン」の項目)"オーム社. 1339 (1998)

[Publications] Gh. Paun (ed.): "Recent Topics in Mathematical and Computational Linguistics"Publishing House of the Romanian Academy,Bucharest(印刷中).

森田憲一広島大学, 工学部, 教授 (00093469)