Ralph Hartley wrote:
> Also, nothing I have said should be construed to imply that any of
> YOUR applications need to apply any transformations to anything
> whatsoever.
I should also add that I don't want to imply that anyone would ever want
to actually APPLY all (or any) of the transformations we use to define
"semantic equivalence".
The transformations would be strictly a part of the definition of the
meaning of a file. They would allow the meaning of one particular
construct to be defined, the meaning of many (possibly infinitely many)
others would then be defined as being the same as that one.
Particularly, my principles 2 and 3 require no irreversible
transformations may be applied automatically.
Ralph Hartley
This archive was generated by hypermail 2b30 : Mon Apr 02 2001 - 18:00:00 CEST