I added unary.py to define unary operators of automata. At this time, only the trim operator is available.
unary.py
find_inacc function has been moved to unary.py from supr_contr.py. Also, a test of the trim operator has been added.
find_inacc
supr_contr.py