遷移規則 (R4) について

[nikosai]

LMNtalの遷移規則 (R4) によれば、

{X=Y, P} --> X=Y, {P} （ただしX,YはPに現れず、XとYは異なる）

なので、例えば {X=Y},a(X,Y) は1ステップで {},a(L,L) へと遷移するはずである。

しかし、現処理系では以下のように通常実行と非決定実行のそれぞれにおいて、上記と食い違った挙動になっている。

通常実行

0: a(L0,L0). {}.
---->
1: a(L0,L0). {}.
a(L0,L0). {}.

1ステップ掛かっているのは正しいが、初期グラフの表示があまり適切に見えない。
ただし、 --dump-json オプションを付けてみると

{"id":1,"name":"","atoms":[{"id":6,"name":"$out","links":[{"attr":0,"data":3},{"attr":0,"data":5}]},{"id":7,"name":"$out","links":[{"attr":0,"data":4},{"attr":1,"data":5}]},{"id":5,"name":"a","links":[{"attr":1,"data":6},{"attr":1,"data":7}]}],"membranes":[{"id":2,"name":"","atoms":[{"id":3,"name":"$in","links":[{"attr":0,"data":6},{"attr":1,"data":4}]},{"id":4,"name":"$in","links":[{"attr":0,"data":7},{"attr":1,"data":3}]}],"membranes":[]}]}
{"id":1,"name":"","atoms":[{"id":5,"name":"a","links":[{"attr":1,"data":5},{"attr":0,"data":5}]}],"membranes":[{"id":2,"name":"","atoms":[],"membranes":[]}]}

となっているので、プロキシアトムは生成されている。

To reproduce

lmntal -e '{X=Y},a(X,Y)' --slimcode | slim -t -

非決定実行

States
1::{a(L0,L0). {}. }

Transitions
init:1
1::

'# of States'(stored)   = 1.
'# of States'(end)      = 1.

そもそも状態数が正しくない（正:2, 誤:1）。かつ(R4)による遷移が状態空間に出現していない。

なお、 --dump-json によればこの唯一の状態にはプロキシアトムが含まれている。

States
1::{"id":8,"name":"","atoms":[{"id":12,"name":"$out","links":[{"attr":0,"data":11},{"attr":0,"data":9}]},{"id":14,"name":"$out","links":[{"attr":0,"data":13},{"attr":1,"data":9}]},{"id":9,"name":"a","links":[{"attr":1,"data":12},{"attr":1,"data":14}]}],"membranes":[{"id":10,"name":"","atoms":[{"id":11,"name":"$in","links":[{"attr":0,"data":12},{"attr":1,"data":13}]},{"id":13,"name":"$in","links":[{"attr":0,"data":14},{"attr":1,"data":11}]}],"membranes":[]}]}

Transitions
init:1
1::

'# of States'(stored)   = 1.
'# of States'(end)      = 1.

To reproduce

lmntal -e '{X=Y},a(X,Y)' --slimcode | slim --nd -t -