I noticed a bug in fsa-0.9.4: when an XML file is read in which an arc has no weight specified then the weight will be uninitialized and may be a random value.

The behavior occurred on an Intel(R) Xeon(TM) CPU 3.06GHz system, after compiling with gcc-3.4.4. For example, the arc weight in the src/Tools/Fsa/examples/closure-1.fsa machine is -1.792753, or -1.829887, different on every run, instead of 0.

To fix the bug, insert the line arc_->weight_ = fsa_->semiring()->one(); in src/Fsa/StorageXml.cc, after line 97, so that you have arc_->output_ = Epsilon; arc_->weight_ = fsa_->semiring()->one();

--Markus