Re: FYI: Regex paper for UTC

From: Hans Aberg (haberg@math.su.se)
Date: Sun Oct 14 2007 - 14:59:47 CDT

  • Next message: Anto'nio Martins-Tuva'lkin: "Re: Fish"

    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