img151

151

10.4. Języki opisu cech kształtów (Jakubowski)

Q_ą/X    Qs/A

Rys. 10.7. Graf stanów transdjusera

ST(Des(l)) = 14.43.32.21,

ST(Des(lI)) = 14.43.32.21,

ST(Des(IlI)) = 14.42.23.31,

ST(Des(IV)) = 14.42.23.31.

Zatem obrazy 1 oraz II należą do tej samej klasy, a obrazy III oraz IV do innej.

Prawostronnie regularna gramatyka generująca obie klasy ma postać:

<V = (£w,£r,tP ’S),

gdzie produkcje ip generujące obrazy I oraz II (każdy napis zakończymy przez $):

(4)    S₃ —. 21 S₄,

(5)    5₄ - $,

(1) 5-145,,

(2)    Si —* 43 52,

(3)    S₂ - 32 S₃