Update automat.cpp