Abeceda regexpu/automatu
Když nadefinuju do abecedy automatu M symbol, který není použit v přechodech, pak M převedu nějakou operací přes regexp na automat N, tak adiff
failne, protože nemají shodné abecedy.
Regexpová abeceda se totiž počítá jen z použitých symbolů ve stromu, takže ztratím informaci o tom nepoužitém symbolu.
adiff
pak jen porovná abecedy a zjistí, že T != T'
Failujou mi na tom testy... :)
./acat ../test.xml | ./aconversion -t RE | ./aconversion -t FA | ./adeterminize -t FSM | ./aminimize | ./anormalize > out.xml
Příklad vstupního XML v komentáři.