a language with explicit and precise rules for its syntax and semantics examples include programming language and also logic such as predicate calculus. thus formal language contrast with natural language such as english whose rules , evolving as they do with use , fall short of being either a complete or a precise definition of the syntax, much less the semantics of the language