Logo
Uniepedie
Sdělení
Nyní na Google Play
Nový! Ke stažení Uniepedie na vašem zařízení se systémem Android™!
Stažení
Rychlejší přístup než prohlížeči!
 

Backusova–Naurova forma

Index Backusova–Naurova forma

Backusova–Naurova forma (BNF) je způsob zápisu bezkontextových gramatik používaných pro popis formálních jazyků.

19 vztahy: ALGOL, Bezkontextová gramatika, Donald Ervin Knuth, Emil Leon Post, Formální jazyk, Internet Engineering Task Force, Jazyk (lingvistika), John Backus, Line feed, Niklaus Wirth, Noam Chomsky, Pánini, Peter Naur, Programovací jazyk, Rekurze, Rozšířená Backusova–Naurova forma, Rozvinutá Backusova–Naurova forma, Syntax, Terminální a neterminální symbol.

ALGOL

ALGOL (zkratka pro ALGOrithmic Language) patří do skupiny imperativních počítačových programovacích jazyků, původně vyvinutý v polovině 50. let 20. století, který výrazně ovlivnil mnoho ostatních a byl standardní metodou pro popis algoritmů, používaný ACM v učebnicích a akademických pracích na dalších více než 30 let.

Nový!!: Backusova–Naurova forma a ALGOL · Vidět víc »

Bezkontextová gramatika

V lingvistice a informatice označuje pojem bezkontextová gramatika formální gramatiku, ve které mají všechna přepisovací pravidla tvar kde A je neterminál a β je řetězec složený z terminálů a/nebo neterminálů.

Nový!!: Backusova–Naurova forma a Bezkontextová gramatika · Vidět víc »

Donald Ervin Knuth

Donald Ervin Knuth (* 10. ledna 1938 Milwaukee, Wisconsin, USA) je přední informatik a emeritní profesor na Stanfordově univerzitě (plným titulem „Professor Emeritus of The Art of Computer Programming“).

Nový!!: Backusova–Naurova forma a Donald Ervin Knuth · Vidět víc »

Emil Leon Post

Emil Leon Post (11. února 1897 Augustów, Ruské impérium (v současnosti Polsko) – 21. dubna 1954 New York, USA) byl polsko-americký matematik a logik židovského původu.

Nový!!: Backusova–Naurova forma a Emil Leon Post · Vidět víc »

Formální jazyk

Formální jazyk je v matematice, logice a informatice libovolná množina konečných řetězců (tj. řetězců konečné délky) nad určitou abecedou.

Nový!!: Backusova–Naurova forma a Formální jazyk · Vidět víc »

Internet Engineering Task Force

Internet Engineering Task Force (zkratka IETF, česky „Komise pro technickou stránku internetu“) je v informatice název organizace, která vyvíjí a podporuje internetové standardy a úzce spolupracuje s konsorciem W3C a organizacemi ISO/IEC.

Nový!!: Backusova–Naurova forma a Internet Engineering Task Force · Vidět víc »

Jazyk (lingvistika)

Jazyk a písmo pojí velmi těsný vztah Jazyk je abstraktní struktura (řád mezi vhodnými primitivy) schopná nést informaci, a tak ji uchovávat a přenášet – sdělovat.

Nový!!: Backusova–Naurova forma a Jazyk (lingvistika) · Vidět víc »

John Backus

John Warner Backus (3. prosince 1924 Filadelfie – 17. března 2007 Ashland) byl americký počítačový vědec.

Nový!!: Backusova–Naurova forma a John Backus · Vidět víc »

Line feed

Line feed (zkratka LF, česky „posun o řádek“) je v počítačové terminologii název pro speciální netisknutelný řídicí znak, který posune kurzor na další řádek.

Nový!!: Backusova–Naurova forma a Line feed · Vidět víc »

Niklaus Wirth

Niklaus Wirth v roce 1969 Niklaus E. Wirth (* 15. února 1934 Winterthur, Švýcarsko) je švýcarský informatik.

Nový!!: Backusova–Naurova forma a Niklaus Wirth · Vidět víc »

Noam Chomsky

Avram Noam Chomsky (* 7. prosince 1928 Philadelphia) je americký filozof, kognitivní vědec, lingvista, logik, společenský kritik a aktivista židovského původu, tvůrce tzv.

Nový!!: Backusova–Naurova forma a Noam Chomsky · Vidět víc »

Pánini

Pánini (Pāṇini) je jméno starověkého indického jazykovědce odvozené od sanskrtského výrazu pani, což znamená potomek pániů.

Nový!!: Backusova–Naurova forma a Pánini · Vidět víc »

Peter Naur

Peter Naur (Frederiksberg, Dánsko –, Herlev) byl dánský informatik a držitel Turingovy ceny.

Nový!!: Backusova–Naurova forma a Peter Naur · Vidět víc »

Programovací jazyk

Programovací jazyk je prostředek pro zápis algoritmů, jež mohou být provedeny na počítači.

Nový!!: Backusova–Naurova forma a Programovací jazyk · Vidět víc »

Rekurze

Rekurzivně definovaný Sierpińského trojúhelník. Rekurze je stav, kdy je určitý objekt v nějakém smyslu součástí sebe samotného.

Nový!!: Backusova–Naurova forma a Rekurze · Vidět víc »

Rozšířená Backusova–Naurova forma

Rozšířená Backusova–Naurova forma je metajazyk používaný v informatice pro definici komunikačních protokolů.

Nový!!: Backusova–Naurova forma a Rozšířená Backusova–Naurova forma · Vidět víc »

Rozvinutá Backusova–Naurova forma

Rozvinutá Backusova–Naurova forma, EBNF je v informatice rodina metasyntaktických notací využívaných pro zápis bezkontextových gramatik.

Nový!!: Backusova–Naurova forma a Rozvinutá Backusova–Naurova forma · Vidět víc »

Syntax

Syntax neboli skladba (zastarale větosloví) je lingvistická disciplína, jež zkoumá vzájemné vztahy mezi znaky (např. vztahy mezi slovy ve větě (mj. větnými členy), správným tvořením větných konstrukcí a slovosledem, také ale čísly nebo logickými symboly).

Nový!!: Backusova–Naurova forma a Syntax · Vidět víc »

Terminální a neterminální symbol

Terminální a neterminální symboly jsou prvky používané v teorii formální jazyků pro popis jazyka pomocí formální gramatiky.

Nový!!: Backusova–Naurova forma a Terminální a neterminální symbol · Vidět víc »

OdchozíPřicházející
Ahoj! Jsme na Facebooku teď! »