Analyzing constrained LLM through PDFA-learning