ある制限を加えた同期型交代マルチヘッド有限オートマトン
スポンサーリンク
概要
- 論文の詳細を見る
Hromkovic(1992)らは1方向同期型交代マルチヘッド有限オートマトン(1方向SAMHFA)と2方向SAMHFAは受理能力が等しいことを証明した.本論文ではまず,SAMHFAの並列に走るプロセッサの個数を定数個に限定した場合,これとは異なった状況が生じ,2方向のものは1方向のものよりも受理能力が高くなることを示す.このほか,SAMHFAのヘッドの個数とプロセッサの個数に基づく階層性についても述べる.次に,1方向同期型交代シンプルマルチヘッド有限オートマトン(1方向SASPMHFA)の受理能力は2方向SAMHFAと等価であることを示す.これは先のHromkovic(1992)らの結果を強めたものになっている.更に全称状態のみをもつSAMHFAとSASPMHFA(SUMHFA,SSPMHFAと略記)について1方向SUMHFAは1方向SUSPMHFAよりも真に受理能力が高いことも示す.また,ともにプロセス数を限定したSAMHFAとSASPMHFAについて,これらは通常の交代性のものよりも真に受理能力が強いことも示す.
- 社団法人電子情報通信学会の論文
- 1994-04-25
著者
関連論文
- パーソナルコンピュータ PET 2001-8 への高速カセットテープレコーダ MT-2 のインターフェース
- Java RMI による Genomic Object Net の分散オブジェクト化(バイオエンジニアリングI)
- リバウンドチューリング機械に関するある性質
- 確率リバウンドチューリング機械
- 確立リバウンドチューリング機械
- 交代リバウンドチューリング機械のリーフサイズ階層性
- 交代リバウンドチューリング機械
- 確率リバウンドオートマタについて
- 2次元確率有限オートマタに関して
- 2方向決定性1カウンタオートマタと対数以下の空間における1ペブル決定性チューリング機械の関係について
- WSI(ウェーハスケール集積)におけるフォールトトレランス(新しい知能化へ向けたLSIシステム技術)
- メッシュ配列並列計算機の耐故障化のための再構成に関する1考察 : 危険なプロセッサ数の最小化
- 単一トラック切換網を持つメッシュ結合アレーのニューラルネット解法による再構成
- ひとづくりのための県域情報流通基盤 : 自治体の情報スーパーハイウェイ構想
- 低い空間複雑度を持つ交代型マルチカウンタオートマタの閉包性
- 対数以下の空間量をもつ交代プッシュダウンオートマタについて
- NOAA衛星画像との比較による気象衛星「風雲」赤外APT画像の温度変換
- 静止気象衛星GMS,WEFAX受信パラボラアンテナ用一次放射器
- 気象衛星メテオール画像の歪補正
- 気象衛星NOAA-APT受信空中線
- 気象衛星メテオ-ル画像の歪補正
- 気象衛星ノアAPT画像の球面幾何歪補正
- 無線印刷電信気象通報解読の研究 : 高層気象現況図作図プログラムの開発
- ドント方式の計算について(研究速報)
- 1触手を持つコミュニケーティングPシステムについて(セッション1)
- 全称状態のみを持つ対数以下空間限定1ペブル交代性チューリング機械
- 回転入力を持つ3方向2次元交代性有限オートマタ
- 回転入力を持つ3方向2次元決定性有限オートマタ
- 議席配分法に対する線形時間アルゴリズム (計算機科学基礎理論の新展開)
- D-1-6 基数ソートに基づく選択アルゴリズム(D-1. コンピュテーション)
- パス限定1方向マルチヘッド有限オートマタ
- ジャンケンの計算量(計算量理論)
- 次元確率チューリング機械の空間量下界
- ジャンケンの計算量 (計算理論とアルゴリズムの新展開)
- On the Power of Cooperating Systems of One-way Hybrid Finite Automata (New Developments of Theory of Computation and Algorithms)
- 自己検証非決定性ならびにラスベガスマルチヘッド有限オートマタ
- 2次元スタッキングルーラーオートマトン (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- 空間限定2次元交代チューリング機械の閉包性
- 空間限定2次元確率チューリング機械によって認識される集合族の閉包性
- コオペレーティング1方向カウンタ機械システム
- Optimal Simulation of Two-Dimensional Alternating Finite Automata by Three-Way Nondeterministic Turing Machines
- Some Hierarchy Results of Alternating Automata with Counters and Stack-Counters
- A Hierarchy Result of Cooperating Systems of Two-Way Counter Machines
- ある制限を加えた同期型交代マルチヘッド有限オートマトン
- 再構成によるトリー状結合高並列計算機の高信頼化とその信頼性解析
- メッシュ配列並列計算機の耐故障化のための再構成に関する1考察 : 危険なプロセッサ数の最小化
- 単一トラック切換網を持つメッシュ結合アレーのニューラルネット解法による再構成
- マーカをもつマルチヘッド有限オートマタ
- 実時間1方向オールタネイティングマルチスタックカウンタオートマタの階層性
- A note on one-way multicounter machines and cooperating systems of one-way finite automata
- ピラミッドアーキテクチャによる 4 分木データ構造表現の並列図形処理
- 1方向マルチプロセッサ有限オートマタのある性質
- コオペレーティング1方向有限オートマタシステムのある性質
- 格子状結合高並列計算機の高信頼化の一構成とその信頼性解析
- コオペレーティング1方向カウンタ機械システム(理論計算機科学とその周辺)
- A Relationship between nondeterministic Turing machines and 1-inkdot Turing machines with small space
- 3次元2値画像処理のための並列計算機
- 対数以下の空間量を持つ交代プッシュダウンオートマタに関するいくつかの考察
- 対数以下の空間量を持つ2方向(1-インクドット)オルタネーティングプッシュダウンオートマタの交代性
- Multi-Inkdot Alternating Multi-Counter Automate with Sublinear Space and Constant Leaf-Size
- CSMA方式に基づく無線LANの構成方法
- 空間限定2次元交代チューリング機械の閉包性
- 特集「サイバーコミュニケーション環境を実現するネットワークサービス」の編集にあたって
- Alternation for Two-Way(Inkdot) Multi-Counter Automata with Sublinear Space
- 低い空間複雑度をもつオールタネイティングマルチカウンタオートマタに関するある性質
- 同期型交代動作を行うカウンタ機械と有限オートマトン
- 一方向マルチプロセッサ有限オートマタのある性質(アルゴリズムと計算量の理論)
- 2次元オルタネーティング o(log log m) 領域計算量クラスの補集合に関する非閉包性(計算量理論とアルゴリズム論文小特集)
- Alternating Automata Characterizations of One-Way Iterative Arrays (Algorithms and Theory of Computing)
- A Note on Two-dimensional Probabilistic Turing Machines (Algorithms and Theory of Computing)
- 1方向シンプルマルチヘッド有限オートマタの検知機能について
- 4分木の線形時間正規化
- ユニバーサル状態のみを持つ3次元オルタネーティングチューリング機械
- 消費税に対する「分割買い」について(アルゴリズムと計算量の理論)
- 多値論理関数を実現するセル配列の故障検査(多値論理及びその応用(4))
- M-AND, M-OR, NOT演算を用いた多値論理関数の簡単化に関する一考察(多値論理及びその応用(4))
- 2次元マーカオートマトンのある性質 : 3方向チューリング機械による模倣(計算アルゴリズムと計算量の基礎理論)
- マイコンによる音声認識システムと中国語の認識
- A Note on Three-Way Two-Dimensional Alternating Turing Machines
- 2次元交代チューリング機械、交代プッシュダウンオートマタおよび交代カウンターオートマタの空間階層性について
- 二方向検知型2ヘッドと3ヘッドの関係について
- Two-dimensional Alternating Simple Multihead Finite Automata : Hierarchical Properties
- 3次元オルタネーティングチューリング機械の葉数に基づく階層性
- 3次元マルチインクドットオートマトンの基本的な性質
- ルーラーの本数に基づく2次元ルーラーオートマトンの階層性
- 2次元ルーラーオートマトン
- PR4分木の正確な空間計算量について
- シンプル・マルチヘッド・プッシュダウンオートマタについて
- 回転入カをもつ2次元オートマタ : 和形と積形の関係 (数理情報科学の基礎理論と応用)
- 準3方向と3方向のシンプルマルチヘッド有限オートマタの関係 (情報科学の数学的基礎理論と応用)
- 生命パスウェイの脆弱部位推定の一考察
- Cell Illustratorにおける視覚化支援ツールの開発と検討
- SOMによる蛋白質情報を用いた癌細胞の分類手法
- 2次元オルタネイティングo(loglog m)領域計算量クラスの補集合に関する非閉包性(アルゴリズムと計算量理論)
- On the Power of Two-Dimensional Synchronized Alternating Finite Automata
- A Space Hierarchy Result of Two-Dimensional Alternating Turing Machines with Only Universal States(Mathematical Theories on Computing Schemes and Their Applications)
- 3次元有限オートマトンと3次元層を持った時間限定ボトムアップピラミッドセルラアクセプタの受理能力の関係
- PS-018-6 ヒト大腸癌細胞株に対する5アミノレブリン酸を用いた光線力学的療法の有効性の検討(PS-018 大腸 腹膜播種,ポスターセッション,第112回日本外科学会定期学術集会)
- A Note on Decision Problems for Three-Way Two-Dimensional Finite Automata (情報科学の数学的基礎理論と応用)
- A Note on Algorithms for Tower of Hanoi (計算機科学の数学的基礎)