キーワード : 非E重なり


非線形TRSのE重なり性について
松浦 邦博 大山口 通夫 太田 義勝 小川 瑞史 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/11/25
Vol. J80-D1  No. 11 ; pp. 847-855
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
項書換えシステム深さ保存非E重なり非ω重なり右定項TRS
 あらまし | 本文:PDF(604.1KB)

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