Models come in varying degrees of formality, where formality means the degree of definition to the rules of the language being used to do the modeling. Formal systems and formal languages—like mathematics and computer lanuages—have a well-defined syntax and alphabet that specifies strict rules about how to encode something in that language, what strings can be created and how they can be manipulated.