Tilmelding: Gå op på scenen når turneringen starter

Deltagerne bliver opdelt i hold baseret på hvor mange tilmeldte der er.

De turneringsaansvarlige præsenterer et regulært sprog samt et alfabet for sproget hvorefter deltagerne hurtigst muligt skal konstruere en DFA på tavlen som præcist accepterer det givne regulære sprog. Når en deltager mener at deres DFA er færdig rækker de hånden op for at blive tilføjet i køen for verifikation. De turneringsansvarlige vil såfremt enten godkende eller forkaste DFA'en i den rækkefølge som deltagerne har færdiggjort deres DFA. Hvis DFA'en bliver godkendt, vil deltageren gå videre til næste runde. Hvis DFA'en derimod bliver forkastet, bliver der givet et counterexample hvor DFA'en enten ikke accepterer et ord i sproget eller hvor DFA'en accepterer et ord som ikke er i sproget.

Hver deltager har 3 verifikationsforsøg. Hvis ens DFA bliver forkastet 3 gange er deltageren ude af turneringen. Der vil også være en tidsgrænse til hver runde.

Hvor mange runde samt deltagere der går videre (baseret på tid) hver runde afhænger af antal tilmeldte.

En hurtig introduktion til DFA'er vil blive givet kort før turneringsstart.

Turneringsansvarlige: Nicklas „Slorup“ Johansen og Peter „Schwartz“ Lauridsen