Given a set of regexps and given a wanted logical concatenation (lets start with AND,OR) of these regexps, is there any mechanism to create a smaller, more eficient set of regexps that will have the same effect?

Very unlikely given the power of Perl regular expressions. One of the questions that you would need to answer is whether two grammars (I use grammar here instead of regular expression to avoid confusion later on) are equivalent; that is, whether the will match the same language (where a language is the set of all strings matched by a grammar). For regular expressions (not Perl regular expressions, but for traditional ones) this question is decidable. But for more powerful grammars on the Chomsky hierarchy, this question is undecidable.

However, Perl regular expressions are hard to place on the Chomsky hierarchy. Without (?{ }) or (??{ }), Perl regular expressions cannot be used to create all context free grammars (take the language of strings with balanced parenthesis for instance). On the other hand, it can be used to create grammars that are context sensitive on the Chomsky hierarchy. (With (?{ }) it could very well be that Perl regular expressions are at least as powerful as context free grammars, but I don't see an obvious proof.)

My guts say that such a mechanism does not exist, that the problem is unsolvable. If the problem is solvable, it's going to be incredibly hard.

Abigail

In reply to Re: A Regexp Assembler/Compiler by Abigail-II
in thread A Regexp Assembler/Compiler by PetaMem

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post, it's "PerlMonks-approved HTML":


  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Titles consisting of a single word are discouraged, and in most cases are disallowed outright.
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, details, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, summary, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • You may need to use entities for some characters, as follows. (Exception: Within code tags, you can put the characters literally.)
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.