6角形状可逆セル・オートマトンの万能性
スポンサーリンク
概要
- 論文の詳細を見る
セル・オートマトン(CA)の新しいモデルである6角形状分割CA(HPCA)を定義し、可逆的HPCAの論理的万能性について研究した。本研究では64状態の可逆的HPCAのモデルH_1を提案し、このセル空間中にFredkinゲートを実現できることを示した。Fredkinゲートは万能な論理素子(これだけを用いて任意の論理回路が構成できる)であることが知られているので、これによりH_1の万能性が結論できる。H_1は論理万能性を有する従来の可逆CAに比べて状態数は多いが、Fredkinゲートを実現する状相のサイズは小さい。
- 1998-10-30
著者
-
森田 憲一
広島大学工学研究科
-
今井 克暢
広島大学工学部
-
今井 克暢
広島大学大学院 工学研究科
-
今井 克暢
広島大学工学研究科
-
マルジェンステルン モリース
Universite de Metz, I. U. T. de Metz, Department d'informatique
-
今井 克暢
広島大学工学研究院
-
マルジェンステルン モリース
Universite De Metz I. U. T. De Metz Department D'informatique
関連論文
- 万能可逆チューリング機械の一構成法 (計算機科学基礎理論とその応用)
- A note on tatami tilings (アルゴリズムと計算機科学の数理的基盤とその応用--RIMS研究集会報告集)
- 非決定性チューリング機械の厳密な領域階層定理(情報・システム基礎)
- 4状態可逆チューリング機械の構成法 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- A-6-6 有限可逆セルオートマトンの軌道(A-6.情報理論,一般セッション)
- 単純な非同期論理素子による同期可逆セルオートマトンの構成法(オートマトン・言語理論)
- 同期可逆セルオートマトンを実現できる非同期セル空間
- 単純な非同期論理素子による同期可逆セルオートマトンの構成法
- 非同期セル空間における順序機械構成
- 自己参照メカニズムに基づく自己増殖セルオートマトンのシミュレーション(ディジタルデータ付き論文特集)
- 計算万能な81状態保存的可逆セルオートマトン(ディジタルデータ付き論文特集)
- 交代性計算によるセルオートマトンの加速
- 1次元可逆セル・オートマトンにおける線形加速
- 可逆的・保存的2次元セル空間への単純なコンピュータの埋め込み
- 6角形状可逆セル・オートマトンの万能性
- 1次元Number-Conserving可逆セル・オートマトンの計算万能性
- 32状態可逆セルオートマトン上での論理回路合成
- 計算万能な2次元8状態3角形状可逆セル・オートマトン
- (5)実験教育におけるコンピュータの有効利用 : 広島大学工学部計数管理工学講座での実施例(第2セッション 教育システム(II))
- 計算万能性を有する単純な1次元可逆セルオートマトン(代数、言語、計算システムにおけるアルゴリズム問題)
- 3入出力2状態可逆論理素子の万能性 : ロータリー素子の直接的構成法(計算理論とアルゴリズムの新展開)
- 計算万能な双曲セル・オートマトンについて (計算機科学基礎理論とその応用)
- 非同期セル空間における順序機械構成 (計算機科学基礎理論とその応用)
- 縮退していない2状態3記号可逆論理素子はすべて万能である
- 非同期セル空間における論理回路構成 (計算機科学基礎理論の新展開)
- 一変数テーブル参照による保存的セル・オートマトンの論理万能性
- 一意解析可能アレー文法による単連結図形及び単純閉曲線の生成(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
- A101 3次元可逆セル空間における自己増殖と形態形成(形態形成関連)
- 一意解析可能アレイ文法による単連結図形及び単純閉曲線の生成 (計算理論とアルゴリズムの新展開)
- Simulation of One-Dimensional Cellular Automata by Uniquely Parallel Parsable Grammars (New Developments of Theory of Computation and Algorithms)
- Semi-Right-Terminating 一意解析可能文法による決定性文脈自由言語族の特徴付け (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- 決定性Chomsky階層を成す一意解析可能文法族の標準形
- 一意解析可能Semi-Right-Terminating文法による決定性文脈自由言語族の特徴づけ
- Semi-Right-Terminating : 一意解析可能文法による決定性文脈自由言語族の特徴付け
- 一意並列解析可能ユニフィケーション文法 (計算モデルとアルゴリズム)
- Semi-Right-Terminating一意解析可能文法による決定性文脈自由言語族の特徴付け
- Uniquely Parsable Grammars
- 一意解析可能文法
- 3次元可逆自己増殖セル・オートマトンについて (計算モデルとアルゴリズム)
- 名辞論理体系に基づく自然言語文に対する推論法 : 日本語質疑応答システムへの応用
- Number conservingなセル空間での自己増殖 (計算理論とアルゴリズムの新展開)
- 3次元一意解析可能アレイ文法による図形の生成と認識について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- 可逆コンピューティングのための新しい万能論理素子
- 2点スプライシングシステムの言語生成能力の万能性(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
- 可逆的・保存的なセル・オートマンの計算能力 (言語,代数系および計算機システム)
- Two-Point Splicing Systemの言語生成能力の万能性 (計算モデルとアルゴリズム)
- 一意解析可能ユニフィケーション文法について
- 一意解析可能文法とその自然言語解析への応用
- 非決定性回路族における深さと非決定性ゲート数の関係
- Universality of Reversible Logic Elements with 1-Bit Memory : Extended Abstract (Mathematical Foundations and Applications of Computer Science and Algorithms)
- センサネットワーク上の群生成による情報伝達 (計算機科学とアルゴリズムの数理的基礎とその応用)
- 2次元可逆セル・オートマトンにおける一斉射撃問題(計算モデルと計算の複雑さに関する研究)
- 計算万能な2次元8状態3角形状可逆セル・オートマン(計算理論とその応用)
- 1次元可逆セル・オートマトンにおける一斉射撃問題の高速解(アルゴリズムと計算量理論)
- 1次元可逆セル・オートマトンにおける一斉射撃問題について(計算量理論)
- 1次元可逆セル・オートマトンにおける一斉射撃問題について
- 1次元可逆セル・オートマトンにおける一斉射撃問題について
- 決定性プッシュダウン・オートマトンおよび有限オートマトンと等価な一意解析可能文法(UPG)のサブクラス
- 可逆コンピューティング : ビリヤードボールでコンピュータが作れるか?
- 記憶付き可逆論理素子の能力の階層構造について (アルゴリズムと計算理論の新展開)
- Reversible multi-head finite automata and space-bounded Turing machines (New Trends in Theoretical Computer Science)