Computer Science 456/656
Automata and Formal Languages
Fall 2013

Check the Assignments and Lecture Topics Page frequently.

Revised December 9, 2013.

Instructor:

Dr. Larmore

Office, TBE B378B. Telephone ☎ 702-895-1096, larmore "at" egr "dot" unlv "dot" edu

Office Hours: Subject to change.

12:30 - 1:30 Mondays and Wednesdays.

2:15 - 3:15 Tuesdays and Thursdays. Starting immediately after my class in CEB 214, then as I walk back to my office.

However, you are always welcome to stop by my office to see whether I am there and have time to see you.

Contacting Me:

You may telephone my office and leave a message. However:

It's best to send me email, since I don't retrieve telephone messages very often. Be sure to write "CS456" (or "CS656") in the subject field so that I know what the message is about. (I delete lots of messages without reading them, based on the subject fields.)

Please, never try to communicate with me by leaving notes on my door, under my door, or in my mailbox in the department office, as those notes get lost, and I can't retrieve them remotely.

If it is necessary to give me something, please leave it with the department staff, and then send me an email message saying that the item has been left for me.

Graduate Assistant:

Jimi Andro-Vasko. Email: androvas "at" unlv "dot" nevada "dot" edu
Office hours: (To be arranged)

Days of Instruction:

August 27, 2013 - December 5, 2013.

Thanksgiving Day Recess:

November 28, 2013.

Time of Instruction:

1:00 - 2:15, Tuesday and Thursday.

Place of Instruction:

CEB 214.

Final Examination:

Tuesday, December 10, 1:00 PM - 3:00 PM

Textbook:

Introduction to the Theory of Computation, by Michael Sipser. PWS. ISBN 0-534-95097-3.

We are using the edition.

Prerequisites:

CS 302 (Introduction to Data Structures) (Formerly CSC 269)

MAT 351 (Discrete Mathematics II).

Click here if you did not take both CSC 302 and MAT 351 at UNLV and receive a grade of "C" or better in each of those two courses.

Graduate Students:

If you want graduate credit, you must enroll in 656, not 456.

Each CSC 656 student must turn in at least one challenge problem and turn it in by the last week of class. CS 456 students are also permitted to work challenge problems, but I will not permit students to improve a poor grade in this manner. The reason for this policy is that I want students who are doing poorly in the course to devote their energy to mastering the regular material.

Compiler Construction:

CS 456/656 is a prerequisite for CS 460/CS 678 (Compiler Construction).

I do not advise you to take that course concurrently.

Written Homework:

will be assigned, collected, and graded. You are permitted to discuss homework.

Examinations:

First Examination: Thursday, September 12.

Second Examination: Thursday, October 10.

Third Examination: Thursday, November 7.

Final Examination: Tuesday, December 10, 1:00 -- 3:00.

Grading:

Your grade will be based on the four examinations and on homework.

Although the homework will take a substantial amount of time to work, and will actually be harder than the examinations, it counts for only a small part of the grade. The reason for this is that I allow you to work together on homework. If you work the homework regularly, you should do well on the examinations.

Topics to be Covered