Difference: DeterminizeDoc (8 vs. 9)

Revision 92009-03-12 - MichaelRiley

Line: 1 to 1
META TOPICPARENT name="FstQuickTour"


Line: 10 to 10

The transducer must be functional. The weights must be (weakly)

left divisible (valid for TropicalWeight and LogWeight).
left divisible (valid for TropicalWeight and LogWeight for instance) and zero-sum-free.


This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback