Backusova–Naurova forma: Porovnání verzí

m
Robot: nahrazení kouzelného odkazu RFC; kosmetické úpravy
m (DvorapaBot přesunul stránku Backusova-Naurova forma na Backusova–Naurova forma: Robot: změna konsensu dle WP:Název článku)
m (Robot: nahrazení kouzelného odkazu RFC; kosmetické úpravy)
 
== Historie ==
John Backus vytvořil tuto notaci, aby vyjádřil gramatiku [[ALGOL|ALGOLu]]u. 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.
[[Rozvinutá Backusova-Naurova forma]] (Extended Backus–Naur form, EBNF) je metasyntaktická notace používaná k vyjádření bezkontextové gramatiky. Původně byla vyvinuta [[Niklaus Wirth|Niklausem Wirthem]], dnes je však většina proměnných EBNF standardizována a definována normami, zejm. ISO-14977 pod kódovým označením ISO/IEC 14977:1996(E).
 
[[Rozšířená Backusova-Naurova forma]] (Augmented Backus–Naur form, ABNF) vychází z BNF, má však svůj vlastní specifický syntax a pravidla odvozování. Základním principem tohoto meta-jazyka je popsat formální systém jazyka. ABNF je zanesen do [[rfc:4234|RFC 4234]] a je často používán jako definovací jazyk pro komunikační protokol [[IETF]].
 
{{Překlad|en|Backus-Naur form|177890932}}
422 684

editací