In computer science, Backus–Naur Form (BNF) is a metasyntax used to express context-free grammars: that is, a formal way to describe formal languages. John Backus and Peter Naur developed a context free grammar to define the syntax of a programming language by using two sets of rules: i.e. , lexical rules and syntactic rules.

PropertyValue
dbpprop:abstract
  • In computer science, Backus–Naur Form (BNF) is a metasyntax used to express context-free grammars: that is, a formal way to describe formal languages. John Backus and Peter Naur developed a context free grammar to define the syntax of a programming language by using two sets of rules: i.e. , lexical rules and syntactic rules. BNF is widely used as a notation for the grammars of computer programming languages, instruction sets and communication protocols, as well as a notation for representing parts of natural language grammars. Many textbooks for programming language theory and/or semantics document the programming language in BNF. There are many extensions and variants of BNF, including Extended and Augmented Backus–Naur Forms (EBNF and ABNF).
  • Die Backus-Naur-Form oder Backus-Normalform, kurz BNF, ist eine kompakte formale Metasprache zur Darstellung kontextfreier Grammatiken (Typ-2-Grammatiken in der Chomsky-Hierarchie). Hierzu zählt die Syntax gängiger höherer Programmiersprachen. Sie wird auch für die Notation von Befehlssätzen und Kommunikationsprotokollen verwendet. Ursprünglich war sie nach John Backus benannt, später wurde sie (auf Anregung von Donald E. Knuth) auch nach Peter Naur benannt. Beide waren Informatikpioniere, die sich mit der Erstellung der Algol-60-Regeln und insbesondere mit der Kunst des Compilerbaus beschäftigten. Durch die Backus-Naur-Form im Algol 60 Report wurde es erstmals möglich, die Syntax einer Programmiersprache formal exakt, also ohne die Ungenauigkeiten natürlicher Sprachen, darzustellen. Es gibt viele Varianten der Backus-Naur-Form. Die erweiterte Backus-Naur-Form (EBNF) ist eine gebräuchliche Variante, die unter anderem eine kompakte Notation von sich wiederholenden Elementen erlaubt. Für Syntaxdefinitionen in Internetnormen wird überwiegend die angereicherte Backus-Naur-Form (ABNF) verwendet.
  • La Forma de Backus i Naur o Forma de Backus-Naur o BNF és una notació que té per finalitat descriure les regles sintàctiques dels llenguatges de programació. Va ser concebuda per John W. Backus i Peter Naur arran de la creació del llenguatge Algol 60. Inicialment coneguda com a « Forma Normal de Backus », va esdevenir « Forma de Backus-Naur » per suggeriment de Donald Knuth.
  • Backus-Naurova forma (BNF) je metasyntaxe používaná k vyjádření bezkontextové gramatiky, která se používá pro popis formálních jazyků). John Backus a Peter Naur vytvořili bezkontextovou gramatiku, s jejíž pomocí definovali syntaxi 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émantiky popisuje programovací jazyky pomocí BNF. Existuje řada rozšíření a jiných variant BNF.
  • El Backus-Naur form (BNF) (también conocido como Backus-Naur formalism, Backus normal form o Panini-Backus Form) es una metasintaxis usada para expresar gramáticas libres de contexto: es decir, una manera formal de describir lenguajes formales. El BNF se utiliza extensamente como notación para las gramáticas de los lenguajes de programación de la computadora, de los sistemas de comando y de los protocolos de comunicación, así como una notación para representar partes de las gramáticas de la lengua natural (por ejemplo, el metro en la poesía de Venpa). La mayoría de los libros de textos para la teoría y/o la semántica del lenguaje de programación documentan el lenguaje de programación en BNF. Algunas variantes, tales como la augmented Backus-Naur form (ABNF), tienen su propia documentación.
  • Backus–Naur-muoto (BNF) on metalauseoppi, jota käytetään ilmaisemaan kontekstiriippumattomia kielioppeja. BNF on nimetty John Backuksen ja Peter Naurin mukaan. Backus–Naur-muotoa käytetään usein ohjelmointikielien, komentotulkkien ja tietoliikennekäytäntöjen kielioppien esitysmuotona. Sitä käytetään myös esittämään osia luonnollisten kielten kieliopeista. Useimmat ohjelmointikielien oppikirjoista dokumentoivat kielen BNF-muodossa. Joillain muunnelmilla on omat kielioppinsa.
  • La forme de Backus-Naur (souvent abrégée en BNF, de l'anglais Backus-Naur Form) est une notation permettant de décrire les règles syntaxiques des langages de programmation. C’est donc un métalangage. Elle est utilisée dans certains livres pour décrire le langage étudié, mais également par de nombreux logiciels d’analyse syntaxique pour travailler sur des fichiers sources de plusieurs langages différents. Elle est une notation pour des grammaires formelles de type hors-contexte (car on définit les termes hors de leur contexte, pour replacer ensuite la définition desdits termes dans ce contexte). Cette syntaxe a été conçue par John Backus et Peter Naur lors de la création de la grammaire du langage Algol 60. Initialement appelée Backus normal form (« forme normale de Backus »), elle est devenue la « forme de Backus-Naur » à la suggestion de Donald Knuth.
  • A Backus–Naur forma (ismert még, mint BNF, vagy Backus–Naur formalizmus, Backus normál forma, Bacus-Naur forma, vagy Pánini–Backus forma) egy metaszintaxis, amit környezetfüggetlen nyelvtanok leírására használható: végeredményben formális nyelvek is leírhatók vele. A BNF széles körben használatos a számítógépek programozási nyelveinek nyelvtanának leírására, ideértve az utasítás készleteket és a kommunikációs protokollokat is, valamint egyes természetes nyelvek nyelvtanának A legtöbb programozási nyelv elméleti leírása és/vagy szemantikai dokumentumai általában BNF-ban vannak leírva. A BNF-nek több bővítése és változata létezik és van használatban.
  • La BNF (Backus-Naur Form o Backus Normal Form) è una metasintassi, ovvero un formalismo attraverso il quale è possibile descrivere la sintassi di linguaggi formali (il prefisso meta ha proprio a che vedere con la natura circolare di questa definizione). Si tratta di uno strumento molto usato per descrivere, in modo preciso e non ambiguo, la sintassi dei linguaggi di programmazione, dei protocolli di rete e così via; benché non manchino, in letteratura, esempi di sue applicazioni a contesti anche non informatici e addirittura non tecnologici. La BNF viene usata nella maggior parte dei testi sulla teoria dei linguaggi di programmazione (e molti testi introduttivi su specifici linguaggi). In termini formali, la BNF può essere vista come un formalismo per descrivere grammatiche libere dal contesto. La BNF fu proposta da John Backus durante la definizione del linguaggio di programmazione ALGOL. L'acronimo BNF era inizialmente inteso come Backus Normal Form ("forma normale di Backus"); su suggerimento di Donald Knuth, fu in seguito riletto come Backus-Naur Form, in onore di Peter Naur, un altro membro del comitato ALGOL e pioniere dei linguaggi di programmazione (e più in particolare della realizzazione di compilatori).
  • バッカス・ナウア記法（Backus-Naur Form）とは、文脈自由文法を定義するのに用いられるメタ言語のことで、一般にBNFやBN記法と略される。現在はこのBNFを拡張したEBNF (Extended BNF) が一般的に使われている。EBNFでは正規表現を用いてより簡単に記述でき、プロトコル規定言語であるASN.1や、XMLの構文定義にも利用されている。 ジョン・バッカスとピーター・ナウアがALGOL 60 の文法定義のために考案。当初は文脈自由文法の本来の定義に則り or（|）以外の定義はなく、繰り返しは再帰を利用して表現されている。*、?等を含む正規表現はBNFを拡張したEBNFによって導入された。コンパイラコンパイラを使用してコンパイラやインタープリタを作成する際に、プログラミング言語の構文規則を記述するために使われる場合もある。 ISO/IEC 14977:1996においてEBNFの標準が定義されているが、EBNFにもいろいろな亜種や変種がある。例えば、RFC2234にはABNFという変種が定義されている。しかし、ABNFは標準のEBNFとかなり異なる部分がある。
  • Het Backus-Naur-formalisme (BNF) is een metasyntaxis om contextvrije grammatica's formeel te beschrijven, genoemd naar John Backus en Peter Naur, ontwerpers van de programmeertaal Algol. Soms wordt nog wel de naam Backus Normal Form gebruikt. Een voorbeeld van BNF blijkt uit de definities in het Algol-60-report: <letter> ::= A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z <letter> ::= a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z Hiermee is gedefinieerd wat men onder een letter en een cijfer moet verstaan, en wat interessanter is, er staat wat een identifier is. Dat is een reeks van letters en cijfers, te beginnen met een letter. BNF wordt veel gebruikt maar het wordt niet vaak beschreven. Vaak zijn uitbreidingen nodig op het BNF. Ieder doet dat weer op zijn eigen manier, gebruikt andere symbolen en andere definities. Men spreekt dan wel over Extended BNF (EBNF) of Augmented BNF (ABNF). Er is een standaard voor metasyntaxis opgesteld door het ISO-comité: ISO-EBNF.
  • Notacja Backusa-Naura jest sposobem zapisu reguł gramatyki bezkontekstowej, czyli sposobem opisu języków formalnych. Notacja ta jest powszechnie używana w informatyce do zapisu składni języków programowania i protokołów komunikacyjnych. Została wymyślona przez Johna Backusa w latach 50. w czasie prac nad językiem Fortran, a następnie zmodyfikowana przez Petera Naura i użyta do zdefiniowania składni języka Algol. Notacja BNF jest zestawem reguł produkcji o następującej postaci: Znaczenie użytych tu symboli jest następujące: < – lewy ogranicznik symbolu > – prawy ogranicznik symbolu ::= – jest zdefiniowane jako | – lub Cztery powyższe symbole to symbole metajęzyka – ich znaczenie nie jest określone w języku, który określają. O innych symbolach występujących w regułach produkcji zakładamy, że należą do alfabetu języka lub samego języka.
  • A forma de Backus-Naur (também conhecido como BNF, formalismo de Backus-Naur, forma normal de Backus, ou forma de Panini-Backus) é uma meta-sintaxe usada para expressar gramáticas livres de contexto: isto é, um modo formal de descrever linguagens formais. A BNF é amplamente usada como uma notação para as gramáticas de linguagens de programação, conjuntos de instruções e protocolos de comunicação, e também como notação para representar partes de gramáticas de linguagens naturais. A maioria dos livros-texto para teoria de linguagem de programação e/ou semântica documenta a linguagem de programação em BNF. Há também variantes como a forma aumentada de Backus-Naur (FABN) baseada na BNF, mas que consiste em uma sintaxe e regras de derivações próprias. O princípio norteador desta metalinguagem é descrever um sistema formal de uma linguagem que é um protocolo (especificação bidirecional). Ela está documentada em RFC 4234.
  • Форма Бэкуса—Наура — формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории. БНФ используется для описания контекстно-свободных формальных грамматик.
  • BNF är en förkortning av Backus-Naur Form, efter upphovsmännen John Backus och Peter Naur. I och med BNF-notationen introducerades för första gången en formell notation för att beskriva syntaxen för ett givet språk. Ett språk som går att beskriva med en formell notation definieras som ett formellt språk.
  • Backus-Naur form, adını bilgisayar programcılığının öncüleri John Backus ve Peter Naur'dan alan, 1950'lerin sonunda temelleri Backus'a ait bir makalede ortaya konmuş, formal dillerin yazım kurallarını tanımlamak için kullanılan bir yazım kuralları kümesi. Bilgisayar programlama dillerinin yazım kurallarını özetlemekte sıklıkla kullanılan bir yöntemdir. Örneğin, Naur'un düzenlediği ALGOL60 dilinin tanımlandığı makale, Bakus-Naur formunun bilgisayar dünyasında tanınması açısından önemli rol oynamıştır.
  • Нота́ція Бе́куса—Нау́ра (англ. Backus-Naur form, BNF) є спосіб запису правил контекстно-вільної граматики, себто формою опису формальної мови. Саме її типово використовують для запису правил мов програмування та протоколів комунікації. У 50-х роках минулого сторіччя Джон Бекус створив цю нотацію розробляючи мову ALGOL. На першому Всесвітньому Комп'ютерному Конгресі, що відбувся у Парижі 1959-го він зробив доповідь на тему "Синтаксис на семантика пропонованої першої міжнародної алгебраїчної мови". Пізніше Наур Пітер спростив її та додав до назви своє ім'я.
  • 巴科斯范式（也称为巴科斯-瑙尔范式、巴克斯-诺尔范式）即 BNF 是一种用于表示上下文无关文法的语言，上下文无关文法描述了一类形式语言。尽管巴科斯范式也能表示一部分自然语言的语法，它还是更广泛地使用于程序设计语言、指令集、通信协议的语法表示中。大多数程序设计语言或者形式语义方面的教科书都采用巴科斯范式。在各种文献中还存在巴科斯范式的一些变体，如扩展巴科斯范式 EBNF 或扩充巴科斯范式 ABNF。
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • In computer science, Backus–Naur Form (BNF) is a metasyntax used to express context-free grammars: that is, a formal way to describe formal languages. John Backus and Peter Naur developed a context free grammar to define the syntax of a programming language by using two sets of rules: i.e. , lexical rules and syntactic rules.
  • Die Backus-Naur-Form oder Backus-Normalform, kurz BNF, ist eine kompakte formale Metasprache zur Darstellung kontextfreier Grammatiken (Typ-2-Grammatiken in der Chomsky-Hierarchie). Hierzu zählt die Syntax gängiger höherer Programmiersprachen. Sie wird auch für die Notation von Befehlssätzen und Kommunikationsprotokollen verwendet. Ursprünglich war sie nach John Backus benannt, später wurde sie (auf Anregung von Donald E. Knuth) auch nach Peter Naur benannt.
  • La Forma de Backus i Naur o Forma de Backus-Naur o BNF és una notació que té per finalitat descriure les regles sintàctiques dels llenguatges de programació. Va ser concebuda per John W. Backus i Peter Naur arran de la creació del llenguatge Algol 60. Inicialment coneguda com a « Forma Normal de Backus », va esdevenir « Forma de Backus-Naur » per suggeriment de Donald Knuth.
  • Backus-Naurova forma (BNF) je metasyntaxe používaná k vyjádření bezkontextové gramatiky, která se používá pro popis formálních jazyků). John Backus a Peter Naur vytvořili bezkontextovou gramatiku, s jejíž pomocí definovali syntaxi programovacích jazyků využitím dvou typů pravidel: lexikálního a syntaktického.
  • El Backus-Naur form (BNF) (también conocido como Backus-Naur formalism, Backus normal form o Panini-Backus Form) es una metasintaxis usada para expresar gramáticas libres de contexto: es decir, una manera formal de describir lenguajes formales.
  • Backus–Naur-muoto (BNF) on metalauseoppi, jota käytetään ilmaisemaan kontekstiriippumattomia kielioppeja. BNF on nimetty John Backuksen ja Peter Naurin mukaan. Backus–Naur-muotoa käytetään usein ohjelmointikielien, komentotulkkien ja tietoliikennekäytäntöjen kielioppien esitysmuotona. Sitä käytetään myös esittämään osia luonnollisten kielten kieliopeista. Useimmat ohjelmointikielien oppikirjoista dokumentoivat kielen BNF-muodossa. Joillain muunnelmilla on omat kielioppinsa.
  • La forme de Backus-Naur (souvent abrégée en BNF, de l'anglais Backus-Naur Form) est une notation permettant de décrire les règles syntaxiques des langages de programmation. C’est donc un métalangage. Elle est utilisée dans certains livres pour décrire le langage étudié, mais également par de nombreux logiciels d’analyse syntaxique pour travailler sur des fichiers sources de plusieurs langages différents.
  • A Backus–Naur forma (ismert még, mint BNF, vagy Backus–Naur formalizmus, Backus normál forma, Bacus-Naur forma, vagy Pánini–Backus forma) egy metaszintaxis, amit környezetfüggetlen nyelvtanok leírására használható: végeredményben formális nyelvek is leírhatók vele.
  • La BNF (Backus-Naur Form o Backus Normal Form) è una metasintassi, ovvero un formalismo attraverso il quale è possibile descrivere la sintassi di linguaggi formali (il prefisso meta ha proprio a che vedere con la natura circolare di questa definizione).
  • Het Backus-Naur-formalisme (BNF) is een metasyntaxis om contextvrije grammatica's formeel te beschrijven, genoemd naar John Backus en Peter Naur, ontwerpers van de programmeertaal Algol. Soms wordt nog wel de naam Backus Normal Form gebruikt.
  • Notacja Backusa-Naura jest sposobem zapisu reguł gramatyki bezkontekstowej, czyli sposobem opisu języków formalnych. Notacja ta jest powszechnie używana w informatyce do zapisu składni języków programowania i protokołów komunikacyjnych. Została wymyślona przez Johna Backusa w latach 50. w czasie prac nad językiem Fortran, a następnie zmodyfikowana przez Petera Naura i użyta do zdefiniowania składni języka Algol.
  • A forma de Backus-Naur (também conhecido como BNF, formalismo de Backus-Naur, forma normal de Backus, ou forma de Panini-Backus) é uma meta-sintaxe usada para expressar gramáticas livres de contexto: isto é, um modo formal de descrever linguagens formais.
  • Форма Бэкуса—Наура — формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории. БНФ используется для описания контекстно-свободных формальных грамматик.
  • BNF är en förkortning av Backus-Naur Form, efter upphovsmännen John Backus och Peter Naur. I och med BNF-notationen introducerades för första gången en formell notation för att beskriva syntaxen för ett givet språk. Ett språk som går att beskriva med en formell notation definieras som ett formellt språk.
  • Backus-Naur form, adını bilgisayar programcılığının öncüleri John Backus ve Peter Naur'dan alan, 1950'lerin sonunda temelleri Backus'a ait bir makalede ortaya konmuş, formal dillerin yazım kurallarını tanımlamak için kullanılan bir yazım kuralları kümesi. Bilgisayar programlama dillerinin yazım kurallarını özetlemekte sıklıkla kullanılan bir yöntemdir.
  • Нота́ція Бе́куса—Нау́ра (англ. Backus-Naur form, BNF) є спосіб запису правил контекстно-вільної граматики, себто формою опису формальної мови. Саме її типово використовують для запису правил мов програмування та протоколів комунікації.
rdfs:label
  • Backus–Naur Form
  • Backus-Naur-Form
  • Forma de Backus i Naur
  • Backus-Naurova forma
  • Backus-Naur form
  • Tranvía de Helsinki
  • Backus–Naur-muoto
  • Forme de Backus-Naur
  • Backus–Naur forma
  • Backus-Naur Form
  • バッカス・ナウア記法
  • Backus-Naur-formalisme
  • Notacja BNF
  • Formalismo de Backus-Naur
  • Форма Бэкуса — Наура
  • Backus-Naur-form
  • Backus-Naur form
  • Нотація Бекуса-Наура
  • 巴科斯范式
owl:sameAs
skos:subject
foaf:page
is dbpedia-owl:Person/knownFor of
is dbpedia-owl:knownFor of
is dbpprop:knownFor of
is dbpprop:redirect of