Коначан аутомат
Из пројекта Википедија
Коначна машина се састоји од:
- коначног скупа U улазних симбола
- коначног скупа I излазних симбола
- коначног скупа S стања
- функције прелаза стања f:SxU -> S
- функције излазa g: SxU -> I
- почетног стања система σ*
Оваква коначна машина се означава са М=(U,I, S, f, g, σ*).
Коначни аутомат је таква коначна машина код које је I = {0,1}, где је излаз одређен следећим стањем машине.