Category:Definitions/Named Definitions/Naur

From ProofWiki
Jump to navigation Jump to search

This category contains definitions named for Peter Naur.

Danish astronomer, computer scientist and empirical philosopher who was significantly involved in the development of ALGOL.

The metalanguage Backus-Naur Form was named after John Warner Backus (who invented it) and him (who refined it), but would rather it were called Backus Normal Form.

Subcategories

This category has only the following subcategory.

Pages in category "Definitions/Named Definitions/Naur"

This category contains only the following page.