B401 / A595: Fundamentals of Computing Theory	Computer Science, Indiana University