Un sistema è un insieme di componenti interconnessi che interagiscono tra loro, spesso studiato attraverso modelli fisici e astratti. Gli automi a stati finiti rappresentano una classe di sistemi utilizzati per descrivere comportamenti dinamici e discreti, caratterizzati da un numero finito di stati e simboli.