| Een eindige toestandsmachine (FSM) is een rekenmodel dat kan worden gebruikt om verschillende systemen weer te geven. Het bestaat uit een eindig aantal toestanden en een reeks overgangen die de omstandigheden definiëren waaronder het systeem van de ene toestand naar de andere kan veranderen. Wanneer een FSM zich in een bepaalde toestand bevindt, kan deze in die toestand blijven of overgaan naar een andere toestand op basis van de input die hij ontvangt.
Hier is een eenvoudig voorbeeld om te illustreren hoe een eindige toestandsmachine werkt. Overweeg een lichtschakelaar die zich in twee standen kan bevinden:AAN en UIT. Wanneer de schakelaar in de AAN-stand staat, is het licht ingeschakeld. Wanneer de schakelaar in de UIT-stand staat, is het licht uitgeschakeld. De overgangen tussen deze twee toestanden worden bepaald door de invoer, wat de actie is van het omzetten van de schakelaar. Wanneer de schakelaar wordt omgedraaid, verandert de FSM van de ene toestand naar de andere.
Eindige toestandsmachines kunnen worden gebruikt om verschillende systemen te modelleren, zoals verkeerslichten, verkoopautomaten en zelfs eenvoudige computerprogramma's. Ze zijn nuttig voor systemen met een beperkt aantal toestanden en een goed gedefinieerde reeks overgangen. |
