[
Lists Home |
Date Index |
Thread Index
]
- From: MURATA Makoto <murata@apsdc.ksp.fujixerox.co.jp>
- To: xml-dev@ic.ac.uk
- 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@apsdc.ksp.fujixerox.co.jp
xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev@ic.ac.uk
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/
To (un)subscribe, mailto:majordomo@ic.ac.uk the following message;
(un)subscribe xml-dev
To subscribe to the digests, mailto:majordomo@ic.ac.uk the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa@ic.ac.uk)
|
