"Valsts" mainīgais var būt vienkāršs enum datu tips, bet var izmantot sarežģītākas datu struktūras. Kopēja metode ir izveidot stāvokļa pārejas tabulu, divdimensiju masīvu, kurā ir rindas, kas pārstāv katru iespējamo stāvokli, un kolonnas, kas pārstāv ievades parametru. Tabulas vērtība, kurā atbilst rinda un kolonna, ir nākamais stāvoklis, kurā mašīnai jāpārslēdzas, ja ir izpildīti abi nosacījumi.
Galīgā stāvokļa mašīna, Ieeja, Paradigma, Programmēšanas noteikumi