added Doctest to Automat_Tutorial.py