January 20, 2016 - Welcome to the official site of the CS 133 (Automata Theory and Computability) class of Nestine Hernandez. Here you will find materials you may need for the class and announcements regarding future activities.
Consultation Hours: TTh 2:30-6pm
January 21, 2016 - Starting tomorrow, we will have our classes at CLR 2 every Friday and at CLR 3 every Wednesday.
February 16, 2016 -
Reminder: FIRST LONG EXAM is tomorrow at CLR3, 10-11:30 am.
There are still 3 students who haven't submitted bluebooks for the exam. Make sure you bring a bluebook tomorrow, else you'll be wasting precious time trying to look for one.
April 19, 2016 - Results of 2nd LE is already available. I'll be returning them during class on Wednesday. But if you want to know your score asap, just send me an email.
May 03, 2016 - We won't have classes tomorrow but I will be available for consultation at Rm. 319. Those who have not submitted bluebooks for the exam on Friday, please submit them ASAP.
May 10, 2016 -
Schedule of Reports:
Wed (11 May)
Applications of Automata in Games
Linear bounded Automata and Context-Sensitive Languages
Computational Complexity of the Protein Folding Problem
Friday (13 May)
Limit the report to 20-25mins/group.
Don't forget to cite your references.
On the last slide of your presentation, list down the contribution of each member of the group.
After the report, send your presentation slides via email to firstname.lastname@example.org with subject CS133 Report.