PDFA Distillation via String Probability Queries PDFA Distillation via String Probability Queries | Synapse