構成子項書換え系の逆計算プログラムの生成

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

誌名
電子情報通信学会論文誌 D   Vol.J88-D1   No.8   pp.1171-1183
発行日: 2005/08/01
Online ISSN: 
DOI: 
Print ISSN: 0915-1915
論文種別: 論文
専門分野: 計算論,計算モデル
キーワード: 
条件付きTRS,  ナローイング,  逆計算,  プログラム変換,  余剰変数,  

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




あらまし: 
本論文では,与えられたプログラムが定義する関数の逆演算を定義するプログラムの生成法を与えることにより,項書換え系(TRS)の逆計算に取り組む.本生成法では,与えられた構成子TRSが定義する関数の逆演算を定義する条件付きTRSを生成し,それを条件部をもたないEV-TRS(書換え規則に右辺のみに現れる変数を許したTRS)に変換する.本手法により生成したEV-TRSの書換えをナローイングにより模倣することで逆計算が行えることを示す.