PySimpleAutomata
