Eindigetoestandsautomaat

Teken je eigen Eindigetoestandsautomaat

Deze app implementeert een algoritme om een Eindigetoestandsautomaat verminderen.

Een eindigetoestandsautomaat is een model voor het gedrag voor een systeem, bestaande uit een eindig aantal toestanden, overgangen tussen die toestanden en acties. Eindigetoestandsautomaten worden toegepast in de theorie van berekenbaarheid in de wiskunde en in formele talen in de informatica. Eindigetoestandsautomaten zijn gebaseerd op grafen en beschrijven een klasse van formele talen die reguliere talen heten.

Binnen de eindigetoestandsautomaten onderscheiden we twee soorten van automaten, de deterministische eindige automaten (DFA, van het Engelse deterministic finite automaton), en de niet-deterministische eindige automaten (NFA). Deze automaten zijn aan verschillende regels onderworpen, maar beschrijven dezelfde klasse van talen.