マイクロソフト用語集
Backus-Naur form
対訳 バッカスナウア記法
- 解説
- A metalanguage used for defining the syntax of formal languages, both for the developer of the language and for the user. A language is defined by a set of statements, in each of which a language element known as a metavariable, written in angle brackets, is defined in terms of actual symbols (called terminals) and other metavariables (including itself if necessary).
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
Wiktionary英語版
出典：Wiktionary
Backus-Naur form
語源
From the names of computer science pioneers John Backus and Peter Naur. The notation was developed by Backus in 1959 (as Backus normal form) to describe computer languages, specifically ALGOL 58, and expanded and used by Naur in the ALGOL 60 report (the result of a January 1960 meeting). The name change to Backus-Naur form was at the suggestion of Donald Knuth.[1]
名詞
Backus-Naur form (countable かつ uncountable, 複数形 Backus-Naur forms)
- (computing) A formal notation for context-free grammars. [From 1964.]
- 1991, Bernd Teufel, Organization of Programming Languages, Springer, page 26,
- While context-free grammars (which, by the way, directly correspond to Backus-Naur forms) define the syntax of declarations, statements, and expressions, etc. (i.e. the structure of a program), the regular grammars define the syntax of identifiers, numbers, strings, etc. (i.e., the basic symbols of the language).
- 2004, Jason H. Moore, Lance W. Hahn, Systems Biology Modeling in Human Genetics Using Petri Nets and Grammatical Evolution, Kalyanmoy Deb, et. al. (editors), Genetic and Evolutionary Computation, GECCO 2004, Proceedings, Part 1, Springer, LNCS 3102, page 396,
- 2011, Airi Salminen, Frank Tompa, Communicating with XML, Springer, page 215,
- The most common syntactic metalanguage adopted in the computing world is Extended Backus-Naur Form (EBNF). There are many slightly different variants of EBNF, but all of them are based on Backus-Naur Form (BNF), developed in the 1960s for describing the syntax of the Fortran and Algol 60 programming languages.
- 1991, Bernd Teufel, Organization of Programming Languages, Springer, page 26,
使用する際の注意点
The plural may be used when referring to instances of the notation's use (as a form of description of specific grammars) or to specific versions (especially extensions) of the notation.
In computer science, Backus-Naur form is now superseded by extended Backus-Naur form, a family of metasyntax notations encompassing BNF. An EBNF standard was adopted by the International Organization for Standardization (ISO) in 1996 as ISO/IEC 14977. Also in 1996, the World Wide Web Consortium (W3C) used an EBNF to specify XML.
同意語
- (formal notation): Backus normal form (廃れた用法), BNF (abbreviation)
参照
- ^ 1964, Donald E. Knuth, Backus normal Form vs Backus Naur Form, Communications of the ACM 7:12, pages 735–6.
- © 2026 Microsoft
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- All Rights Reserved, Copyright © Japan Science and Technology Agency
- Copyright © 2026 CJKI. All Rights Reserved
- Wiktionary
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのBackus-Naur form (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
