From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: What about a glob standard method in Ada.Command_Line ?
Date: Wed, 25 Aug 2010 15:30:25 +0200
Date: 2010-08-25T15:30:23+02:00 [thread overview]
Message-ID: <v7ds1anf1tn6$.1g19kva383xes.dlg@40tude.net> (raw)
In-Reply-To: 4c7515fc$0$7664$9b4e6d93@newsspool1.arcor-online.net
On Wed, 25 Aug 2010 15:09:16 +0200, Georg Bauhaus wrote:
> On 25.08.10 14:01, Dmitry A. Kazakov wrote:
>> On Wed, 25 Aug 2010 13:09:41 +0200, Georg Bauhaus wrote:
>>
>>> If you now want R* to decide the encoding of:
>>
>> No, I want match this:
>>
>> a*¶
>
> Fine, just do it using String; every component of a String
> is well defined. Code points have nothing to do with Strings.
If code points have nothing to do with String why do you propose to do it
with String? And how is this related to the point anyway?
>> This pattern precisely defines a language L:
>
> It does no such thing absent a definition of *.
You have commented out the definition:
L = aΣ*¶
Or in BNF
L ::= a <star> ¶
<star> ::= <empty> | <code-point> [<star>]
> The important question is what constitues Σ,
http://en.wikipedia.org/wiki/Code_point
> If we use String, used in Directories.Start_Search,
> then everything, including Σ, is well defined in Ada,
> as is.
String as defined by RM 3.5.2 (2/2) does not represent Σ*. It could
represent some encoding of Σ*, which is the point.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2010-08-25 13:30 UTC|newest]
Thread overview: 60+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-21 4:47 What about a glob standard method in Ada.Command_Line ? Yannick Duchêne (Hibou57)
2010-08-21 6:41 ` J-P. Rosen
2010-08-21 7:21 ` Yannick Duchêne (Hibou57)
2010-08-21 9:11 ` Pascal Obry
2010-08-22 19:00 ` J-P. Rosen
2010-08-22 19:29 ` Yannick Duchêne (Hibou57)
2010-08-23 23:06 ` Randy Brukardt
2010-08-24 0:02 ` Yannick Duchêne (Hibou57)
2010-08-24 0:24 ` Adam Beneschan
2010-08-24 10:27 ` Georg Bauhaus
2010-08-24 14:24 ` Dmitry A. Kazakov
2010-08-24 15:42 ` Georg Bauhaus
2010-08-24 16:04 ` Dmitry A. Kazakov
2010-08-24 17:10 ` Georg Bauhaus
2010-08-24 17:24 ` Georg Bauhaus
2010-08-24 18:42 ` Yannick Duchêne (Hibou57)
2010-08-24 18:51 ` Simon Wright
2010-08-24 17:41 ` Dmitry A. Kazakov
2010-08-24 21:32 ` Georg Bauhaus
2010-08-25 7:55 ` Dmitry A. Kazakov
2010-08-25 8:24 ` Yannick Duchêne (Hibou57)
2010-08-25 20:15 ` (see below)
2010-08-25 20:39 ` Yannick Duchêne (Hibou57)
2010-08-25 21:05 ` (see below)
2010-08-25 21:32 ` Yannick Duchêne (Hibou57)
2010-08-25 8:57 ` Georg Bauhaus
2010-08-25 9:28 ` Dmitry A. Kazakov
2010-08-25 11:09 ` Georg Bauhaus
2010-08-25 12:01 ` Dmitry A. Kazakov
2010-08-25 13:09 ` Georg Bauhaus
2010-08-25 13:30 ` Dmitry A. Kazakov [this message]
2010-08-25 14:20 ` Georg Bauhaus
2010-08-25 14:56 ` Dmitry A. Kazakov
2010-08-25 15:51 ` Georg Bauhaus
2010-08-25 16:46 ` Dmitry A. Kazakov
2010-08-25 18:44 ` Georg Bauhaus
2010-08-25 19:39 ` Dmitry A. Kazakov
2010-08-26 0:59 ` Georg Bauhaus
2010-08-26 8:49 ` Dmitry A. Kazakov
2010-09-02 19:25 ` Randy Brukardt
2010-09-02 20:47 ` Dmitry A. Kazakov
2010-09-02 19:08 ` Randy Brukardt
2010-09-02 20:48 ` Georg Bauhaus
2010-08-22 19:30 ` Yannick Duchêne (Hibou57)
2010-08-22 19:46 ` Dmitry A. Kazakov
2010-08-25 13:09 ` anon
2010-08-25 13:13 ` Georg Bauhaus
2010-08-25 13:28 ` J-P. Rosen
2010-08-25 20:29 ` Yannick Duchêne (Hibou57)
2010-08-25 14:14 ` Jeffrey Carter
2010-08-25 21:37 ` anon
2010-08-26 8:21 ` J-P. Rosen
2010-08-26 16:29 ` anon
2010-08-26 20:34 ` Yannick Duchêne (Hibou57)
2010-08-27 4:40 ` Yannick Duchêne (Hibou57)
2010-08-27 12:10 ` J-P. Rosen
2010-09-01 8:08 ` Ada compilers and Ada 2005 (was: What about a glob standard method in Ada.Command_Line ?) Georg Bauhaus
2010-09-01 9:45 ` Ada compilers and Ada 2005 Pascal Obry
2010-09-01 10:28 ` J-P. Rosen
2010-09-02 19:37 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox