定義可達性 在編譯器理論中一個指令的定義可達性Reaching Definition必然是另外一個指令而這個指令則是一個沒有交錯賦值指令的目標變數舉例來說 d  y   d  x  y 在d中d為定義可達性而在下列的範例中 d  y   d  y   d  x  y d 在 d不再是定義可達性因為d使它不再可能被到達