Section outline

  • October 3rd, Tuesday (12:30-14:30)

    Course administration and presentation

    • Cours timetable
    • Textbook & other material
    • Content outline & final exam
    • Statistics

    Introduction to the theory of automata

    • Examples of computational models
    • Recognition models and generative models
    • Proof techniques (to be revisited later)
    • Basics of formal language theory: alphabet and strings
    • String concatenations and its properties

    References

    • Hopcroft et al., chapter 1