Backus-Naur Form

The Backus-Naur Form, which is also called the BNF, the Backus Normal Form and or the Backus-Naur formalism, is a notation used in the description of a part of syntax of â€Å"sentences† of a language. In about 1959, the Backus-Naur Form was suggested by John Backus, a constituent or part of the thirteen members which comprise the Algol 60 committee. Moreover, John Backus, besides from being a constituent of IBM, is also a major figure responsible for FORTRAN.The Backus-Naur Form, has been used since then to describe the syntax of Algol 60. The BNF along wit its extensions have become standard tools for describing the syntax of programming notations, and in many cases, parts of compliers are generated automatically from a BNF description (Gries, 1981). The specification of the Backus-Naur Form includes a set of derivation rules. This set of deviation rules are written as â€Å" :: = . The in this formula is considered to be nonterminal.The sequences of symbols create the ent ire expression. Furthermore, sequences separated by a vertical bar â€Å"|†, may also consist the expression. The â€Å"|† sign is made use of in order to point out a definite choice. Expression which are not found on the left side, are considered to be terminals. In the present, Backus-Naur Form specifications are created in a form which it is easily read by humans and oftentimes, they are informal, including certain syntax rules and extensions (Bergin, 1996).Syntax rules and extensions state that optional items should be enclosed in square brackets, like in â€Å"[]† and that items which repeat or occur 0 or more times should be enclosed in curly brackets, such as in â€Å" ::= { }. † While, items which repeat or occur 1 or more times should be followed using a â€Å"+. † Syntax rules and extension also state that the non-terminals should be written or typed using plain text, instead of using italics and angle brackets. While the terminals appe ar in bold.Optional choices in a production should be separated through the use of the vertical bar symbol, like in â€Å"| . † If an item in the Backus-Naur Form is repeated, an asterisk â€Å"*† should be placed after the item and that simple parenthesis are used, by enclosing the item, to group the items (Chomsky, 1957). References Bergin, T. J. , & Gibson, R. G. (1996). History of Programming Languages. New York: Academic Press. Chomsky, N. (1957). Syntactic Structures. Mouton: The Hague. Gries, D. (1981). The Science of Programming: Springer-Verlag.