Computation

A group of symbols that make a formal mathematical statement.