Definition:Backus-Naur Form/Specification

From ProofWiki
Jump to navigation Jump to search

Definition

A definition of an object language $\LL$ in Backus-Naur form is called a specification of $\LL$.