同期可逆セルオートマトンを実現できる非同期セル空間
スポンサーリンク
概要
- 論文の詳細を見る
ロータリー素子と保存的ジョインと呼ばれる非同期論理素子が実現できる単純な2次元2状態非同期セルオートマトンを提案した.著者らは先に、同期的なシステムである1次元可逆分割セルオートマトンをこの2種類の素子だけからなる非同期論理回路によって簡潔に実現する方法を示している.従って、任意の同期可逆分割セルオートマトンをこのセル空間に埋め込むことができる。本論文の非同期セルオートマトンは, 各時間ステップにおいて、像と原像が幾何学的に同じ形をもつ局所写像であるブロック写像をセル空間の一個所だけに適用することによって状相を遷移させる。この枠組みを用いることにより、各セルの状態数が2、遷移規則数が10であるような単純な非同期セルオートマトンを設計し, その空間に、信号とその伝搬機構, 及び, 上記二つの非同期論理素子を実現した.1次元同期可逆分割セルオートマトンは計算万能を有することが知られているので、この非同期セルオートマトンも計算万能となる.
- 2005-10-11
著者
関連論文
- 非決定性チューリング機械の厳密な領域階層定理 (画像符号化・映像メディア処理レター特集)
- 万能可逆チューリング機械の一構成法 (計算機科学基礎理論とその応用)
- 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)