外山 芳人


消去法による項書換え系の停止性判定について
中村 正樹 草刈 圭一朗 外山 芳人 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/10/25
Vol. J82-D1  No. 10  pp. 1225-1231
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
項書換え系停止性変換消去法依存対
 あらまし | 本文:PDF(294.2KB)

条件付き項書換え系の合流性について
高橋 宜孝 酒井 正彦 外山 芳人 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/11/25
Vol. J79-D1  No. 11  pp. 897-902
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
条件付き項書換え系合流性危険対不能性
 あらまし | 本文:PDF(353.2KB)

単純右線形項書換えシステムの合流性について
太田 義勝 大山口 通夫 外山 芳人 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/03/25
Vol. J78-D1  No. 3  pp. 263-268
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
項書換えシステム合流性チャーチロッサ性非E重なり単純右線形TRS
 あらまし | 本文:PDF(411.5KB)

項書き換えシステムの可換性について
外山 芳人 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/12/25
Vol. J66-D  No. 12  pp. 1370-1375
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(440.6KB)

非定常ランダム外界における学習オートマトン
外山 芳人 木村 正行 
誌名:   電子情報通信学会論文誌 D
発行日: 1977/12/25
Vol. J60-D  No. 12  pp. 1085-1092
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(572.9KB)