CS 4410

Automata Theory, Computability, and Formal Languages

Spring, 2016

Instructor:

Recommended Texts:
Introduction to Automata Theory, Languages and Computation(1st Edition)
Authors: John E. Hopcroft, Jeffrey D. Ullman
ISBN: 978-0201029888

An Introduction To Formal Languages And Automata
Author: Peter Linz
ISBN: 9781449615529

There are a wide variety of resources for this material -- we'll discuss options in class . . .

General Introduction: The content of this course is the fundamental theoretical background underlying much of Computer Science. You will find that during the course you will need (and develop) a fair degree of `mathematical maturity.' We will be doing proofs, and working in abstract areas on abstract concepts. The course will be challenging, but rewarding . . .

Requirements/Responsibilities: The grades for this course will be based primarily on written homework. We may also have a final paper/project. Each component will carry approximately the same weight. Plus/minus grading may be used.

The work you do for this course will be your own. You are not to submit other people's work and represent it as your own. However, I do expect and encourage you to work collaboratively with others during the course.