用語書き換えシステムのこのプロパティの名前はありますか?

ルールの右辺が規則の左辺に含まれていない場合、TRSはそれを最下位還元または左下げるとしましょう。

用語Aは、それらがその根元で重複する場合、他の1つのBに含まれる。 1(y)
1に含まれていますが、 2(y)は 1(2(x))
(2(x)))(私もこの封じ込めに名前があるかどうかわかりません)

例えば。

  • A TRS with a single rule 1(2(x)) -> 2(x) is not
    top-reducible.
  • A TRS with rules 1(2(x)) -> 3(x),
    4(3(5(x,y))) -> 1(5(x,y)) is not
    top-reducible.
ベストアンサー

私は、この特定のプロパティの名前があるかどうかはわかりませんが、「すべての右辺は頭頂の形になっています」と言うでしょう。

正直言って、これは要求するのが非常に奇妙な財産のように思えます。特に、内部の削減が頭の縮小を引き起こすかもしれないので、

$$ { cal R} = {a rightarrow b、f(b) rightarrow f(a)} $$
(伝統的なように、数字の代わりに機能記号の文字を使用しています)。この場合、2番目のルールの右辺である$
f(a)$は頭の中のどのルールとも一致しませんが、$ a rightarrow b
$を内部で適用すると、2番目のルールと一致する可能性があります。

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です