11059-AUTOMATA Automata Theory and Formal Languages TTh 11:30 am - 01:00 pm BCL8