定義可達性

在編譯器理論中 ， 一個指令的定義可達性 （ Reaching Definition ） 必然是另外一個指令 ， 而這個指令則是一個沒有交錯賦值指令的目標變數 ， 舉例來說 ： d1: y: = 3 d2: x: = y 在d2中 ， d1爲定義可達性 ， 而在下列的範例中 ： d1: y: = 3 d2: y: = 4 d3: x: = y d1 在 d3不再是定義可達性 ， 因爲d2使它不再可能被到達 。