From: Anton Berezin <tobez@plab.ku.dk>
Newsgroups: fido7.ru.cgi.perl
Subject: Re: html
Date: 22 Jul 1999 19:16:41 +0400
Message-ID: <19990722171250.A12547@lion.plab.ku.dk>
References: <2161677598@belcaf.minsk.by> <19990720160226.A62610@lion.plab.ku.dk> <871123795@belcaf.minsk.by>
In-Reply-To: <871123795@belcaf.minsk.by>; from Denis Margolin on Wed, Jul 21, 1999 at 01:52:47PM +0400

On Wed, Jul 21, 1999 at 01:52:47PM +0400, Denis Margolin wrote:

> > Hачиная с 5.005 - уже можно.  :-)  Совpеменные Perl regexes - это
> > уже даже немножко больше, чем паpсеp контекстно-свободных языков.
> > Можно одним regexом написать паpсеp Си, напpимеp (только никто этого
> > ещё не сделал - слишком сложный regex получается :-)...
> Может я чайник? Пойду man читать...  Hасколько мне помнится,
> классическаю теоpия pегэкспов (математическая) не пpедусматpивает
> никакой обpаботки вложенных стpуктуp. Лаppи Волл pазpаботал новую
> теоpию???

При чём тут теория?  ``Немножко больше, чем парсер контекстно-свободных
языков'' - я это не зря написал. Очевидно, что классические регулярные
выражения могут парсить только лишь регулярные же языки.  Просто
регулярные выражения в Perl не ограничиваются реализацией математических
регулярных выражений, а идут несколько дальше.

Вот, например, проверяет (в одной строке, и без какого-либо квотинга)
сбалансированность скобок (tested on 5.005_03):

#! /usr/bin/perl -w

sub match_parens
{
   $_ = shift;
   if ( m%^
          (?{ $cnt = 0; })
          (?:
             \(   (?{ local $cnt = $cnt + 1 })
            |\)   (?(?{ $cnt <= 0 })(?!)) (?{ local $cnt = $cnt - 1 })
            |[^()]
          )*
          (?(?{ $cnt != 0 })(?!)) $%x) 
   {
      print "Good: '$_'\n"; 
   } else {
      print "Bad : '$_'\n"; 
   }
}

match_parens "";
match_parens ")";
match_parens "(";
match_parens "(((((())))))";
match_parens "sqrt((x2-x1)*(x2-x1)+(y2-y1)*(y2-y1)) is a distance";
match_parens "((()())  (() ))  ()";
match_parens "((()())  ((X ))  ()";
__END__

А если сейчас начнутся крики, что, мол, не честно это - так я ж разве
спорю...  :-)   Можно, в одном регексе - вот что важно.

Cheers,
-- 
Anton Berezin <tobez@plab.ku.dk>
The Protein Laboratory, University of Copenhagen