Section outline

  • December 3rd, Wednesday (10:30-12:30)

    Turing Machine

    • Extension of TM
    • Multi-tape TM
    • Nondeterministic TM
    • TM with restrictions
    • TM with semi-infinite tape
    • Multi-stack TM
    • TM and modern computers

    References

    • Hopcroft et al., chapter 8