清野 和司


実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定
清野 和司 富田 悦次 若月 光夫 
誌名:   電子情報通信学会論文誌 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)

分岐アルゴリズムによるDPDAの拡張等価性判定の一結果
清野 和司 富田 悦次 鈴木 貴史 
誌名:   電子情報通信学会論文誌 D
発行日: 1985/12/25
Vol. J68-D  No. 12  pp. 2157-2158
論文種別:  技術談話室
専門分野: 
キーワード: 
 あらまし | 本文:PDF(265.7KB)

ある非実時間決定性プッシュダウン変換器対の等価性判定
清野 和司 富田 悦次 
誌名:   電子情報通信学会論文誌 D
発行日: 1985/10/25
Vol. J68-D  No. 10  pp. 1785-1788
論文種別:  技術談話室
専門分野: 
キーワード: 
 あらまし | 本文:PDF(442.9KB)