Expression sequencing/\"standards\"

[anw at nott-cs.UUCP]

In article <286 at ndmce.uucp> in at pollux.UUCP writes:
>If you can find me a definition of *anything* (in English, of comparable
>complexity to a general purpose computer programming language) which is
>unambiguous, then I'll eat the manual this description printed in.

	The Algol 68 definition is known to be unambiguous.  Sadly, it is also
known that all the printed versions contain bugs, some doubtless not yet
discovered.  Oh yes, :-).

	Seriously, W-grammars are *very good* for providing careful definitions
of languages, and it is a shame that they are not more widely used -- many of
the silly arguments one gets into over C and Pascal could easily be resolved
by reference to the standard grammar, if one existed.

						-- Andy Walker
							Maths Dept, Nottm Univ.