Arithmetic Parser for Theoretical Foundations Fall 2014