Automata for Constrained Decoding over Large Finite Sets | Dark Hacker News