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

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

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

 

{{клица-математика}}