hartmanis造句

• 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
  交替式下推自动机进入存在状态，可以在多种可能性中选择一个可行的而进入万能状态时，就协同地对多种可能性进行并行计算，当且仅当所有可能性都可行时，整个计算才是可行的。