python - 如何在Python中实现巴科斯范式

Question

我知道已经有一些与 Python 中的 BNF(Backus-Naur 形式)语法相关的模糊相似的问题，但它们对我的应用程序没有太大帮助。

我有多个 BNF 需要为其编写代码。代码应该能够使用 BNF 语法生成和识别合法字符串。

我使用的第一个 BNF 是针对 Python 中的所有实数。具体如下:

<real number>    ::= <sign><natural number> |
                     <sign><natural number>'.'<digit sequence> |
                     <sign>'.'<digit><digit sequence> |
                     <sign><real number>'e'<natural number>
<sign>           ::= ‘’ | ‘+’ | ‘-‘
<natural number> ::= ‘0’ | <nonzero digit><digit sequence>
<nonzero digit>  ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
<digit sequence> ::= ‘’ | <digit><digit sequence>
<digit>          ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

我发现的用于 Python 的任何 BNF 解析器似乎都异常复杂，或者使用外部库。在 Python 中使用 BNF 语法检查和生成是否有任何更简单的方法？

Answer 1

This post包含一个不需要第三方库的词法扫描器示例。它可能无法满足您的所有需求，但您应该能够将其用作满足您需求的基础。

我不知道您的应用程序是否都与词汇扫描有关 - 但如果不是，ply是一个相当容易使用的解析器(前提是您需要广泛了解解析器的工作原理)。