FSM online-værktøj

Dette værktøj modellerer, validerer og simulerer endelige tilstandsmaskiner (FSM'er). Det accepterer et defineret sæt tilstande, et indgangsalphabet, en starttilstand og et eller flere accepterende tilstande. Brugere kan vælge mellem deterministisk eller ikke-deterministisk tilstand oggive en overgangstabel eller korte overgangsregler. Internt behandles automaten som en retet, mærket graf; rækkevidde, determinismekontrol og sprogacceptancer beregnes automatisk. For DFA'er kan værktøjet også minimere maskinen ved hjælp af standardalgoritmer og rapportere antallet af tilstande og overgange. For NFA'er udføres accept via undergruppedannelse, hvor det er relevant. Værktøjet støtter typiske automatat designopgaver: påvisning af utilgængelige tilstande, identifikation af døde tilstande og validering af, at alle overgange er defineret for hvert symbol (hvor påkrævet). Eksportmuligheder gør det muligt at dele overgangsstrukturen som strukturerede data til integration med efterfølgende værktøjer. Anvendelsesområder inkluderer protokolgrammatik-validering, design af automater til lexere og klasseundervisninger i automatteori. Den unikke værdi ligger i hurtig, formel analyse med diagnostik og valgfri minimering uden behov for kode, hvilket gør det muligt for undervisere og udviklere at iterere koncepter og verificere sprogacceptans effektivt.