Az "állapot" változó egyszerű enum adattípus lehet, de összetettebb adatstruktúrák használhatók. Egy gyakori technika egy állapotátmenet-tábla létrehozása, egy kétdimenziós tömb, amely minden lehetséges állapotot reprezentáló sorokat tartalmaz, és a bemeneti paramétereket képviselő oszlopokat. A táblázat értéke, ahol a sor és az oszlop megfelel, a következő állapot, amelyet a gépnek át kell váltania, ha mindkét feltétel teljesül.
Véges állapotú gép, bemenet, paradigma, programozási feltételek