[Termtools] Examples contextsensitive

[joerg at endrullis.de]

Hi Simon,

could you please import these 17 contextsensitive examples into the TPDB:
  http://infinity.few.vu.nl/productivity/contextSensitive.zip

Using the web-interface there is no possibility for comment annotations
and I do not understand the format for uploading contextsensitive examples.
There is a field:
  "The list of variables separated by spaces, without parentheses."
Usually the annotations are the mu-replacement maps in form of
  (symbol argNr1 .. argNr2)+
that is, symbols with arguments where rewriting is allowed.

For the furture, I think it would be good if there would be an
option for uploading the examples in the competition format,
and uploading of zip files containing multiple examples.
I think Aprove has a good parser (in Java) which is able to
parse all formats allowed by the TPDB specification, and
I guess they would support the web-interface by providing the
source code of the parser if needed.

Thanks for all the work you have done so far.
Hope we will have a good competition...

Kind regards,
Joerg

Salvador Lucas wrote:
> Dear Joerg,
>
> joerg at endrullis.de escribió:
>> arising from the translation of outermost rewriting to context sensitive
>> rewriting I have a collection of 17 contextsensitive TRSs. They should
>> be
>> attached, in case attachments work on this mailing list. In case
>> attachments do not work, you can download the examples from:
>>   http://infinity.few.vu.nl/productivity/contextSensitive.zip
>>
>> I am not sure whether or not to include this examples in the current
>> competition and want to put this question to the participants of the
>> context sensitive rewriting category.
>
> I find interesting to have such new examples, indeed. Thanks for
> sending them!
>
> Best regards,
>
> Salvador.
>