Konečno-stavové automaty sa bežne v teórii informatiky vytvárajú prostredníctvom vytvárania prechodových tabuliek (ako je tomu v zbierke v kapitole 3.2). Takto vytvorené automaty sú nedeterministické. Nedeterministické automaty sú také, kde pri niektorom vstupe x je definovaná prechodová funkcia nie do jediného možného stavu y, ale do množiny možných stavov Y{y1, y2, ... , yn}. Na vytvorenie deterministického automatu sa využíva metóda nazývaná determinizácia.

Na tomto predmete sa však využíva iná metóda, vytváranie prechodových grafov, ktorá je uvedená v animovanej prezentácii. Táto metóda má tú výhodu, že je pomocou nej možné vytvoriť rovno deterministický konečno-stavový automat a nie je potrebná ďalšia determinizácia. Je ju však možné použiť len vtedy, ak množinu vstupných reťazcov pre KSA je možné definovať prostredníctvom regulárnych výrazov.