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

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

誌名
電子情報通信学会論文誌 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は完備化手続きなどを拡張する手法として有効である．