This story draft by @escholar has not been reviewed by an editor, YET.

Analyzing constrained LLM through PDFA-learning: Proof of Proposition 2.1