Кінцевий автомат турнікета також можна зобразити орієнтований граф, який називається діаграмою стану (вище). Кожен стан представлено вузлом (колом). Ребра (стрілки) показують переходи з одного стану в інший. Кожна стрілка позначена введенням, яке запускає цей перехід.

Державна машина є модель поведінки. Він складається зі скінченної кількості станів і тому також називається кінцевим автоматом (FSM). На основі поточного стану та заданого вхідного сигналу машина виконує переходи між станами та видає результати.

Скінченний автомат (FSM) [71] — це математична модель обчислень, яка зазвичай представляється як графік, з кінцевою кількістю вузлів, що описують можливі стани системи, і кінцевою кількістю дуг, що представляють переходи, які змінюють або не змінюють стан відповідно.

Приклад є державна машина, що належить до пральної машини. У цьому стані машини, коли пральна машина працює, вона буде переходити від «Прання» до «Полоскання» до «Віджимання». Якщо сталося відключення електроенергії, пральна машина припинить роботу та перейде у стан «Вимкнуто».

Державна машина має 3 основні частини: D-FF, декодер наступного стану (NSD) і декодер виходу (OD). Два блоки декодера складаються з комбінаторної логіки, а D-FF складають синхронний елемент. А тактовий сигнал керує кінцевим автоматом, змушуючи його перевіряти, чи перейти в інший стан.

Держави представлені с прямокутники із закругленими кутами, які позначені назвою держави. Переходи позначені стрілками, які переходять від одного стану до іншого, показуючи, як змінюються стани. Нижче ви можете побачити обидва ці елементи в роботі на базовій схемі для студентського життя.