Синхронный автомат может синхронизировать работу других систем и обеспечивает простую и надежную синхронизацию между параллельно работающими системами.

Асинхронные автоматы позволяют системе работать самостоятельно, независимо от сигналов синхронизации. 

Так же  существуют автоматы  Мили и Мура  у  каждого  свои особенности.

В автомате Мили функция выходов определяет значение выходного символа по классической схеме абстрактного автомата (рис. 1). Особенностью автомата Мили является то, что функция выходов является двух - аргументный и символ в выходном канале y(t) обнаруживается только при наличии символа во входном канале x(t). 

Рис.1.1      Автомат Мили

Здесь: S — множество состояний автомата

           X — входной алфавит

           Y — выходной алфавит

 Автомат Мура

В автомате Мура функция выходов определяет значение выходного символа только по одному аргументу — состоянию автомата (рис. 2). Эту функцию называют также функцией меток, так как она каждому состоянию автомата ставит метку на выходе.

Рис.1.2      Автомат Мура

S — множество состояний автомата

X — входной алфавит