It provides a set of formal rules for describing the structure of objects that are independent of machine - specific encoding techniques .
Is a precise , formal notation that removes ambiguities .
It provides a set of formal rules for describing the structure of objects that are independent of machine - specific encoding techniques and is a precise , formal notation that removes ambiguities .