En finita tillståndsmaskin (FSM) är en beräkningsmodell som kan användas för att representera olika system. Det består av ett ändligt antal tillstånd och en uppsättning övergångar som definierar villkoren under vilka systemet kan ändras från ett tillstånd till ett annat. När en FSM är i ett visst tillstånd kan den antingen förbli i det tillståndet eller övergå till ett annat tillstånd baserat på den inmatning den tar emot.
Här är ett enkelt exempel för att illustrera hur en finita tillståndsmaskin fungerar. Tänk på en ljusströmbrytare som kan vara i två lägen:PÅ och AV. När strömbrytaren är i läget PÅ tänds lampan. När strömbrytaren är i OFF-läge släcks ljuset. Övergångarna mellan dessa två tillstånd bestäms av ingången, vilket är åtgärden att vända omkopplaren. När omkopplaren vänds ändras FSM från ett tillstånd till det andra.
Finita tillståndsmaskiner kan användas för att modellera olika system, såsom trafikljus, varuautomater och till och med enkla datorprogram. De är användbara för system som har ett begränsat antal tillstånd och en väldefinierad uppsättning övergångar.
