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