縮退していない2状態3記号可逆論理素子はすべて万能である
スポンサーリンク
概要
- 論文の詳細を見る
可逆コンピューティングにおける最も単純な基本論理素子は何かという一連の研究の中で,縮退していない2状態3記号可逆論理素子がすべて万能であることを証明した.従来,メモリーを持つ可逆論理素子の中では「ロータリー素子」と呼ばれる2状態4記号素子が論理万能性を有することが知られていた.本論文では,論理万能な可逆論理素子の入出力記号数が4から3に減らせるだけでなく,縮退しているものを除き「すべての」2状態3記号可逆論理素子が論理万能であることを示した.2状態3記号可逆論理素子を分類すると,本質的に異なる素子は全部で24種類あり,その内10種類は2状態2記号可逆論理素子あるいは単純な結線に等価であることが知られている.残りの14種類が縮退していない,つまり真の2状態3記号可逆論理素子である.これらの各々について,既に論理万能であることが知られているFredkinゲートを実現する回路を構成できることを示した.
- 社団法人電子情報通信学会の論文
- 2004-09-10
著者
-
森田 憲一
広島大学工学研究科
-
森田 憲一
広島大学大学院工学研究科
-
荻路 剛
広島大学大学院工学研究科
-
菅野 充臣
広島大学大学院工学研究科
-
田中 敬二
広島大学大学院工学研究科
-
加藤 博子
広島大学大学院工学研究科
関連論文
- 非決定性チューリング機械の厳密な領域階層定理 (画像符号化・映像メディア処理レター特集)
- 万能可逆チューリング機械の一構成法 (計算機科学基礎理論とその応用)
- A note on tatami tilings (アルゴリズムと計算機科学の数理的基盤とその応用--RIMS研究集会報告集)
- 非決定性チューリング機械の厳密な領域階層定理(情報・システム基礎)
- 4状態可逆チューリング機械の構成法 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- 単純な非同期論理素子による同期可逆セルオートマトンの構成法(オートマトン・言語理論)
- 同期可逆セルオートマトンを実現できる非同期セル空間
- 単純な非同期論理素子による同期可逆セルオートマトンの構成法
- 非同期セル空間における順序機械構成
- 自己参照メカニズムに基づく自己増殖セルオートマトンのシミュレーション(ディジタルデータ付き論文特集)
- 計算万能な81状態保存的可逆セルオートマトン(ディジタルデータ付き論文特集)
- 交代性計算によるセルオートマトンの加速
- 1次元可逆セル・オートマトンにおける線形加速
- 可逆的・保存的2次元セル空間への単純なコンピュータの埋め込み
- 6角形状可逆セル・オートマトンの万能性
- 1次元Number-Conserving可逆セル・オートマトンの計算万能性
- 32状態可逆セルオートマトン上での論理回路合成
- 計算万能な2次元8状態3角形状可逆セル・オートマトン
- 計算万能性を有する単純な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次元8状態3角形状可逆セル・オートマン(計算理論とその応用)
- 1次元可逆セル・オートマトンにおける一斉射撃問題の高速解(アルゴリズムと計算量理論)
- 1次元可逆セル・オートマトンにおける一斉射撃問題について(計算量理論)
- 1次元可逆セル・オートマトンにおける一斉射撃問題について
- 1次元可逆セル・オートマトンにおける一斉射撃問題について
- 決定性プッシュダウン・オートマトンおよび有限オートマトンと等価な一意解析可能文法(UPG)のサブクラス
- 可逆コンピューティング : ビリヤードボールでコンピュータが作れるか?
- 記憶付き可逆論理素子の能力の階層構造について (アルゴリズムと計算理論の新展開)
- Reversible multi-head finite automata and space-bounded Turing machines (New Trends in Theoretical Computer Science)