David Evans http://www.cs.virginia.edu/evans CS150: Computer Science University of Virginia Computer Science Lecture 2: Formal Systems and Languages MU! Lecture 2: Language…