bugün

kesikli giriş ve çıkışları olan matematiksel bir modeldir.
finite automata=fa ( kısaltılmışı )
türkçe ye sonlu özdevinir diye çevrilir ama pek kullanılmaz.
bu model birçok donanım ve yazılım sisteminin modellenmesinde kullanılır.