実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用--RIMS研究集会報告集)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 清野 和司

  電気通信大学大学院電気通信学研究科情報通信工学専攻:東芝ソリューション株式会社プラットフォームソリューション事業部府中エンジニアリングセンター

関連論文

• 実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定(オートマトン・言語理論)
• 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム
• ε-推移を許したある決定性プッシュダウン変換器対の等価性判定(オートマトン・言語理論)
• ε-推移を許したある決定性プッシュダウン変換機器対の等価性判定アルゴリズム(セッション4)
• The Extended Equivalence Problem for a Class WSP of Non-Real-Time DPDA's : The Detailed Proofs
• The Extended Equivalence Problem for a Class WSP of Non-Real-Time DPDA′s--The Detailed Proofs
• ある非実時間決定性プッシュダウン変換器対の等価性判定(技術談話室)
• 分岐アルゴリズムによるDPDAの拡張等価性判定の一結果(技術談話室)
• 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用)
• 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用--RIMS研究集会報告集)

スポンサーリンク