From: Hans Aberg (haberg@math.su.se)
Date: Sun Oct 14 2007 - 14:59:47 CDT
On 14 Oct 2007, at 20:31, Philippe Verdy wrote:
>> I think that the language set operations amiss might be added
>> (intersection and complement) might be added, which can be reduced to
>> ordinary REs. If there are other operators to be defined, they need
>> to be described clearly in a theoretical manner, so one is not left
>> guessing from a few examples.
>
> I have given a theoretical base for that, you did not understand it.
There was not in the link at he start of this thread, so it must be
elsewhere. Mark Davis said it was not in the original UTS #18. So it
must be somewhere else.
There is original RE theory, what languages they create. On top of
that, one think of extensions. And different ways to match they
languages they create, or even wholly new methods. And then different
implementation methods to achieve that.
In the description you gave me here, all that is thrown together in a
big jumble. I want it to be presented as clear, separate parts,
preferably in some document one can read.
Hans Åberg
This archive was generated by hypermail 2.1.5 : Sun Oct 14 2007 - 15:01:36 CDT