COT 6315/CM 710-R Formal Languages and Computation Theory

Last Edited: Sat May 13 16:35:54 2000 by jnw (Joseph N. Wilson) on hawk.cise.ufl.edu

Syllabus

Semester Credit Hours:
3
Number of Lecture Hours:
31 (62.5 minute) lectures
Class Meeting Time
MWF 3rd Period (11:00:00 AM - 12:02:30 PM)
Instructor
Joseph N. Wilson (jnw@cise.ufl.edu)
Room E314A CSE Bldg. (Overlooking the French Fries.)
Phone: (352) 392-1360
Office Hours: TBA
For Academic Questions Contact:
Joseph N. Wilson (352) 392-1360 FAX (352) 392-1220
For Administrative Questions Contact:
Art Zirger (352) 392-9670 FAX (352)392-1724
Prerequisites:
COP 3530 (Data Structures) and familiarity with discrete mathematics and data structures
Textbook
Michael Sipser, Introduction to the Theory of Computation, PWD Publishing Company, 1997, ISBN 0-534-94728-X.
Course Objectives
To become familiar with the fundamentals of automata theory, formal languages, Turing machines and computability.
Course Description
Introduction to theoretical computer science including formal languages, automata theory, Turing machines, and computability.
Course Requirements:
Homework (30%)
One assignment due each class (after the first class)
Three Midterm Examinations (15% Each)
Final Examination (25%)
Course Outline by Topical Areas:
The course is divided into four major sections dealing with Detailed Outline: