キーワード : 等価性判定問題


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

単純決定性プッシュダウンオートマトンの等価性を決定する最短入力記号列長の上界
若月 光夫 富田 悦次 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/10/25
Vol. J75-D1  No. 10 ; pp. 950-953
論文種別:  レター
専門分野: 
キーワード: 
決定性プッシュダウンオートマトン単純決定性プッシュダウンオートマトン単純決定性文法等価性判定問題言語理論
 あらまし | 本文:PDF(305.9KB)