SHPORA.net :: PDA

[ Back ]

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)