Backusova–Naurova forma: Porovnání verzí

m
typo
m (r2.7.1) (Robot: Přidávám fa:فرم بکوس-نائور)
m (typo)
'''Backusova-Naurova forma''' ('''BNF''') je [[metasyntaxe]] používaná k vyjádření [[bezkontextová gramatika|bezkontextové gramatiky]], která se používá pro popis [[formální jazyk|formálních jazyků]]). [[John Backus]] a [[Peter Naur]] vytvořili bezkontextovou gramatiku, s jejíž pomocí definovali [[syntax]]i [[programovací jazyk|programovacích jazyků]] využitím dvou typů pravidel: lexikálního a syntaktického.
 
BNF se často využívá k zápisu (notaci) gramatik počítačových programovacích jazyků, sad instrukcí a komunikačních protokolů, ale také jako notace zastupující části gramatik skutečných jazyků. Řada učebnic o teorii programovacích jazyků nebo [[sémantika|sémantiky]] popisuje programovací jazyky pomocí BNF. Existuje řada rozšíření a jiných variant BNF.