The Extended Equivalence Problem for a Class WSP of Non-Real-Time DPDA′s--The Detailed Proofs
スポンサーリンク
概要
著者
-
富田 悦次
Department Of Commucations And Systems Engineering The University Of Electro-communications
-
清野 和司
電気通信大学大学院電気通信学研究科情報通信工学専攻:東芝ソリューション株式会社プラットフォームソリューション事業部府中エンジニアリングセンター
-
富田 悦次
電気通信大学|中央大学研究開発機構
関連論文
- 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定
- 実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定(オートマトン・言語理論)
- 正則言語のある部分クラスに対する正の例からの多項式時間極限同定
- 最大クリーク抽出アルゴリズムの共有メモリ型並列計算機上での並列化
- 極大クリーク全列挙アルゴリズムを用いた企業コミュニティ理解
- 極大クリーク全列挙アルゴリズムを用いた企業コミュニティ理解
- ある種の有限状態変換器に対する多項式時間極限同定
- 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム
- ε-推移を許したある決定性プッシュダウン変換器対の等価性判定(オートマトン・言語理論)