Simulator for endelig tilstandsmaskine (FSM)

Forståelse af FSM-simulering

En deterministisk endelig tilstandsmaskine (FSM) bruges til at modellere systemer med et begrænset antal tilstande og overgange baseret på input. Denne simulator hjælper dig med at teste og verificere dine overgangstabeller.

Konkret eksempel

Antag følgende regler:

q0,0,q0
q0,1,q1
q1,0,q0
q1,1,q1

Med starttilstand q0 og inputstreng 1011 fås pathen q0 → q1 → q0 → q1 → q1 og sluttilstanden q1.

Vigtige begrænsninger

• Der er ingen accepterende tilstande – simulatoren afgør ikke, om input accepteres.
• Kun deterministiske overgange understøttes; ingen epsilon-overgange eller nondeterministiske forgreninger.
• Hver tilstand og inputtegn må kun have én overgang. Duplikerede nøgler afvises.
• Reglerne skal indeholde mellem 1 og 200 linjer. Tilstandsnavne må højst være 50 tegn, og hvert inputtegn skal være ét Unicode-kodepunkt.
• Inputstrengen er begrænset til 10.000 UTF-16-kodeenheder.

Ofte stillede spørgsmål

Hvad sker der, hvis en overgang mangler?

Simuleringen stopper ved det tegn, hvor der ikke findes en regel, og der vises en fejlmeddelelse.

Kan jeg bruge mellemrum i tilstandsnavne?

Nej, kommaer er strukturelle og kan ikke indgå i tilstandsnavne eller inputtegn. Mellemrum er tilladt, men undgå kommaer.

Hvordan håndteres Unicode-tegn som f.eks. U+1F600?

Hvert inputtegn behandles som ét Unicode-kodepunkt. Tegn uden for BMP (f.eks. U+1F600) kan angives direkte, men i dokumentationen beskrives de med kode-punkt-notation.