項集合書換え系とその合流性

粕谷 英人  酒井 正彦  山本 晋一郎  阿草 清滋  

誌名
電子情報通信学会論文誌 D   Vol.J80-D1       pp.325-334
発行日: 1997/04/25
Online ISSN: 
DOI: 
Print ISSN: 0915-1915
論文種別: 専門分野: オートマン,言語理論,計算論
キーワード: 
項書換え系,  合流性,  停止性,  完備化,  

本文: PDF(582.9KB)>>
論文を購入



あらまし: 
本論文では項書換え系(TRS)の書換え規則の両辺を項の集合に拡張した項集合書換え系(TSRS)を提案する.また単純TSRSを定義し,等式論理との関係を議論する.更に,停止性,線形な系における合流性を考察する.交換則などの一般には停止性をもたない場合にも,ある条件を満たせばTSRSは停止性をもつ.従ってTSRSは完備化手続きなどを拡張する手法として有効である.