img150

150

10. Metody ciągowe

Rys. 10.6. Opis obiektów z rys. 10.4 za pomocą składowych z rys. 10.5

A = {1,2,3,4},

Q 0 = {9l,?2,?3,«4},

a 6 jest zdefiniowana przez rysunek 10.7.

Krawędź diagramu (rys. 10.7) łącząca stan Qi ze stanem qj oraz etykietowana przez Qj\Qi/ij oznacza, że przejście ze stanu ę, do stanu q_: następuje wtedy, gdy wczytana została składowa należąca do (j)-sinąuadu, a nie należąca do (t)-sinquadu (składowe osiowe należą do dwóch sąsiednich sinquadów równocześnie). Wówczas też na wyjściu wypisywany jest napis ij (przejście z (f)-sinquadu do (j)-sinquadu).

Krawędź etykietowana przez Qi/\ oznacza, że pojawiła się składowa należąca do (r)-sinquadu ( nic nie wypisujemy na wyjście).

Krawędź etykietowana przez Q°/ij oznacza, że pojawiła się składowa należąca do (j)-sinquadu nie będąca składową osiową.

Jak łatwo zauważyć, wczytując opisy naszych obiektów otrzymamy na wyjściu: