final state 0.001764319
initial state 0.001744064
finite state 0.001691365
weighted case 0.0016405550000000001
state calculus 0.001616871
tent state 0.00160676
weighted transducers 0.0015951989999999998
same algorithm 0.001492135
same language 0.001441132
weighted automata 0.001415496
ing states 0.0013547630000000001
state 0.00134679
final states 0.001344643
equivalent states 0.001330375
initial states 0.0013243880000000001
right language 0.0012706759999999999
implementation language 0.001257242
equivalence algorithm 0.0012446800000000002
different weight 0.001221003
destination states 0.0011998970000000001
special algorithm 0.00119657
distinct states 0.001189781
minimization algorithm 0.001187121
test algorithm 0.0011716370000000001
several algorithms 0.001119348
same weights 0.001090685
different weights 0.0010719269999999999
final weight 0.0010592099999999999
top transducer 0.001050587
initial weight 0.0010389549999999998
weight distribution 0.001021019
other automa 9.86837E-4
other limitation 9.83341E-4
certain time 9.58207E-4
composition operation 9.56822E-4
same relation 9.56698E-4
total cost 9.32111E-4
states 9.27114E-4
ing transitions 9.22536E-4
time limit 9.18892E-4
different filter 9.06455E-4
weight func 8.99669E-4
algorithm 8.94055E-4
interesting results 8.92791E-4
initial weights 8.89879E-4
different costs 8.785309999999999E-4
identity transducers 8.706639999999999E-4
unweighted case 8.651990000000001E-4
same pair 8.47453E-4
language 8.43052E-4
different lengths 8.335879999999999E-4
finite set 8.32029E-4
top automaton 8.296410000000001E-4
distinct transducers 8.249259999999999E-4
terministic transducers 8.23869E-4
minimal cost 8.174179999999999E-4
transducers rec 8.09538E-4
handling transducers 8.09538E-4
several paths 8.011120000000001E-4
outgoing transitions 7.890849999999999E-4
last parameter 7.88431E-4
epsilon transitions 7.839149999999999E-4
underlying automaton 7.80905E-4
tive composition 7.78922E-4
iterative composition 7.728749999999999E-4
remainder weights 7.67833E-4
outgoing transition 7.56685E-4
possible solution 7.49902E-4
matching transitions 7.45725E-4
fundamental operation 7.44327E-4
generic composition 7.37498E-4
right lan 7.37089E-4
composition operator 7.335569999999999E-4
transducer 7.3036E-4
rational relation 7.279890000000001E-4
true value 7.23532E-4
algorithms 7.18425E-4
equivalent modulo 6.9473E-4
fsm library 6.86516E-4
equivalent wfst 6.83545E-4
regular expression 6.73887E-4
prototype implementation 6.72593E-4
underlying automata 6.54047E-4
remainder function 6.522769999999999E-4
mized equivalent 6.5195E-4
special symbol 6.51645E-4
false value 6.4857E-4
weight 6.41681E-4
equivalence algo 6.36974E-4
interesting consequences 6.32974E-4
operand automata 6.32353E-4
equivalence test 6.28207E-4
der strings 6.25957E-4
upper side 6.245199999999999E-4
calculus tool 6.12148E-4
classical opera 6.11535E-4
simple variant 6.10199E-4
equivalence testing 6.0892E-4
string 6.02568E-4
deterministic wfst 5.98707E-4
