When the top 500 derivations of the translations of our test corpus are summed, only 50.6% of them yield an estimated highest-weighted tree that is the same as the true highest-weighted tree.
for the finite case the previous method produces an automaton with size on the order of the number of derivations, so the technique is limited when applied to real world data.