Section outline

  • December 4th, Thursday (14:30-16:30)

    Undecidability

    • String indexing
    • TM encoding
    • TM indexing

    Exercises

    • Minimization of DFA (exercise from final exam of February 13th, 2019)

    References

    • Hopcroft et al., chapter 9