David Evans CS150: Computer Science University of Virginia Computer Science Lecture 2: Formal Systems and Languages MU!