added a comment to automat.py