English Dictionary

When designing the simulator, she carefully modeled the behavior of symbols on the Turing tape to ensure correctness.

シミュレータを設計する際、彼女は正確性を確保するために、チューリング機械の無限の記憶テープ上での記号の振る舞いを慎重にモデル化した。