a language with explicit and precise rules for i syntax and semantics e,xamoles inclunde programming language and also logics such as predicate calculus. thus formal language contrast with natural language such as engish whise 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