A metalanguage used to formally describe the syntax of a language. See BS 6154.
BS 7925-1.British Computer Society Specialist Interest Group in Software Testing (BCS SIGIST)

The W3C make use of this markup technique in their specifications for XML.

I have to confess though that it is like reading treacle. This really is one for maths graduates.