CSCI 4325: Automata, Formal Languages, and Computation
CSCI 4325: Automata, Formal Languages, and Computation
Course Information
Instructor: Austin Luchsinger; EIEAB 3.246; austin.luchsinger@utrgv.edu
CRN: S04: 71656
Book: Introduction to the Theory of Computation. M. Sipser, 3rd edition.
Syllabus: CSCI4325-04_syllabus.pdf
Schedule: TR, 11:00 a.m. - 12:15 p.m., EIEAB 2.209
Final: May 13th (T), 10:15 a.m. - 12:00 p.m., EIEAB 2.209
Office Hours: TR, 12:30 p.m. - 2:00 p.m.
Resources
Here are some additional resources, courtesy of Dr. Wylie:
How to Prove it: A Structured Approach. Velleman, 2nd edition, 2006.
Models of Computation. Erickson, J., 2015.
Introduction to Theory of Computation. Maheshwari, A. and Smid, M., 2016.
Lecture slides from MIT. Williams, R., 2019.
Lecture notes from MIT. Aaronson, S., 2008.
Mathematics and Computation. Wigderson, A., 2019.
Introduction to Theoretical Computer Science. Barak, B., 2020.
Discrete Mathematics: An Open Introduction 3rd edition, Levin, O., 2020.
Problem Sets / Assignments