https://isaacbreen.com/https://isaacbreen.com/articles/constrained-decoding-weighted-automata/https://isaacbreen.com/snapshots/