Коначан аутомат — разлика између измена

* коначног скупа U улазних симбола

* коначног скупа I излазних симбола

* коначног скупа S стања

* функције прелаза стања f:SxU -> S

* функције излаза g: SxU -> I

* почетног стања система σ*

Оваква коначна машина се означава са М=(U, I, S, f, g, σ*). <br /> '''Коначни аутомат''' је таква коначна машина код које је I = {0,1}, где је излаз одређен следећим стањем машине.

* [[Детерминистички коначни аутомат]]

* [[Недетерминистички коначни аутомат]]

* [[Дискретна математика]]