Links for PyAutomata