キーワード : 決定性プッシュダウン変換器


実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定
清野 和司 富田 悦次 若月 光夫 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/05/01
Vol. J91-D  No. 5 ; pp. 1188-1201
論文種別:  論文
専門分野: オートマトン・言語理論
キーワード: 
実時間空スタック受理式決定性プッシュダウンオートマトン決定性プッシュダウン変換器等価性判定多項式時間
 あらまし | 本文:PDF(389.9KB)

ε-推移を許したある決定性プッシュダウン変換器対の等価性判定
清野 和司 富田 悦次 若月 光夫 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/10/01
Vol. J90-D  No. 10 ; pp. 2675-2690
論文種別:  論文
専門分野: オートマトン・言語理論
キーワード: 
決定性プッシュダウンオートマトン決定性プッシュダウン変換器等価性判定問題
 あらまし | 本文:PDF(348.5KB)