本文基于圖是一種可以把復(fù)雜的問題直觀地表示出來的自然的方式，已應(yīng)用于計(jì)算機(jī)科學(xué)的幾乎所有方面，從而圖轉(zhuǎn)換系統(tǒng)(GTS)得到了廣泛的用，但是在圖轉(zhuǎn)換系統(tǒng)中不同的規(guī)則復(fù)合會(huì)產(chǎn)生沖突，想通過計(jì)算機(jī)系統(tǒng)自動(dòng)判斷不同規(guī)則能否復(fù)合，減少規(guī)則復(fù)合人工干涉這一目的，采用了矩陣運(yùn)算的方法，并且定義沖突矩陣，關(guān)聯(lián)矩陣以及規(guī)則鏈等概念，將各個(gè)規(guī)則看作各個(gè)規(guī)則的節(jié)點(diǎn)，這樣就形成一個(gè)有向的規(guī)則鏈。記作pi→pi+1→…→pj，計(jì)算各個(gè)規(guī)則鏈長(zhǎng)度的方法，得到了個(gè)規(guī)則節(jié)點(diǎn)到其他節(jié)點(diǎn)的長(zhǎng)度，通過尋找復(fù)合規(guī)則之間長(zhǎng)度為l的規(guī)則鏈?zhǔn)欠翊嬖?，從而檢測(cè)出這一系列規(guī)則有無(wú)沖突。

　　Abstract:

　　The paper is based on the mothed which a complex problem can be expressed directly in the natural way by the graph， it has been used in almost all aspects of computer science.The graph transformation system (GTS) has been widely used， but different rules in the graph transformation system may conflict. Whether it determine the different rules have conflict by automatic computer system， it reduce the human intervention between the compound of different rules. It use the matrix operations and define the notions of conflict matrix， correlation matrix， the chains of rules, which think the rule as a node. There is a direction rules chains pi→pi+1→…→pj the length of the chains can be calculated. It can determine whether the different rules have conflict by looking for the existence of chain which the length is l. According to the relations between the compound of rules and matrix operations， a automatic graph transformation systems detecting algorithm is put forward.