From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5412c98a3943e746
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.201.129 with SMTP id ka1mr9663316pbc.6.1331529138531;
        Sun, 11 Mar 2012 22:12:18 -0700 (PDT)
Path: 
 h9ni16357pbe.0!nntp.google.com!news2.google.com!news4.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Verified compilers?
Date: Mon, 12 Mar 2012 07:12:18 +0200
Organization: Tidorum Ltd
Message-ID: <9s5ethFuibU1@mid.individual.net>
References: <op.v91cleyiule2fv@douda-yannick> <jj3p5v$2tp$1@munin.nbi.dk>
 <9207716.776.1331054644462.JavaMail.geo-discussion-forums@ynaz38>
 <nhzeozam35it$.13mzx8ap4cmdc$.dlg@40tude.net>
 <op.wascesqrule2fv@douda-yannick>
 <4edda5mav3cf$.149pbgyxl1wx5.dlg@40tude.net>
 <9rplcgF5a2U1@mid.individual.net>
 <1psd0g0womgxi.1sle7ol12x3d5.dlg@40tude.net>
 <9rsahhFmr3U1@mid.individual.net> <ezfn0og1qfov.14k34sxoky5ke.dlg@40tude.net>
 <9rvdjvFfa8U1@mid.individual.net> <4pp58h1br5sp$.yylr20e5vzxb.dlg@40tude.net>
 <9s1s7tF6pcU1@mid.individual.net>
 <1oln2mjlozzh5$.1mxrd97lrgndo.dlg@40tude.net>
 <9s4mseFuoaU1@mid.individual.net>
Mime-Version: 1.0
X-Trace: individual.net aXC71SWPkCrM+1HAO32lpgEtKFBiOxtH86LDI3T8Kat+muZro7
Cancel-Lock: sha1:yufJiPXaBPTTfuo/0lu/+xsXfVI=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2
In-Reply-To: <9s4mseFuoaU1@mid.individual.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-03-12T07:12:18+02:00
List-Id: <comp.lang.ada>

A small correction:

On 12-03-12 00:22 , Niklas Holsti wrote:
> On 12-03-11 11:47 , Dmitry A. Kazakov wrote:
>> On Sat, 10 Mar 2012 22:35:09 +0200, Niklas Holsti wrote:
  ...
>>> The grammar, and the corresponding
>>> parse trees, are tools for defining the strings in the language, and the
>>> meaning of each string.
>>
>> No, only the former. Example:
>>
>> <numeral> ::=<decimal-digit>[<numeral>]
>>
>> This does not define the meaning of 1234. [...]
>
> A plain grammar does not define meaning, agreed. The meaning is defined
> by rules attached to the grammar productions. In this example, the rule
> use numbers and their mathematical proprerties; for your example
> production, the rule would say that the meaning -- the value -- of the
> grammar symbol on the left (<numeral>) is defined as the value of the
> <decimal-digit>, times 10, plus the value of the <numeral> on the right,
                          ^^

I should have said, 10 to the power (length of the <numeral> string on 
the right).

> or just as the value of the <decimal-digit> if there is no <numeral> on
> the right.


-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .