If we examine carefully the simulation of multi-tape DTM M by twoway, one-tape DTM M1 of Theorem 4.13, we can see that each move ... [stems Let us now fix a three-tape DTM model as a standard DTM model for space complexity measure.

Title | : | Problem Solving in Automata, Languages, and Complexity |

Author | : | Ding-Zhu Du, Ker-I Ko |

Publisher | : | John Wiley & Sons - 2004-04-05 |

Continue