HFST: Miscellaneous observations

Test equivalence for transducers like [a:<> <>:b], [<>:b a:<>] and [a:b]. None of these are equivalent
when testing with weighted or unweighted transducers. Test intersection, difference and composition. Intersections
are empty, differences are equal. Compositions are equal, but not minimized in hwfst.

<verbatim>
hfst-compose "a:<>_<>:b.hfst" "<>:b_a:<>.hfst"

0 1 a <>
0 3 <> b
1 2 <> b
3 2 a <>

hfst-compose "a:<>_<>:b.hfst" "a:b.hfst"

0 1 a <>

hfst-compose "a:b.hfst" "<>:b_a:<>.hfst"

0 1 <> b
</verbatim>

All weighted compositions are empty.

When compiling smor.fst, there were differences in warnings that came from empty transducer variables:

  SFST (ISO) SFST (UTF-8) HFST HWFST
defaults.fst: 25: $TMP$   - x x
defaults.fst: 36: $DefKomposNN$   - x x
defaults.fst: 43: $T$   - x x
defaults.fst: 46: $DefKomposNN$   - x x
defaults.fst: 63: $R1$ x -    
defaults.fst: 69: $Uml$ x -    
defaults.fst: 74: $DefDerivNN$ x - x x
defaults.fst: 80: $DefDerivNE$   - x x
defaults.fst: 85: $DefKomposNE$   - x x
defaults.fst: 94: $DefBaseADJ$   - x x
defaults.fst: 101: $DefKomposADJ$   - x x
defaults.fst: 103: $DefDerivADJ$   - x x
defaults.fst: 109: $DefKomposV$   - x x
defaults.fst: 114: $DefDerivV$ x - x x
defaults.fst: 124: : $DefDerivV$ x - x x
smor.fst: 181: !: $BASE$   - x x
smor.fst: 190: $UC$   - x x
smor.fst: 198: $CAP$   - x x


-- ErikAxelson - 2009-08-26
Topic revision: r1 - 2009-08-26 - ErikAxelson
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2018 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback