右辺のみに現れる変数を持つ線形構成子項書換え系の計算の効率化

西田 直樹; 酒井 正彦; 坂部 俊樹

doi:10.11309/jssst.21.198

西田直樹, 酒井正彦, 坂部俊樹

著者情報

ジャーナルフリー

2004 年 21 巻 3 号 p. 198-205

DOI https://doi.org/10.11309/jssst.21.198

詳細

抄録

書換え規則に右辺のみに現れる変数(余剰変数)を持つことを許した項書換え系(TRS)を余剰変数付きTRS(EV-TRS)と呼ぶ．本稿では，線形構成子EV-TRSにおいて，最内ナローイングが停止する線形項のナローイングに関するすべての正規形が最内戦略により求められることを示す．これにより，ナローイングによる計算の効率化を図る．

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）