Backusova–Naurova forma: Porovnání verzí

Velikost nezměněna ,  před 6 lety
Oprava odkazu na ALGOL.
m (Odstraňuji šablonu {{link GA}} (vkládanou Wikidaty - skript od Amira))
(Oprava odkazu na ALGOL.)
 
== Historie ==
John Backus vytvořil tuto notaci, aby vyjádřil gramatiku [[AlgolALGOL|ALGOLu]]. Na prvním Světovém počítačovém kongresu konaném v Paříži v roce 1959 Backus přednesl příspěvek ''Syntaxe a sémantika navrhovaného mezinárodního algebraického jazyka z curyšské konference ACM-GAMM'', v němž formálně popsal mezinárodní algebraický jazyk (IAL) později nazvaný ALGOL 58. Formální jazyk, který Backus představil, byl založen na produkčním systému [[Emil Leon Post|Emila Posta]]. Generativní gramatiky se pak staly objektem intenzivních matematických studií, prováděných např. [[Noam Chomsky|Noamem Chomskym]], který je aplikoval na gramatiky skutečných jazyků.
 
Peter Naur označil Backusovu notaci za Backusovu normální formu (ALGOL 60, 1963) a zjednodušil ji, aby minimalizoval počet používaných znaků. Na návrh [[Donald Knuth|Donalda Knutha]] bylo Naurovo jméno přidáno do názvu jako uznání za jeho práci v oboru a nahradilo „N“ ve zkratce, neboť Knuth argumentoval tím, že BNF ''není v žádném případě normální''. Backusova-Naurova forma, resp. gramatika BNF, je do značné míry podobná Paniniho pravidlům gramatiky, proto bývá někdy nazývána Paniniova-Backusova forma.
Neregistrovaný uživatel