the ALGOL60 Report in which he used Backus-Naur form to describe the Formal part of ALGOL60.

Words over an alphabet

An alphabet, in the context of formal languages, can be any set; its elements are called letters. An alphabet may contain an infinite number of elements; however, most definitions in formal language theory specify alphabets with a finite number of elements, and many results apply only

1.Previous
3.Next