Computation
A group of symbols that make a formal mathematical statement.