構成子項書換え系の逆計算プログラムの生成  [in Japanese] Generation of Inverse Computation Programs for Constructor Term Rewriting Systems  [in Japanese]

Access this Article

Abstract

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

Journal

  • 電子情報通信学会論文誌D1

    電子情報通信学会論文誌D1 J88(8), 1171-1183, 2005-08

    電子情報通信学会

Codes

  • NII Article ID (NAID)
    120000976020
  • Text Lang
    JPN
  • Article Type
    journal article
  • ISSN
    1880-4535
  • Data Source
    IR 
Page Top