非決定性シンプルマルチヘッドオ-トマタに関するある性質
スポンサーリンク
概要
著者
関連論文
- パーソナルコンピュータ PET 2001-8 への高速カセットテープレコーダ MT-2 のインターフェース
- メッシュ配列並列計算機の耐故障化のための再構成に関する1考察 : 危険なプロセッサ数の最小化
- 単一トラック切換網を持つメッシュ結合アレーのニューラルネット解法による再構成
- Undecidable Extensions of Monadic First-Order Successor Arithmetic (情報科学の数学的基礎理論と応用)
- NOAA衛星画像との比較による気象衛星「風雲」赤外APT画像の温度変換
- 静止気象衛星GMS,WEFAX受信パラボラアンテナ用一次放射器
- 気象衛星メテオール画像の歪補正
- 気象衛星NOAA-APT受信空中線
- 気象衛星メテオ-ル画像の歪補正
- 気象衛星ノアAPT画像の球面幾何歪補正
- 無線印刷電信気象通報解読の研究 : 高層気象現況図作図プログラムの開発
- コオペレーティング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値画像処理のための並列計算機
- グラフの3-辺連結化について(計算アルゴリズムと計算量の基礎理論)
- Some Properties of Bottom-Up Cellular Pyramids (情報科学の数学的基礎理論と応用)
- グラフの辺付加問題による耐故障ネットワ-クの構成
- 耐故障ネットワークと辺付加問題(計算アルゴリズムと計算量の基礎理論)
- 固定ルーティングネットワークにおける無故障な経由ルート数の評価
- 辺の付加によるグラフの拡大構成問題(グラフ理論とその応用)
- 辺付加によるグラフの拡大構成問題(計算機科学の基礎理論)
- 3-連結グラフの連結点被覆問題 (形式言語理論とオートマトン理論)
- 辺短絡除去問題のNP-困難性について(技術談話室)
- 辺開放除去問題のNP-困難性について
- 平面グラフの点除去による2端子直並列グラフの構成問題(技術談話室)
- 辺の短絡除去による平面グラフ化問題について
- 辺の短絡除去による平面グラフ化問題--最大節点次数がたかだか3の場合(技術談話室)
- 辺の短絡除去による2端子直並列グラフの構成問題(技術談話室)
- 辺の開放除去による2端子直並列グラフの構成問題(技術談話室)
- A Graph Medial Axis Transform
- ラフ集合--その理論と応用-2-ラフ集合と論理・推論
- ラフ集合--その理論と応用-1-ラフ集合--その基本概念と知識情報
- On Confluent PCE grammars
- アレイ文法 : その理論と応用
- グラフ・グラマとその生成機能 (生成発展系--アルゴリズムとグラマ)
- Graph grammars with path controlled embedding
- 働き者の海狸の話 (不可能)
- Map OL systems with markers(Algorithms : Mathematical Foundations and Applications)
- On a chain-like connectivity of three-dimensional digital pictures(Algorithms : Mathematical Foundations and Applications)
- Some system for map generation(Mathematical Foundations of Computer Science and Their Applications)
- 細胞分裂--そのオ-トマトン論モデル (オ-トマトン構造)
- ディジタル幾何学における図形とそのComputational Complexityについて(計算機構に関する数学的基礎理論とその応用)
- シンプル・マルチヘッドオートマタに関する2,3の性質 (計算機構の数学的研究)
- 2次元オンラインテセレ-ションアクセプタ並びにその変種に関するある性質--トポロジカルな性質
- 検知形マルチヘッドオ-トマタに関する二,三の性質(技術談話室)
- 2次元オンラインテセレ-ションアクセプタとその変種の受理能力に関する整理
- 1記号上の2次元オ-トマタに関するある性質--2次元オ-トマタによる関数の認識可能性
- 2次元非決定性有限オ-トマタと直並列アレ-アクセプタに関するある性質
- 直並列アレイアクセプタとニ次元マーカーオートマトンに関するある性質 (オートマトン理論および言語理論の新展開)
- n次元オンラインテセレ-ションアクセプタ
- 書き換えをしない2次元テ-プ上のオ-トマタに関するある性質(技術談話室)
- 決定性2次元有限オ-トマトンに関する二,三の決定問題(技術談話室)
- 2次元オンラインテセレ-ションアクセプタに関するある性質
- 直並列アレイアクセプタと2次元2マ-カ-オ-トマトンのある性質(技術談話室)
- 2次元オンラインテセレ-ションアクセプタと1次元限定セル構造アクセプタの関係
- 1方向直並列アレイアクセプタと2次元1マ-カ-オ-トマトンのある性質(技術談話室)
- Σ-ストラクチュアオ-トマトンに関する二,三のトポロジカルな性質
- 決定性シンプルアトミックストラクチュアオ-トマタに関する二,三の性質(技術談話室)
- 2次元・オンライン・テセレ-ションアクセプタの2,3の性質
- 直並列アレイアクセプタに関するある性質(技術談話室)
- あいまいな識別不可能性の代数構造について
- 不確定な情報の論理的表現について
- イテラティブアクセプタに関するある性質
- 同種シストリックピラミッドオ-トマタに関するある性質
- 消費税に対する「分割買い」について(アルゴリズムと計算量の理論)
- 多値論理関数を実現するセル配列の故障検査(多値論理及びその応用(4))
- M-AND, M-OR, NOT演算を用いた多値論理関数の簡単化に関する一考察(多値論理及びその応用(4))
- 多値論理関数を実現するセル配列の故障検査
- Voronoi diagram 構成のための並列アルゴリズム
- 2次元マーカオートマトンのある性質 : 3方向チューリング機械による模倣(計算アルゴリズムと計算量の基礎理論)
- 2スキャナ1次元限定セル構造アクセプタ
- マイコンによる音声認識システムと中国語の認識
- A Note on Three-Way Two-Dimensional Alternating Turing Machines
- A decidability result of the Logic based on fuzzy rough sets
- On a 3-Valued Logic Connected with Incomplete Information Data Bases (多値論理およびその応用)
- ある無限多値論理とパターンの特微づけについて (多値論理およびその応用 II)
- 単項述語論理のあるクラスに対する決定手続きのComputational Complexityについて
- 2-充足可能性判定問題のある拡張(技術談話室)
- One-Pass Algorithms for Properties of Three-Dimensional Pictures (形式言語理論とオ-トマトン理論)
- On a Relationship between Graph L-Systems and Picture Languages (数理情報科学の基礎理論と応用)
- 拡張された2-充足可能性判定問題について (オートマトン理論および言語理論の新展開)
- 辺の短絡除去あるいは辺の開放除去による直並列グラフの構成問題
- On Forming a Series-Parallel Graph by Removing Nodes of a Planar Graph (Studies on Computational Complexities and Related Topics)
- 非決定性シンプルマルチヘッドオ-トマタに関するある性質
- パス限定2次元マルチパスオンラインテセレ-ションアクセプタ