reachable

reachable point

[计] 可达点

reachable set

[化] 可达集; 能达集

reachable state

[化] 可达状态; 能达状态

reachable symbol

[计] 可达符号

unreachable

a. 不能到达的, 不能得到的
[计] 执行不到的

unreachable code

[计] 执行不到的代码

unreachable nonterminal

[计] 执行不到的非终结符