A different comment syntax question

[MURATA Makoto]

Rob Cameron wrote:
> 
> No, I don't think it is equivalent.  Proof:

Agree.  I should have been careful when I reviewed the XML PR ...

I compared the two set with an automaton toolkit called Grail.
(http://www.csd.uwo.ca/research/grail/download.html)  Here 
is the result.


1.  Set T:      (Char* - (Char* '--' Char*)) 

D:\grail\binaries\486>retofm | fmdeterm | fmmin | fmcment | fmrenum > amt.txt
DOS/4GW Protected Mode Run-time  Version 1.95
Copyright (c) Rational Systems, Inc. 1990-1993
(a+b)*aa(a+b)*
^Z

(Note: "a" represents "-" and "b" represents everything else.)


D:\grail\binaries\486>type amt.txt
(START) |- 0
2 a 2
2 b 2
0 a 1
0 b 0
1 a 2
1 b 0
0 -| (FINAL)
1 -| (FINAL)


2. Set X:     ((Char - '-') | ('-' (Char - '-')))*

D:\grail\binaries\486>retofm | fmdeterm | fmmin | fmrenum > amx.txt
DOS/4GW Protected Mode Run-time  Version 1.95
Copyright (c) Rational Systems, Inc. 1990-1993
(b+ab)*
^Z

D:\grail\binaries\486>type amx.txt
(START) |- 0
0 a 1
0 b 0
1 b 0
0 -| (FINAL)

3.  Does set T include set X?

D:\grail\binaries\486>fmcment amt.txt | fmcross amx.txt | fmdeterm | fmmin

(The empty automaton)

Yes

4. Does set X include set T?

D:\grail\binaries\486>fmcment amx.txt | fmcross amt.txt | fmdeterm | fmmin

(START) |- 1
1 b 1
0 b 1
1 a 0
0 -| (FINAL)

No!

Makoto
 
Fuji Xerox Information Systems
 
Tel: +81-44-812-7230   Fax: +81-44-812-7231
E-mail: murata at apsdc.ksp.fujixerox.co.jp

xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev at ic.ac.uk
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/
To (un)subscribe, mailto:majordomo at ic.ac.uk the following message;
(un)subscribe xml-dev
To subscribe to the digests, mailto:majordomo at ic.ac.uk the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa at ic.ac.uk)