COMP4451 Theory of Computing Lecturer: Dr. Etsuro MORIYA (Waseda University, Tokyo) MWF 10:30-11:30 1/08/2001-3/30/2001

Topics I. FORMAL LANGUAGE & AUTOMATA ・ Formal grammars and languages ・ Equivalent devices: automata II. THEORY OF COMPUTATION ・ Models of computation ・ Computational complexity of problems ・ New trends in computing

How to Teach and Evaluate Mostly writing on the blackboard Not necessarily based on the textbook to be used Exercises for each topic Handouts available from web site http://www.em.cache.waseda.ac.jp/education/Lakehead/ A quiz at the end of each topic Exams in the middle & at the end of the term