[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: A different comment syntax question

• From: MURATA Makoto <murata@a...>
• To: xml-dev@i...
• Date: Tue, 21 Jul 1998 15:22:07 +0900

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@a...

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

• References:
  • Re: A different comment syntax question
    • From: Rob Cameron <cameron@c...>

• Prev by Date: Re: [Q] How should SAX support Namespaces?
• Next by Date: Re: A different comment syntax question
• Previous by thread: Re: A different comment syntax question
• Next by thread: Re: A different comment syntax question
• Index(es):
  • Date
  • Thread