Automatische Abfragen

Neben den manuellen Abfragen jedes Zustandes, und dessen Vorgängerzuständen usw., gibt es einen automatischen Modus, in dem der Analyzer von einem angegeben Zustand über eine Suche in einen Startzustand zu gelangen. Der Vorteil an dem manuellen Modus ist, daß der Nutzer auch nur Teilzustände abfragen kann, um den Suchbaum übersichtlicher zu halten. Der vom automatischen Modus erzeugte Suchbaum, kann relativ schnell sehr unübersichtlich werden. Man kann aber jederzeit zwischen den Modi wechseln und Veränderungen vornehmen.