支配性、嚴格支配性、直接支配性、支配邊界

支配性

如果每一條從流圖到入口節點到節點n都需要經過節點d，則稱d支配n，又記d （支配）dominance n。

如上圖入口節點1到節點4都需要經過節點3，3節點則支配節點4.

嚴格支配性

當d！=n時且d dom n ，則d sdom n

直接支配性

在支配樹（dominator tree）中，對于結點 n 來說，從根節點到結點 n 所在路徑上的結點（不包括）都嚴格支配結點 n，例如上圖中從根節點 1 -> 2 -> 3，其中結點 1 和 結點 2 都嚴格支配結點 3。該路徑上離結點 n 最近的結點叫做結點 n 的 直接支配結點（immediate node），用 IDom(n) 表示，例如上圖中 IDom(6) = 2。換句話說，就是在嚴格支配性的基礎上還得是節點n前的最后一個嚴格支配節點。

支配邊界

Y 是 X 的支配邊界，當且僅當 X 支配 Y 的一個前驅結點（CFG）同時 X 并不嚴格支配 Y

總結

以上是生活随笔為你收集整理的编译原理支配树部分名词介绍的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。