ESU's Spring 2013 Theory of Computation Calculator Project