Синхронный автомат может синхронизировать работу других систем и обеспечивает простую и надежную синхронизацию между параллельно работающими системами.
Асинхронные автоматы позволяют системе работать самостоятельно, независимо от сигналов синхронизации.
Так же существуют автоматы Мили и Мура у каждого свои особенности.
В автомате Мили функция выходов определяет значение выходного символа по классической схеме абстрактного автомата (рис. 1). Особенностью автомата Мили является то, что функция выходов является двух - аргументный и символ в выходном канале y(t) обнаруживается только при наличии символа во входном канале x(t).
Рис.1.1 Автомат Мили
Здесь: S — множество состояний автомата
X — входной алфавит
Y — выходной алфавит
Автомат Мура
В автомате Мура функция выходов определяет значение выходного символа только по одному аргументу — состоянию автомата (рис. 2). Эту функцию называют также функцией меток, так как она каждому состоянию автомата ставит метку на выходе.
Рис.1.2 Автомат Мура
S — множество состояний автомата
X — входной алфавит