GitHub: Neurallambda/automata: synth data for training FSMs/PDAs/Turing Machines | Heykuki News