This class is taught by Jay McCarthy. Call him Jay. Email him at first-name DOT last-name AT gmail DOT com.
We meet in Olsen 109 at 0800-0955 on MWR.
Jay McCarthy’s office hours are MWR 0700-1300 in Olsen 221.
There is a mailing list hosted at Google Groups. Use it to ask non-revealing questions and receive answers, as well as general course announcements. You are responsible for reading the content of this mailing list.
A survey of the mathematical foundations of Computer Science. Finite automata and regular languages. Stack Acceptors and Context-Free Languages. Turing Machines, recursive and recursively enumerable sets. Decidability. Complexity. This course involves no computer programming.
Regular Languages: Finite Automata
ITC 1.1 (slides)
Regular Languages: Nondeterminism
ITC 1.2 (slides)
Regular Languages: Regular Expressions
ITC 1.3 (slides)
Regular Languages: Nonregular Languages
ITC 1.4 (slides)
Content-Free Languages: Context-Free Grammars
ITC 2.1 (slides)
Content-Free Languages: Pushdown Automata
ITC 2.2 (slides)
Content-Free Languages: Non-context-free Languages
ITC 2.3 (slides)
Church-Turing Thesis: Turing Machines
ITC 3.1 (slides)
Church-Turing Thesis: Variants of Turing Machines
ITC 3.2 (slides)
Church-Turing Thesis: Algorithm Definition
ITC 3.3 (slides)
Decidability: Decidable Languages
ITC 4.1 (slides)
Decidability: Halting Problems
ITC 4.2 (slides)
Reducibility: Undecidable Problems from Language Theory & Mapping Reducibility
ITC 5.1 & 5.3
Jay will not be present on days marked with a * in the Notes column.
This schedule is likely to change.
Out dates are suggestions—
This schedule may change.
I highly recommend that you read this article about grading. I also recommend you read this article about the stress that you may experience in a computer science program. Please try to make healthy productive choices in your life. I would love the opportunity to help you in any ways I can.
You turn in your assignments by putting them on the lectern at the start of class on the day they are due. No assignments will be accepted after class starts. If you cannot turn in your assignment personally, you may have a friend do it or give it to me early. Each assignment should clearly have your name on it and the assignment code (listed in the Code column of the assignment table). I recommend preparing them electronically with LaTeX. In any case, you are responsible for my ability to read and understand the paper.
Each assignment’s page describes how it will be graded. All assignments will receive a grade from the closed interval between 0 and 1.
Exams must be taken in person, at the scheduled time, and must be turned in on stapled-together paper with your writing on it as produced by your hand and a pen or pencil, except in special situations as required by students with special needs. Bring your own paper.
Exams must be completed without any notes, books, or resources of any kind.
Each exam will receive a grade from the closed interval between 0 and 1.
I will compute your homework numeric grade by averaging the homework grades without weighting.
I will take your various points and combine them with this function to get a numeric grade:
> (combine 0.0 0.0 0.0)
> (combine 0.5 0.5 0.5)
> (combine 1.0 0.5 0.5)
> (combine 0.9 0.5 0.8)
> (combine 1.0 1.0 1.0)
> (convert-to-letter 1)
> (convert-to-letter 0.94)
> (convert-to-letter 0.899999)
> (convert-to-letter 0.81)
> (convert-to-letter 0.74)
> (convert-to-letter 0.6999999)
> (convert-to-letter 0.62)
> (convert-to-letter 0.57)
My job is to help you.
If you need a "shallow" amount of help, then look at the Google Group. First, see if I have already answered your question. Then, send your own email.
Only send me personal email if you need to talk about something private, such as your grades. Anything else is best discussed in public, so others can benefit. If you do send personal email, put [CS304] as a prefix in the subject.
If you need a "deep" amount of help, please come to my office or call me (801-361-0732) and we’ll talk and try to resolve whatever ails you.
(ITC) We’ll be using the book Introduction to the Theory of Computation (3rd Edition), by Michael Sipser (Amazon link). (If you need to use a different edition, there will be minor differences, but the main content will be the same. You are responsible for the differences.)
You are expected to procure ITC yourself. It is available in digital formats. I highly recommend searching for it.
The class does not include any software or programming components. However, if you prepare your homework electronically, I suggest using LaTeX.
In this course, all work is to be each student’s own. Students should therefore be familiar with the University’s rules on academic dishonesty, which can be found in the Bulletin of Undergraduate Studies and in the Schedule of Classes. In particular, plagiarism will not be tolerated! Any student caught plagiarizing another’s work will automatically receive a grade of F for the course. If you are unsure as to what constitutes plagiarism, it is your responsibility to check with the instructor. Other forms of dishonesty will result in similar actions. You may collaborate with your classmates on the design and results of the programs you will write in this course, but each student must implement these programs alone. Submission of shared student code is not permissible, and will result in a grade of F for the course. Help files are typically provided for each programming assignment, and students are encouraged to cut and paste useful code from these help files into their assignment submissions, but all other code must be the specific work of each student.
This course is based on 91.304 by Prof. Daniels.