Re: help making regular expression



On Fri, 16 Mar 2007, Patricia Shanahan wrote:

The insight I think have has nothing to do with making the RE short. It
is not something I would even consider writing by hand. I do think the
symmetry of both the language and the natural DFA for it does give a
structure to the RE.

I do not think so. At least it is not obvious how the symmetry of the DFA
can be exploited for a simple, or structured by any intuitive
understanding, RE. I have once made a RE for the decimal numbers divisible
by 3, and the fine symmetry of the 3-state automaton is totally blurred in
the RE. If someone is interested (it is in German but you can at least
look at the pictures and the result):
http://www.lrz-muenchen.de/services/schulung/unterlagen/regul/regul-14.html#publish4.3.2.0.0.0

--
Helmut Richter
.



Relevant Pages

  • Re: help making regular expression
    ... symmetry of both the language and the natural DFA for it does give a ... At least it is not obvious how the symmetry of the DFA can be exploited for a simple, or structured by any intuitive understanding, RE. ... commonly used representation of languages, ...
    (comp.theory)
  • Re: The shocking truth about the naturals
    ... to "prove in classical finitary 1st-order logic" creates asymmetry ... I had hoped to appear to be saying the opposite. ... theorem impacts on interpreting the upward theorem in a way that has no converse ... I am trying the definition of a 1st-order language. ...
    (sci.logic)
  • Re: Favorite Christmas TV show/Movie?
    ... >> works of art in terms of their symmetry and significance. ... Laugh Track/Repeat that passes for writing just about everywhere else... ... Prev by Date: ...
    (rec.arts.movies.current-films)
  • Re: Languages in Europe - Who understands what ?
    ... Neeraj Mathur wrote: ... I understand the grammar clearly. ... there is a lack of symmetry. ... In language, symmetry isn't important; ...
    (sci.lang)
  • Re: Languages in Europe - Who understands what ?
    ... we already know the symmetry doesn't rule ... (the language, universe, everything), ... PJK ...
    (sci.lang)