add automat.py