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