9) Juhtautomaat: abstraktne, Mealy, Moore.
Abstraktne automaat - mingi must kast millel on
{Z}-sisendit {A}-olekut ja {W}-valjundit,
lambda - valjunditef., sigma-yleminekuf. Kui on maaratud
{A,Z,W,l,d} siis oeldakse, et abstr. automaat on maaratud.
Kui on maaratud ka algolek a1 siis tegem initsiaalse automaadiga
Mealy mudel: AxZ->W , W(t)=l(A(t),Z(t))
Moore mudel: W(t)=l(A(t)) (sisend tahtsust ei oma)