氏名: 豊田 隆司 (089433483)
論文題目: 項集合書換え系におけるナローイングの効率的実現
論文概要
書き換え計算系の中でも応用範囲が広く、しかも性質が良く調べられているものの一つに項書換え系がある。これは、書換えの対象を項とする書換え系であり、関数型言語、等式に基づく言語と深く関わっている。等式集合を、合流性、停止性を持つ項書換え系に近付けていく手続きにKnuth-Bendixの完備化手続きがある。この手続きは失敗する場合があるが、そのような場合にも書換えを行なうことのできるTSRSが提案されている。これは書換えの対象を項の集合に拡張したものである。そこで、単純な項集合書換え系を、項書換え系を拡張する形で実装する。さらに、等式論理の検証を行なうナローイングをその上で実現し、動作を調べる。
目次に戻る