- From: Rick Jelliffe <rjelliffe@a...>
- To: Roger L Costello <costello@m...>, xml-dev <xml-dev@l...>
- Date: Sat, 25 Feb 2023 19:16:42 +1100
A typical way of comparing two sets of information in different formats is to create some kind of hash code of each of them and test those hashes for equality.
But this is, on a sense, actively ignoring the specific semantics/behaviours and abstracting based some invariant in the two representations, isn't it?
Or does creating an "interpreter" include a hash generator, in your usage?
(I guess you are trying to relate data comparison to Turing machines.)
Rick
On Wed, 22 Feb 2023, 6:27 am Roger L Costello, < costello@m...> wrote: Hi Folks,
A few weeks ago Michael Kay wrote:
> A sentence can provide information, give instructions, or ask questions.
He gave an example of each type of sentence:
(a) There are tomatoes in the fridge.
(b) Go to the shop and buy more tomatoes.
(c) How many tomatoes are there in the fridge?
I assert that there is only one type of sentence. Every sentence is an instruction.
"There are tomatoes in the fridge" is an instruction to hold tight, don't go to the shop to purchase more tomatoes.
"How many tomatoes are there in the fridge?" is an instruction to go to the fridge, open it, and count the number of tomatoes.
This XML document is seemingly pure information:
<Book>
<Title>Move your DNA</Title>
<Author>Katy Bowman</Author>
<Publisher>Propriometrics Press</Publisher>
</Book>
But that's not the case. It is an instruction to go to Amazon, look up the book, and see what the book is about.
"Okay Roger, let's suppose that what you say is true and every sentence is an instruction. So what?"
Here's the so what:
- Instructions elicit behavior.
- Instructions have semantics.
- Semantics can be represented by an interpreter.
Got two data formats and you want to know if they are equivalent? Comparing the data formats item by item is a Sisyphean task. Instead, write an interpreter for each data format, run instances of the data formats through the interpreters and compare their outputs. If their outputs are the same, the data formats are equivalent. If their outputs differ, the data formats are not equivalent.
Here's a summary of my argument:
1. All sentences are instructions.
2. An XML document is a sentence.
3. Instructions elicit behavior.
4. Instructions have semantics.
5. Semantics can be represented by an interpreter. This is called interpreter semantics.
6. To understand a sentence -- to understand its semantics -- run it through the interpreter.
Do you agree with my argument?
/Roger
_______________________________________________________________________
XML-DEV is a publicly archived, unmoderated list hosted by OASIS
to support XML implementation and development. To minimize
spam in the archives, you must subscribe before posting.
[Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
Or unsubscribe: xml-dev-unsubscribe@l...
subscribe: xml-dev-subscribe@l...
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
|