Waarom automaten?

Waar zijn eindige automaten nuttig voor?

Waarom zou je eigenlijk een eindige automaat en bijbehorend toestandsdiagram gebruiken? We noemen hier drie redenen maar er zijn er vast veel meer te verzinnen. Bron: https://www.3iblog.nl/Eindige-automaten-2

1. Inzicht in een probleem Eindige automaten helpen je om een complex probleem helder en overzichtelijk te maken. Een voorbeeld daarvan is een druk kruispunt waar verkeerslichten worden geplaatst. Door een eindige automaat te ontwerpen zorg je voor een helder overzicht van alle verkeersstromen die tegelijk over de kruising mogen.

2. Veilig ontwerpen Eindige automaten zijn ook een handig hulpmiddel om een apparaat, of een onderdeel daarvan, veilig te ontwerpen. Zo mag een wasmachine pas gaan werken als er water beschikbaar is. Een lift mag pas omhoog of omlaag als de deuren dicht zijn. Bij het ontwerpen van een eindige automaat wordt je gedwongen om alle toegestane toestanden in kaart te brengen.

3. Theoretische informatica Ten slotte spelen eindige automaten een belangrijke rol in de theoretische informatica. Als je een algoritme of een programma ontwerpt wil je dat het efficiënt is. Ook is het zo dan niet ieder probleem door een computer kan worden opgelost. Eindige automaten zijn een belangrijk hulpmiddel om de efficiëntie en correctheid van een algoritme te bepalen.