Topic: Whitespace ambiguity in grammar


Author: kprateek88@yahoo.com (Prateek R Karandikar)
Date: Mon, 24 May 2004 19:02:31 +0000 (UTC)
Raw View
When there are 2 consecutive elements of grammar, sometimes it is
intended that whitespace be required between them, someimes that there
be no whitespace between them, and sometimes that whitespace is
optional.
For ex,

1)
original-namespace-definition:
 namespace identifier { namespace-body }

Clearly, whitespace is required between namespace and identifier.

2)
decimal-literal:
 nonzero-digit
 decimal-literal digit
Clearly, it is required that there be no whitespace between
decimal-literal and digit.

3)

and-expression:
 equality-expression
 and-expression & equality-expression
Clearly, whitespace is optional on both sides of the &.

Isn't this inconsistent?

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
To iterate is human, to recurse divine.
-L. Peter Deutsch
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]





Author: Victor Bazarov <v.Abazarov@comAcast.net>
Date: Mon, 24 May 2004 14:29:46 CST
Raw View
Prateek R Karandikar wrote:
> When there are 2 consecutive elements of grammar, sometimes it is
> intended that whitespace be required between them, someimes that there
> be no whitespace between them, and sometimes that whitespace is
> optional.
> For ex,
>
> 1)
> original-namespace-definition:
>  namespace identifier { namespace-body }
>
> Clearly, whitespace is required between namespace and identifier.
>
> 2)
> decimal-literal:
>  nonzero-digit
>  decimal-literal digit
> Clearly, it is required that there be no whitespace between
> decimal-literal and digit.
>
> 3)
>
> and-expression:
>  equality-expression
>  and-expression & equality-expression
> Clearly, whitespace is optional on both sides of the &.
>
> Isn't this inconsistent?

No.  I think you need to look at the translation phases (2.1), pay
attention to the definition of "preprocessing token" and "token", and to
the paragraph 2.1/7.  The rule concerning the original namespace
definition is given in terms of tokens, and with those whitespace is not
important.  It's only important when determining the token sequence.

V

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]