Sonlu durum otomasyonu olarak da bilinen bir sonlu durum makinesi (FSM), sıralı mantığı modellemek ve simüle etmek için donanım veya yazılımda uygulanabilen bir hesaplama modelidir. Bu hesaplama modeli, bir veya daha fazla duruma sahip varsayımsal bir makineye dayanmaktadır. Bu makinenin sadece bir tek hali