llm_automata_learning