Docs for automat.py