1 ranjan d , chang r , hartmanis j . space bounded computations : review and new separation results . theoretical computer science , 1991 , 80 : 289 - 302 . 2 geffert v . nondeterministic computations in sublogarithmic space and space constructability 交替式下推自动机进入存在状态,可以在多种可能性中选择一个可行的而进入万能状态时,就协同地对多种可能性进行并行计算,当且仅当所有可能性都可行时,整个计算才是可行的。
Constructability (or buildability) is a project management technique to review construction processes from start to finish during pre-construction phase. It is to identify obstacles before a project is actually built to reduce or prevent errors, delays, and cost overruns.