Instructor   /   Grader:

• Instructor:   Dr. Yusu Wang	Grader:   Jijo Wilson
  Office Hour:         MW 3:30 - 4:18pm      Room:                   DL 487     Phone:                   292-1309     Email:                   yusu at cse ...       URL  :                   www.cse.ohio-state.edu/~yusu	Office Hours:         Tue 9:30a -- 11:30a, Wed: 10:00a -- 12:00p      Room:                   CL420      Email:                   wilsonji at cse....

  
  

   

Course Description

     
    This course introduces students to the theory of computation via formal languages and models of computation. It focuses on regular languages and contex-free languages. In particular, topics include regular language/expression, deterministic and non-deterministic finite automata, the Pumping Lemma for non-regular languages, context-free languages and pushdown automata.

 
   

Textbook   /   Grading

•   Primary textbook: 

 Introduction to Languages and the Theory of Computation by J. Martin. 3rd Ed.,  McGraw-Hill book company, 2003    

•   Grading policy :

Assignments:   30%,    Midterm:   30%,    Final:   40%

   

Course Materials

• Schedule:
• Lec 1: Course introduction. Basics: what is language? (Ch. 1.1 and 1.5).
• Lec 2: Recursive definition of languages, introduction to regular languages. (Ch. 2.4 (Recursive Defitions), 2.5 (Structural Induction), and 3.1 (Recular languages and expressions))
• Lec 3: Examples on regular expressions. (Ch. 3.1 (Regular languages and expressions))
• Lec 4: More examples on regular expressions. Introducing how to recognize a regular language. (Ch. 3.1, Ch. 3.2 and 3.3 (Finite automata)).
• Lec 5: Examples on designing DFAs (Ch. 3.3).

• Handouts / Homework:
• All homeworks should be submitted IN CLASS on the day it is due. NO LATE HOMEWORK is accepted.
• Homework 1 is here [pdf]. It is due Jan 15th (Friday) in class.
• Homework 2 is here [pdf]. I will release it Jan 20th (Wed), and it is due Jan 27nd (Wed) in class.
• Homework 3 is here [pdf]. It is due on Feb. 3rd (Wed) in class.
• Homework 4 is here [pdf]. It is due on Feb. 12th (Friday) in class.
• Homework 5 is here [pdf]. It is due on Feb. 19th (Friday) in class.
• Homework 6 is here [pdf]. It is due on March 1st (Monday) in class.
• Homework 7 is here [pdf]. It is due on March 10th (Wed.) in class.

   

Announcements:

• Midterm Exam:   Feb. 8th, 2010, 7pm -- 9pm, Session 1 (1:30pm) at DL480, Session 2 (2:30pm) at DL280.
     (Class on Feb. 8th WILL BE CANCELLED and used as office hour.)
• Final Exam:        March 16th, 2010, 7pm -- 9pm, DL480.
     (Note that this is NOT the same as the University scheduled time!)
  
• NOTE: The room for the session at 1:30pm changed to BO318!
• Midterm locations: Session 1 (1:30pm) at DL480, Session 2 (2:30pm) at DL280.
  Midterm covers: Definition of languages, regular languages, regular expressions, DFA, NFA, NFA-Lambda, conversion between some of them, non-regular language (Pumping lemma to prove that a language is nonRL).
• The class on Monday Feb 8th is canceled. The time is changed into office hour.
• Final Exam Locations: Session 1 (1:30pm) at DL480, Session 2 (2:30pm) at DL280.
• Final exam is comprehensive, with a focus on the material after midterm.