Organizational matters

• Audience: Master students
• Presentation: Tuesday, 25 January 2010, 10:00 (Leo 2)
  
• Draft: Sunday, 5 December 2010, 23:59 (optional, but strongly recommended)
• Final workout: Sunday, 19 December 2010, 23:59

Guidelines

• Announcement presentation
• Mandatory hints for the textual workout and the oral presentation
• Further useful hints for the textual workout
• Further useful hints for the oral presentation
• Document templates for Word and LaTeX

Literature

• John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation  (1st ed.). Addison-Wesley, 1979; or subsequent editions (2000, 2006).
• Glynn Winskel, Formal Semantics of Programming Languages. MIT Press, 1993.

• Seitenanfang
• zurückblättern