At 08:26 +1000 1998/12/14, Ken Smith wrote:
>This would mean that you would restrict the use of A to have one
>particular meaning throughout the document. This is quite
>unrealistic, in almost any area of mathematics.
If one should do actual parsing, I would expect that one must use a series
of local contexts, each defining its own grammar and translation rules,
that is, in effect a local computer language.
Hans Aberg
* Email: Hans Aberg <mailto:[log in to unmask]>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>