Машина кінцевого стану
Метод кінцевого стану або автомат кінцевого стану, або просто державна машина, є математичною моделлю обчислень, що використовується для проектування як комп'ютерних програм, так і послідовних логічних схем. Вона задумана як абстрактна машина, яка може бути в одній з кінцевого числа станів. Машина знаходиться в одному стані одночасно; стан, в якому він знаходиться в будь-який час, називається поточним станом. Він може змінюватися з одного стану на інший, коли ініціюється ініційованою подією або станом; це називається переходом. Певна FSM визначається списком його станів, а також параметром запуску для кожного переходу. Поведінка державних машин може спостерігатися у багатьох пристроях сучасного суспільства, які виконують заздалегідь визначену послідовність дій залежно від послідовності подій, з якими вони представлені. Простими прикладами є торгові автомати, які видають продукти, коли накладають належну комбінацію монет, елеватори, які скидають вершників на верхніх поверхах перед тим, як спускатися, світлофори, які змінюють послідовність, коли машини чекають, і комбінаційні замки, які вимагають введення комбінаційних чисел у правильний порядок.