考虑以下BNF语法
BNF语法（巴科斯范式）是一种用于描述形式语言语法的元语言。它由一组产生式规则组成，每个规则表示了一种语法结构的定义。BNF语法通常用于编程语言的设计和描述，以及编译器和解释器的开发。
BNF语法的分类：
- 终结符：表示语法中的基本符号，不能再被分解的符号，通常用单词或字符表示。
- 非终结符：表示语法中的复合符号，可以通过其他符号进行替换或扩展。
- 产生式：表示一种语法结构的定义，由非终结符和终结符组成，使用箭头“->”进行分隔。
BNF语法的优势：
- 简洁明了：BNF语法使用简单的符号和规则描述语法结构，易于理解和学习。
- 规范统一：BNF语法提供了一种标准的语法描述方法，使得不同人之间可以共享和理解语法定义。
- 可扩展性：BNF语法可以通过添加新的产生式规则来扩展语法，方便对语言进行扩展和修改。
BNF语法的应用场景：
- 编程语言设计：BNF语法常用于描述编程语言的语法规则，帮助程序员理解和学习编程语言。
- 编译器和解释器开发：BNF语法可以作为编译器和解释器的设计工具，用于定义语法分析器的规则。
- 文法分析：BNF语法可以用于构建文法分析器，对输入的文本进行语法分析和解析。
腾讯云相关产品和产品介绍链接地址：
- 云服务器（CVM）：提供弹性计算能力，满足不同规模和需求的应用场景。产品介绍链接
- 云数据库MySQL版（CDB）：提供高性能、可扩展的MySQL数据库服务，支持自动备份和容灾。产品介绍链接
- 人工智能机器学习平台（AI Lab）：提供丰富的人工智能算法和模型训练平台，支持图像识别、语音识别等应用。产品介绍链接
- 物联网套件（IoT Hub）：提供全面的物联网解决方案，包括设备接入、数据管理和应用开发等功能。产品介绍链接
- 云存储（COS）：提供安全可靠的对象存储服务，支持海量数据存储和访问。产品介绍链接
- 区块链服务（Tencent Blockchain）：提供高性能、可扩展的区块链解决方案，支持智能合约和数字资产管理。产品介绍链接
以上是腾讯云提供的一些与云计算相关的产品，可以根据具体需求选择适合的产品进行使用。
相关·内容
1回答
雷克萨斯的工作到底是什么？
、、、、
我在为Markdown写一个lexer。在这个过程中，我意识到我不完全理解它的核心责任应该是什么。
lexer最常见的定义是将输入的字符流转换为标记的输出流。
Input → Output
(characters) (tokens)
这听起来很简单，但这里出现的问题是，在将标记的输出交给解析器之前，interpretation应该做多少语义。
以这个Markdown语法为例：
### Headline
*This* is an emphasized word.
它可以由一个lexer转换成以下一系列标记：
Lexer 1输出
.headline("Head
浏览 1提问于2019-02-28得票数 2
我想描述一个复杂的脚本和可能的编程语言。在做任何事情之前，我正在考虑以Backus-Naur的形式描述它(不包括虚拟/示例脚本代码)。
除了Backus-Naur形式之外，还有其他形式来描述语言吗？我应该考虑哪些替代方案？
浏览 1提问于2009-02-13得票数 4
回答已采纳
2回答
我是javacc的新手，我正在尝试写一些语法来练习，我想知道如何准确地使用问号。
因此，我有以下bnf产品。
void expression():{}{term() summe()}
void summe():{}{(<PLUS_MINUS_OP> term() summe())?} // here is the question mark
我的问题是，如果我在summe()之后的第一个bnf生产中打上问号，并将其从第二个bnf生产中删除，这有什么不同。如下所示：
void expression():{}{term() (summe())?} // here is the que
浏览 15提问于2020-11-12得票数 0
4回答
我必须编辑很多.bnf格式的语法文件。在Emacs中有这样的模式吗？
我看过CEDET的语义包，它似乎曾经有一个bnf模式，但现在不再有了。这段代码是可以googlable的，但是semantic-bnf-mode似乎并不存在：
(autoload 'semantic-bnf-mode "semantic-bnf" "Mode for Bovine Normal Form." t)
(add-to-list 'auto-mode-alist '("\\.bnf$" . semantic-bnf-mode))
浏览 1提问于2009-11-26得票数 8
1回答
RFC语法定义
、、
我希望将我们的规范提升到更好的语法、语义等细粒度定义的水平。我阅读了我的公平份额的RFCs，只是喜欢他们定义的东西，如“电子邮件地址的样子”或“什么是正确的URL”。
但是，我还没有找到这些定义的语法定义。例如，你如何定义可选部件？你如何定义重复？如何正确定义替代方案(/与|)
是否有一个RFC定义了所有其他RFCs使用的语法来定义它们的实际域特定的定义，我可以适应我们的规范？
浏览 0提问于2014-04-30得票数 1
回答已采纳
1回答
用BNF写句子的语法是什么？它的结构或正确性并不重要。我只关心它是否有一个或更多的单词，这些词可以用空格分隔，也可以不包含符号或数字。
浏览 3提问于2021-05-18得票数 0
回答已采纳
1回答
我有一个描述语言的EBNF语法。我想知道是否有一个等价的LL(1) BNF语法，这样我就可以在没有"“的情况下为该语言构建一个递归下降解析器。
我面临的问题是，我的EBNF包含如下规则：
StatementList: Statement (',' Statement)* ','?
如果我使用"method 1“- 将其转换为BNF，但使用的是右递归而不是左递归，则会得到以下结果。不幸的是，这种对StatementList EBNF规则的转换永远不可能是LL(1)语法的一部分，因为','是StatementList1的第一组和下面的
浏览 5提问于2020-09-22得票数 0
5回答
以下是C#语言规范语法部分的摘录：
这是用一种特定的格式写的吗？我查看了我发现的一个旧的C++ ISO中的语法部分，它似乎遵循相同的格式，那么这里是否使用了一些标准来编写这个语法呢？我之所以这样问，是因为我希望能够创建一个工具，可以直接粘贴语法，并立即拥有一个工作的C#解析器。
微软似乎免费发布了他们的C#规范，但我在任何地方都找不到C++11格式。我要买这个才能看到吗？
浏览 10提问于2012-08-23得票数 3
回答已采纳
我在如何在BNF中表达一些递归的东西时遇到了麻烦。在我的例子中，'term‘可以由一个值，乘法和除法组成(如图所示)，我想出了以下方法：
<term> ::= <value>
| <value> “*”
| <value> “/”
浏览 3提问于2015-10-20得票数 1
阅读URI语法描述()并试图理解它们的语法描述意味着什么。
例如，URI必须有一个模式部分，它受以下语法描述的限制：
scheme = ALPHA *( ALPHA / DIGIT / "+" / "-" / "." )
但是规范从不告诉您什么是*(和/意思)。任何引文似乎都意味着字符和ALPHA和位似乎是与字母数字集相关的ASCII字符集。我猜/是一个或，(可能是一个组，*可能是0或更多)。但它在规范中没有得到澄清。
还有其他语法描述，如：
URI = scheme ":" hier-part [ &#
浏览 7提问于2022-11-24得票数 0
回答已采纳
我想提出一种语言语法。我读过一些关于这三个方面的文章，我真的看不到一个人可以做另一个人不能做的事情。有什么理由使用一个而不是另一个？或者这只是一个偏好的问题？
浏览 0提问于2010-04-05得票数 38
回答已采纳
这里有一组用于整数算术表达式的标准BNF，我想知道的是这个BNF是怎么来的？为什么我们需要定义以下三种非终结符("expr"，"term“和"factor")？
expr -> term [ ('+' | '-') term ]*
term -> factor [ ('*' | '/') factor ]*
factor -> '(' expr ')' | identifier | number
浏览 0提问于2018-05-05得票数 0
1回答
我正在写一种小型的命令语言。该语言有几个简单的命令，可以组合成复杂的命令。例如，如果我们有命令fry an egg，make a sandwich，make coffee，我们可以创建一个新命令：
make a breakfast := fry an egg, make a sandwich, make coffee。
然而，有时我早餐只想要咖啡，有时咖啡和三明治都想要，等等。也就是说，make a breakfast可以是命令集的任何子集：{fry an egg, make a sandwich, make coffee}
因此，我需要一个规则来定义给定的一组简单命令的功率集。这有意义吗？我
浏览 1提问于2011-01-20得票数 1
2回答
语法中有4个词汇元素
G = (S, N, T, P)
其中G=语法，S=起始符号，N=非终结符，T=终结符，P=产生式规则
我想知道N是否总是与P相等，因为据我所知，P是可以被其他词位取代的词位
因此，在此示例中：
<program> --> <stmts>
<stmts> --> <stmt> | <stmt> ; <stmts>
<stmt> --> <var> = <expr>
<var> --> a | b | c | d
<expr&
浏览 3提问于2012-05-30得票数 1
回答已采纳
1回答
我看到了两种解析方法：
使用像这样的解析器生成器。这使您可以使用BNF指定语言，而不必担心解析的复杂性。但是，由于它是一个预处理程序，所以您必须以文本的方式编写整个解析树。
直接使用像这样的解析器。通过这种方法，您可以直接访问代码，从而可以编程地生成解析器，但您还没有方便地使用have的简单BNF规范以及优先级注释等。此外，从解析代码中打印出一个BNF树用于文档，这似乎并不简单，除非在构造过程中考虑到了这一点。
我想做的是这样的事情：
以编程方式生成表示BNF的数据结构。
将其传递给一个“高兴喜欢”的解析器生成器来生成一个解析器。
通过一个漂亮的打印机来生成实际的B
浏览 1提问于2017-04-23得票数 0
1回答
我想为Intellij Idea的语言制作一个插件。该语言是使用Eclipse开发的，并且是开源的。Eclipse已经存在一个插件。
我的目标是将这种语言移植到Intellij Idea。我希望能够使用Intellij创建源文件，具有特定的语法突出显示，并能够编译和运行用这种语言编写的程序。
是否有一种使用Xtext项目生成Intellij插件的简单方法？
如果没有，是否有一个有效的解决方案能够在Intellij中突出显示特定的语法？(如果可能的话，我不希望每次更新Xtext项目时都重写所有内容)
浏览 5提问于2018-11-18得票数 5
我正在为寻找一个官方的BNF/EBNF，这样我就可以编写一个解析器/解释器来摸索(理解) CLIPS规则。
我在网上搜索过，包括官方的剪辑文档，但我只找到了BNF的部分(不是整个BNF)。
有谁有完整的(E)BNF语法的来源吗？
浏览 15提问于2022-01-21得票数 1
回答已采纳
4回答
我有一个生物学数据库，我想查询一下。还有一个给定的术语库，我可以访问它，它有可形式化的谓词。我想使用上面提到的谓词为这个DB构建一个查询语言。你会怎么做？我的解决办法如下：
将谓词形式化
转换成查询语言(sql，sparql，依赖)
使用ANTLR或其他此类工具构建特定语言
翻译从3到2。
这是一个有效的方法吗？有更好的吗？任何指示都将不胜感激。
浏览 7提问于2009-11-17得票数 11
回答已采纳
在阅读使用Backus (BNF)定义的语法时，我注意到语法似乎从未使用显式重复符号，如*或+。这是反对扩展巴克斯-诺尔形式，然而，它似乎有明确的重复符号。关于EBNF的维基百科文章提到了这一点，特别是在约定一节中：
表示扩展BNF的每个运算符及其隐含优先级的正常字符是(顶部的最高优先级)：‘*重复-符号-符号-除-符号，级联符号定义-分隔符-符号=定义-符号；终止符-符号。终止符-符号
尽管我以前研究过BNF，但我从未真正理解BNF如何表达EBNF中容易捕捉到的许多功能，特别是重复。
在更仔细地观察了BNF语法之后，我相信在产品中使用递归定义可以捕获重复。例如：
<number>
浏览 0提问于2017-08-28得票数 1
回答已采纳
3回答
使用BNF的编译器编译器
、、、
为什么没有直接使用BNF的解析器生成器？
我熟悉和，最近还接触到了。似乎每一个都有它自己的符号。BNF非常容易阅读，而其他符号则不容易。是不是有什么内在的原因导致我不能将BNF提供给编译器编译器并得到解析树呢？
浏览 6提问于2014-10-24得票数 7
1回答
来自的第二章语法
本章介绍了JavaScript优秀部分的语法，简要介绍了语言的结构。我们将用铁路图来表示语法。
解释这些图表的规则很简单：
你从左边的边缘开始，沿着轨道走到右边的边缘。
在进行过程中，您将遇到椭圆形的文字，以及矩形中的规则或描述。
任何可以通过跟踪轨道来制作的序列都是合法的。
任何不能通过跟踪来制作的序列都是不合法的。
铁路图的两端各有一个栏，允许在任意对令牌之间插入空格。两端都有两根铁轨的铁路图是没有的。
本章介绍的好部分的语法比整个语言的语法要简单得多。
我见过，它基本上重申了书中的内容。那么这里的记号是什么意思呢？
浏览 2提问于2013-07-22得票数 0
回答已采纳
我想解析一下这个
VALID_EMAIL_REGEX = /\A[\w+\-.]+@[a-z\d\-]+(\.[a-z]+)*\.[a-z]+\z/i
以及正则表达式过程的其他变体。有没有人知道该怎么做？
提前谢谢。
编辑:我尝试在一个lexer规则中加入所有正则表达式符号和字符，如下所示
REGEX: ( DIV | ('i') | ('@') | ('[') | (']') | ('+') | ('.') | ('*') | ('-') | ('\\
浏览 1提问于2017-05-05得票数 0
1回答
在工作中，我们使用一种业务规则语言，这种语言最初是为“商务”人员设计的，但现在已经被程序员使用了。IDE/Eclipse插件并不是我们所说的“IDE”，但是现在在最新版本的独立IDE中添加了一个Eclipse插件，我们想要创建一个具有语法着色、检查等功能的Eclipse编辑器插件。
我一直在看Xtext教程，但似乎就是不能掌握语法语言的概念，如果我提供一些商业语言的例子，有人可以提供一个语法例子和一些解释，以及它是做什么的。
示例：
varString is a string initially "Dog"; //String - 'a' can be
浏览 3提问于2011-12-23得票数 1
1回答
我读了一篇关于BNF的论文，有一些代码我不懂。
terminal ::=
"""value":"value"""
value ::=
["$"]letters_and_or_digits
我不明白"""value":"value"""的意思。
letters_and_digits没有更多的定义。这能让它工作吗？或者如果我想定义letters_and_or_digits。我该怎么办？
谢谢。
浏览 0提问于2015-08-07得票数 0
我正在尝试定义BNF的BNF。换句话说，我正在尝试定义BNF的元文法。也就是说，BNF文法是其自身的一个实例，可以生成任何其他BNF文法。
任何提示/提示/片段都将不胜感激！
谢谢!
浏览 0提问于2012-02-28得票数 12
回答已采纳
我正在阅读道格拉斯·克罗克福德( Douglas Crockford )的"Javascript，美好的部分“(Javascript，The Good Parts)，很难理解所有铁路图表的用法。他也没有详细说明这一点。他只是说了以下(关于pg )。21)
解释这些图表的规则很简单：
你从左边的边缘开始，沿着轨道走到右边的边缘。
在进行过程中，您将遇到椭圆形的文字，以及矩形中的规则或描述。
任何可以通过跟踪轨道来制作的序列都是合法的。
任何不能通过跟踪来制作的序列都是不合法的。
铁路图的两端各有一个栏，允许在任意对令牌之间插入空格。两端都有两根铁轨的铁路图是没
浏览 1提问于2013-10-14得票数 17
回答已采纳
1回答
我在谷歌上寻找是否有可能使用BNF语法创建一个LL解析器，但我在维基百科上看到他们使用的内容如下
S → F
S → ( S + F )
F → a
它不是BNF语法。是否可以使用BNF语法来创建LL解析器，或者您必须只使用LL语法？
感谢‘s
浏览 0提问于2015-08-12得票数 0
我正在研究SVG路径数据的BNF语法，其中一个派生规则是：
digit-sequence ::= digit | digit digit-sequence
此规则与以下规则之间是否存在语义差异：
digit-sequence ::= digit digit-sequence | digit
|在BNF语法中到底是什么意思？应该选择第一个匹配，还是应该选择消耗输入最多的那个？
浏览 0提问于2014-09-08得票数 0
1回答
如果你看到一个'BEGIN‘，那么在这一行你肯定看到了一个'END’，我该怎么对antlr说呢？
以下是我的代码(当我有多个语句时，我只需要BEGIN/END )
whileStatement
: 'WHILE' expression 'DO'
'BEGIN'?
statement
'END'?
;
和我的声明
statement
: assignmentStatement
| ifStatement
浏览 1提问于2011-03-26得票数 1
回答已采纳
1回答
扩展BNF问题
、、、
我有一些关于扩展BNF的问题。
(* Extended BNF grammar *)
min = 5;
max = 10;
value = integer; (* How can I set the range rule: `min <= value <= max`? *)
第二个问题：
name = letter, { letter | decimal digit };
(* The common length of the comment line must be not more than 128 characters.
But I don't know the n
浏览 1提问于2013-07-22得票数 1
1回答
根据this教程，我正在制作一个自定义语言支持插件，并且我被一些.bnf概念所困。假设我想解析一种简单的计算器语言，它支持+、-、*、/、一元-和括号。这是我目前所拥有的： Flex： package com.intellij.circom;
import com.intellij.lexer.FlexLexer;
import com.intellij.psi.tree.IElementType;
import com.intellij.circom.psi.CircomTypes;
import com.intellij.psi.TokenType;
%%
%class Circo
浏览 31提问于2019-05-17得票数 0
1回答
我正试图解决编程中最可怕的部分，那就是解析和AST。我正在使用F#和FParsec编写一个简单的示例。我想解析一个简单的乘法系列。不过，我只会得到第一个学期的回报。以下是我到目前为止所拥有的：
open FParsec
let test p str =
match run p str with
| Success(result, _, _) -> printfn "Success: %A" result
| Failure(errorMsg, _, _) -> printfn "Failure: %s" errorMsg
浏览 2提问于2019-03-07得票数 3
回答已采纳
1回答
我有工作簿，包含4个主要的工作表，命名为
下周MONTHMAIN BNF周BNFBNF
现在我在一个名为MAIN的工作表中工作，我想要公式，如果单元格R6 =1，那么从第一页(即BNF周)获取数据，如果R6 =2，那么下周从第2页( BNF )获取数据，以此类推。
目前使用以下公式
=INDEX('BNF WEEK'!$E$2:$E$500,MATCH($J10+L$5&L$7,'BNF WEEK'!$XER$2:$XER$543,0))*-L$6
浏览 4提问于2021-05-05得票数 0
1回答
该公司的YACC支持扩展的吗？
、、、、
总是使用“简单”的BNF。下面是我愚蠢开发的一个例子：
def p_expression(p):
"""expression : NUMBER
| NAME
| NEGATION
| INCREMENT
| DECREMENT
| expression operator expression"""
if __name__ == "__main__":
le
浏览 2提问于2016-08-03得票数 0
回答已采纳
1回答
以下是BNF形式的简单DDC编译器的歧义语法：
<expr> ::= <term> | <expr> <op1> <expr>
<term> ::= <decimal arg> | <term> <op2> <decimal arg>
<decimal arg> ::= <digit> | <decimal arg> <digit>
<digit> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7
浏览 1提问于2013-01-18得票数 0
回答已采纳
4回答
我在编程方面有点新手(好吧，非常新手)，我遇到了扩展的Backus Naur表单，或EBNF，并决定尝试找出如何使用它。不幸的是，尽管他们在网上有大量关于EBNF如何工作的解释，但关于如何实际实现它的解释却少之又少。所以我用C语言写了一个简单的小程序，看看会发生什么。下面是我写的内容：
#include <stdio.h>
#include <stdlib.h>
mixture : [letter|digit] {letter | digit};
integer : [ "+"|"-"] digit {digit};
naturalN
浏览 5提问于2012-02-14得票数 1
1回答
我有以下文本，并希望将其转换为数据结构。
案文如下：
pcp-action:MESSAGE\npcp-channel:apc\:///\npcp-body-type:text\nPUBLIC:THISPK\nTOPIC:SEND\n\nHello Foo
我想知道，使用Parser是否有意义。老实说，在这种情况下，我看不到使用Parser的意义，因为结构不在BNF中，比如JSON，而且也不是递归枚举的。
什么时候用Parser将文本转换为数据结构是有意义的？
更新
我忘记提到上面的文本是基于下面的描述，即在这里编写的。
看起来，它是基于语法的。
浏览 1提问于2019-03-25得票数 0
回答已采纳
1回答
支架和支架在BNF中的使用？
、、、、
请考虑以下几点：
函数参数列表是一个由零个或多个参数组成的序列，以逗号分隔，括号内为"(“和")”。
如果我想给出“函数参数列表”的语法，假设已经定义了“参数”的语法类别，我可以写：
<function parameter list> ::= ( [<parameter> { , <parameter>} ] )
作为一个BNF？对于EBNF来说，括号的使用是否可以接受？
最初，我的想法是给予BNF如下：
<function parameter list> ::= ( <parameter> )
浏览 1提问于2015-03-11得票数 1
回答已采纳
2回答
根据AIMA (Russell & Norvig，2010)，这是FOL与平等的BNF语法：
我如何把它转换成云雀语法？具体来说，我如何使用lark语法来表示n进制谓词？
浏览 10提问于2022-11-13得票数 0
回答已采纳
我不想实现我自己的JsonPath库，但是我找不到它的语法的标准定义。我找到了，但它看起来复杂得多。在哪里可以找到JsonPath语法的完整版本？
浏览 2提问于2018-01-19得票数 2
1回答
有什么方法可以用自定义(e)bnf解析源字符串并将AST作为json吗？让我解释一下我需要什么：
我有源字符串和bnf语法(也是字符串)。
我把EBNF当作莱克星。
添加源。
获取AST并将其保存为JSON。
浏览 3提问于2013-11-15得票数 1
回答已采纳
2回答
我的BNF出了点问题。我不知道什么似乎是做事情的标准方法(如果有)，也不知道是否有像char或int这样的类型或任何已经内置的类型。
然而，我的主要问题是不理解花括号中的BNF部分是如何工作的。
假设如下所示：
exp : term {$$ = $1;}
| exp '+' term {$$ = $1 + $3;}
| exp '-' term {$$ = $1 - $3;}
;
(这是从某个地方偷走的，是给yacc
浏览 0提问于2010-10-28得票数 3
回答已采纳
1回答
是否有可能构造一个解析器组合器库，它读起来像一个BNF语法？我什么也不知道，所以我开始想，这样做是不可能的，还是不可取的。在我看来，这是两个世界中最好的。
函数语言(如F# )允许操作符重载。这仅仅是提供正确的语法的问题，还是还有更多的问题？
浏览 0提问于2012-02-16得票数 7
1回答
EBNF
<A> ::= <B><C> '('[<D>{,<D>}]')';
当我解决这个问题时，结果是这样的：
BNF
<A>::=<B><C>(); |<B><C> (<D>|<A><D>);
答案正确吗？
浏览 4提问于2021-10-09得票数 0
1回答
我想为vim编写bison语法文件。我已经设法为definition部分编写了语法规则。现在我正在尝试编写bison规则的语法规则。所以，我有
rule : identifier ":" rightHandSidePart ( "|" rightHandSidePart )* ";"
哪里
rightHandSidePart : listOfIdentifiers "{" /* some C code here */ "}"
listOfIdentifiers : listOfIdentifiers identif
浏览 4提问于2011-08-31得票数 2
1回答
我是说，就像
LISTOF(EL) := "[" EL ("," EL)* "]"
LISTNUM := LISTOF(NUMBER)
LISTID := LISTOF(IDENT)
所以，用定义
NUMBER := ('0'-'9')*
IDENT := ('a'-'z'|'A'-'Z')*
我们有以下消息
[435,657,44]是LISTNUM的例子，
[dsf,thg,ewre]就是LISTID的例子。
或另一个示例(e表示空字符串)
A(0)
浏览 0提问于2016-03-24得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
