Zeichnen Sie Ihren eigenen endlichen Automaten.
Diese App implementiert einen Algorithmus zur Reduzierung einer endlichen Zustandsmaschine.
Ein endlicher Automat (FSM) oder endlicher Automat (Plural: Automaten) oder einfach ein Zustandsautomat ist ein mathematisches Rechenmodell, das zum Entwerfen von Computerprogrammen und sequentiellen Logikschaltungen verwendet wird. Es wird als abstrakte Maschine betrachtet, die sich in einem von endlich vielen Zuständen befinden kann. Die Maschine befindet sich jeweils nur in einem Zustand; Der Zustand, in dem es sich zu einem bestimmten Zeitpunkt befindet, wird als aktueller Zustand bezeichnet. Es kann von einem Zustand in einen anderen wechseln, wenn es durch ein auslösendes Ereignis oder eine auslösende Bedingung ausgelöst wird; dies wird als Übergang bezeichnet. Ein bestimmter FSM wird durch eine Liste seiner Zustände und die Auslösebedingung für jeden Übergang definiert.
Das Verhalten von Zustandsmaschinen kann in vielen Geräten der modernen Gesellschaft beobachtet werden, die eine vorgegebene Abfolge von Aktionen ausführen, abhängig von einer Abfolge von Ereignissen, die ihnen präsentiert werden. Einfache Beispiele sind Verkaufsautomaten, die Produkte ausgeben, wenn die richtige Münzkombination eingezahlt wird, Aufzüge, die Fahrgäste in den oberen Stockwerken aussteigen lassen, bevor sie nach unten fahren, Ampeln, die ihre Reihenfolge ändern, wenn Autos warten, und Zahlenschlösser, die die Eingabe von Zahlenkombinationen in der richtigen Reihenfolge erfordern.
Finite-State-Maschinen können eine Vielzahl von Problemen modellieren, darunter die Automatisierung des elektronischen Designs, das Design von Kommunikationsprotokollen, das Parsen von Sprachen und andere technische Anwendungen. In der Biologie und der Forschung zur künstlichen Intelligenz werden Zustandsmaschinen oder Hierarchien von Zustandsmaschinen zur Beschreibung neurologischer Systeme und in der Linguistik zur Beschreibung der Grammatik natürlicher Sprachen verwendet.
Mehr lesen
