Lists Home |
Date Index |
At 07:27 PM 8/26/2003, pop3 wrote:
>Umm, reading Knuth got me certain that _assembler_ could be proven and had
>been proven in math, from which languages like Pascal and Fortan and
>Cobol and C can also be, or rather have been proven, and since Java is
>just C transcendant then I feel that is also shown.
>I do not feel that a markup language with patched on logic capacity can be
>mathematically shown to be a programming language at all....
I have no idea what you are trying to say here. XML is a data format. It is
not a programming language, was not designed to be a programming language,
and has never claimed to be a programming language. The XML community knows
that, and is not surprised by that fact, so your rant on this topic seems a
bit odd. Math seems irrelevant here - I am not aware of formal methods
being used to show whether or not something is a programming language,
though they are often used to demonstrate various properties of a
programming language. Or of a data representation, for that matter.
Do you have a specific mathematical question about the properties of XML?