NFA-LM Enables Polynomial-Time NFA-Constrained Language Generation | HACKOBAR_