- 2


S1 = { G ab , Gac , Gai , Gar }

S2 = { Gaa , Gaz G au , Gae ...} (1)

:

Gat = <Xat , Wat >, t = b, c, i, r, a, z, u, e.

t , .

(1) t q la lb :

1) Gat Gbq

( q, t ).

2) Xat Xbq , Wat Wbq . W = Wat Ç Wbq , 젠 G at¢ = < Xat , W > Gbq¢ = < Xbq , W > . t , q , Xat Xbq .

3) çGat ç = ç Gbq ç.

堠 1), 2) .




- -  - -  - -