[Termtools] Zantema/z090

[Johannes Waldmann]

> http://colo6-c703.uibk.ac.at/ttt2/selflabeling/transformation.pdf

Thanks.

Your paper is still lacking the "Introduction/Motivation" section :-)

which I reconstruct as:

in a classical DP problem, you have two sets of rules:

* DP rules:  top and strict
* original rules:  non-top and non-strict.

now self-labelling might introduce a third class:

* top and non-strict  (one original rule applied right below the top)

you want to avoid that and introduce a "below top" symbol. right?

I think Jörg has something to say on this (at WST07), namely:
allow all four types of rules: (non) top, (non) strict.

Still, I wonder if your transformation has a different effect
than "first self-label, then DP" (as in jambox).
Which, of course, is not modular
(cannot be applied after SCC decomposition).

Best regards, Johannes.