Наприклад, детермінований автомат без виходу — це трійка <Q, X, Ψ>, де Q, X, Ψ — мають звичайне значення; імовірнісний автономний автомат — це пара <Q, Ψ>, де Ψ — матриця перехідних імовірностей для станів з Q (тобто такий автомат є ланцюгом Маркова).