From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: ada is getting spanked :(
Date: Tue, 31 Oct 2006 15:14:09 +0100
Date: 2006-10-31T15:14:09+01:00 [thread overview]
Message-ID: <1kxtllqfmnhc7$.180p2vsderp9v.dlg@40tude.net> (raw)
In-Reply-To: 1162300360.13329.6.camel@localhost
On Tue, 31 Oct 2006 14:12:41 +0100, Georg Bauhaus wrote:
> On Tue, 2006-10-31 at 12:32 +0100, Dmitry A. Kazakov wrote:
>
>> Actually RE is not a notation, it is a formal language. SNOBOL patterns
>> represent a different wider class of languages. For example SNOBOL can
>> matching balanced strings like (a(b))(c). Technically, a highly optimized
>> implementation of RE should beat SNOBOL.
>
> Why? Boyer-Moore and similar algorithms may well be part
> of any string scanning machine, no matter what languages
> it can recognize. By the AS-IF rule, as long as RE semantics
> are followed, I don't see a reason why optimized RE
> scanning should be faster than optimized CF scanning.
Yes, if you (the compiler) *can* understand semantics.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2006-10-31 14:14 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-10-28 16:29 ada is getting spanked :( cl1
2006-10-28 17:45 ` Martin Krischik
2006-10-28 20:02 ` Georg Bauhaus
2006-10-29 1:34 ` Georg Bauhaus
2006-10-29 2:13 ` Jeffrey R. Carter
2006-10-29 4:48 ` Isaac Gouy
2006-10-30 1:01 ` Isaac Gouy
2006-10-29 2:26 ` Jeffrey R. Carter
2006-10-29 2:30 ` Jeffrey R. Carter
2006-10-29 2:33 ` Jeffrey R. Carter
2006-10-29 17:19 ` Jeffrey R. Carter
2006-10-29 17:25 ` Jeffrey R. Carter
2006-10-29 8:54 ` Martin Krischik
2006-10-29 13:01 ` Georg Bauhaus
2006-10-30 0:46 ` Isaac Gouy
2006-10-29 16:27 ` Björn Persson
2006-10-29 20:23 ` Georg Bauhaus
2006-10-29 23:50 ` Björn Persson
2006-10-31 11:32 ` Dmitry A. Kazakov
2006-10-31 13:12 ` Georg Bauhaus
2006-10-31 14:14 ` Dmitry A. Kazakov [this message]
2006-10-31 18:01 ` Martin Krischik
2006-10-29 4:58 ` Isaac Gouy
2006-10-29 8:46 ` Martin Krischik
2006-10-30 0:17 ` Isaac Gouy
2006-10-30 18:26 ` jtg
2006-10-30 21:50 ` george
2006-10-31 4:57 ` Jeffrey R. Carter
2006-10-31 6:28 ` Gautier
2006-10-31 6:47 ` Martin Krischik
2006-11-02 18:21 ` Jeffrey R. Carter
2006-11-02 19:37 ` Gautier
2006-11-03 5:11 ` Jeffrey R. Carter
2006-11-03 12:06 ` Martin Krischik
2006-11-03 19:59 ` Jeffrey R. Carter
2006-11-12 22:26 ` Shootout / pidigits [Re: ada is getting spanked :(] Gautier
2006-10-28 22:45 ` ada is getting spanked :( Larry Kilgallen
2006-10-29 16:22 ` Leif Holmgren
2006-10-29 17:28 ` Simon Wright
2006-10-29 19:21 ` jtg
2006-10-29 21:33 ` Leif Holmgren
2006-10-31 11:04 ` Harald Korneliussen
2006-11-01 11:28 ` jtg
2006-11-01 14:31 ` Harald Korneliussen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox