State Machine nədir?

Vəziyyət Maşını (vəziyyət maşını) sistemin davranış modelidir və onun işləməsini sonlu sayda vəziyyət və onların arasında keçidlər vasitəsilə təsvir edir. Hər vəziyyətdə sistem müəyyən hərəkətləri yerinə yetirə bilər və keçidlər hadisələr və ya şərtlərə cavab olaraq baş verir.

Nümunə: üç vəziyyətli maşın — pulun gözlənilməsi, məhsulun seçilməsi, məhsulun verilməsi. Pul daxil edildikdə, maşın gözləmə vəziyyətindən məhsul seçimi vəziyyətinə keçir, sonra seçimdən sonra — verilməyə və yenidən gözləməyə.

Vəziyyət Maşını məntiqi formalizə etməyə, sistemi proqnozlaşdırıla bilən etməyə və test və baxımını asanlaşdırmağa kömək edir.