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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c89a4b067758a6e1
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!213.200.89.82.MISMATCH!tiscali!newsfeed1.ip.tiscali.net!fi.sn.net!newsfeed2.fi.sn.net!news.song.fi!not-for-mail
Date: Wed, 20 Feb 2008 22:22:01 +0200
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.7.8) Gecko/20060628 Debian/1.7.8-1sarge7.1
X-Accept-Language: en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Is it really Ok to assert that the Ada syntax is a context-free
  grammar ?
References: 
 <4a448c5c-a4ed-446f-bb8b-67c5ba99927a@f47g2000hsd.googlegroups.com>
 	<FWLuj.41404$yE1.10867@attbi_s21> <47bbfb5b$1@news.post.ch>
 	<37b7e369-01c8-4adf-8d1e-c40fa7e51cea@f47g2000hsd.googlegroups.com>
 	<9012d70c-8d61-4e2e-9eda-c12d48f1d9e1@s19g2000prg.googlegroups.com>
 	<47bc40e7$0$21890$4f793bc4@news.tdc.fi>
 <cf265246-91c7-4d08-b9d0-05dd91d9ee82@34g2000hsz.googlegroups.com>
In-Reply-To: 
 <cf265246-91c7-4d08-b9d0-05dd91d9ee82@34g2000hsz.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <47bc87d3$0$21894$4f793bc4@news.tdc.fi>
Organization: TDC Internet Services
NNTP-Posting-Host: laku61.adsl.netsonic.fi
X-Trace: 1203537875 news.tdc.fi 21894 81.17.205.61:33004
X-Complaints-To: abuse@tdcnet.fi
Xref: g2news1.google.com comp.lang.ada:19920
Date: 2008-02-20T22:22:01+02:00
List-Id: <comp.lang.ada>

Hibou57 (Yannick Duch�ne) wrote:
> On 20 f�v, 16:19, Niklas Holsti <niklas.hol...@tidorum.invalid> wrote:
> 
>>rule in ARM 9.6(4). Does that make you happy? But look, the
>>[...]
>>parsability of Ada, so I don't see what your problem is.
> 
> Why are you so sad ?

Be reassured, I don't feel sad .. I thought you did :-), but if 
that's not so, then we're both happy, good.

> I was just curious beceause I used to read that Ada and Pascal
> are exemples of unambigous grammar.

Compared to what? And what has that to do with context-freeness?

Perhaps the thing you read was about the bracketing of control 
structures, such as if-then-else-end if, where the parsing of 
nested structures was ambiguous in Algol and Pascal which do not 
have the "end if" bracket, but is unambiguous in Ada.

For sure the Ada *grammar* is ambiguous because you can 
syntactically parse some programs in many ways, for example 
programs that contain the famous fragment X(Y). The legality and 
static semantic rules are there to make all but one parse illegal, 
ensuring an unambigous meaning for the program.

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