A Python program to perform operations on automatons such as determinization, standardization or minimization