Teaching Materials (Formal Languages and Computation)

While the schedule is suggested so that each of its thirteen segments can be explained during a three-hour class, the lectures correspond to the chapters without any particular time schedule. The lectures also contain additional helpful material, including many examples and figures.

Suggested Thirteen-Week Course Schedule

  • Week One ⋅ Introduction: Motivation and Terminology
    • Chapter 1
  • Week Two ⋅ Formal Languages and Rewriting Systems
    • Chapter 2
  • Week Three ⋅ Regular Languages and Their Models: Finite Automata and Regular Expressions
    • Chapter 3
  • Week Four ⋅ Regular Languages and Their Models: Applications and Properties
    • Chapters 4 and 5
  • Week Five ⋅ Context-Free Languages and Context-Free Grammars
    • Sections 6.1 and 6.2
  • Week Six ⋅ Context-Free Languages and Pushdown Automata
    • Sections 6.3
  • Week Seven ⋅ Context-Free Grammars and Pushdown Automata: Applications in Syntax Analysis
    • Chapter 7
  • Week Eight ⋅ Context-Free Languages: Properties
    • Chapter 8
  • Week Nine ⋅ Turing Machines and Their Languages
    • Chapter 9
  • Week Ten ⋅ Turing Machines: Computability
    • Section 10.1
  • Week Eleven ⋅ Turing Machines: Decidability and Complexity
    • Section 10.2
  • Week Twelve ⋅ Turing Machines and Grammars
    • Chapter 11
  • Week Thirteen ⋅ Conclusion
    • Chapter 12

Lectures (PDF)

The following PDF files contain lectures concerning the topics covered during the thirteen-week course sketched above.

lectures/books/flc_schedule.txt · Last modified: 2013/07/08 09:32 by krivka
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki