1次元Number-Conserving可逆セル・オートマトンの計算万能性
スポンサーリンク
概要
- 論文の詳細を見る
近年、自然界の法則を直接的に反映した計算モデルが種々提案されているが、本研究では、物理的な可逆性と保存性に対応する性質を持つnumber-conserving reversible partitioned cellular automaton(NC-RPCA)を提案し、その計算能力を研究した。これは各セルの状態が非負整数の3つ組で表される1次元セル・オートマトンで、状態遷移関数が単射(可逆的)であり、かつ非負整数の総計が時間とともに変化しない(保存性を満たす)ものである。ここでは、既に計算万能性が示されている可逆2カウンタ機械がNC-RPCAで模倣できることを証明した。
- 1998-09-18
著者
関連論文
- 万能可逆チューリング機械の一構成法 (計算機科学基礎理論とその応用)
- 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)