a language with explicit and precise rules for i 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, muxh less the semantics of the language