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.