乍一看，shunting yard algorithm 似乎适用于 POSIX 正则表达式解析，但由于我在编写解析器方面没有太多经验（或理论背景），所以我想在开始写东西之前问一下 SO只是半途而废。
也许这个问题的一个更复杂的版本是：对于可以应用调车场算法的问题类别，什么是好的正式陈述？
澄清：这个问题是关于你是否可以使用分流算法的基本原理将POSIX re语法解析成抽象语法树，而不是你是否可以使用正则表达式来实现分流算法。抱歉，我说得不够清楚！
【问题讨论】：
【讨论】：
我认为您会遇到一些问题，因为不同的字符在不同的上下文中具有不同的含义，例如
^[^a-z][asd-]
^ 有两种不同的含义，- 也是如此。我想我会选择递归下降解析器。
【讨论】：
[^a-z] 和 [asd-] 都是单独的令牌。没有理由在解析器级别将它们视为更复杂的东西。在建立 FA 时，他们有机会变得特别。
4*strlen(regex) 应该足够了）并且失败情况纯粹是初始分配失败或无效语法。不会出现堆栈使用失控或在失败时回溯和释放部分构建的 AST 的可能性。
我不明白为什么它不适合。查看一些旧代码，似乎我对我的最后一个正则表达式解析器使用了完全不同的解析策略，但是（本质上，从一开始就进行演练，在你进行的过程中构建生成的自动机表示，并带有一些前瞻和递归调用以实现正则表达式的分组）。
【讨论】：
我会说，您的问题的答案是“不，您不能使用正则表达式实现调车场算法。”这与您无法使用正则表达式解析任意 HTML 的原因相同。归结为：
正则表达式没有堆栈。因为调车场算法依赖于堆栈（在从中缀转换为 RPN 时推送和弹出操作数），所以正则表达式不具备执行此任务的计算“能力”。
这掩盖了许多细节，但“正则表达式”是定义正则语言的一种方式。当您“使用”正则表达式时，您是在要求计算机说：“查看一段文本并告诉我这些字符串中是否有任何字符串是我的语言。我使用正则表达式定义的语言。”我将指向this most excellent answer which you and everyone reading this should upvote 了解更多关于常规语言的信息。
所以现在您需要一些数学概念来增强“常规语言”，以便创建更强大的语言。如果您要将调车场算法描述为计算能力模型的实现，那么您可能会说该算法将被描述为context-free grammar（嘿，您知道吗，该链接使用表达式解析树作为例如。）一个push-down automata。有堆栈的东西。
如果您对自动机理论和复杂性类不太熟悉，那么如果不从头开始解释这些维基百科文章可能就没有多大帮助。
重点是，您可以使用正则表达式来帮助编写调车场。但是正则表达式不太擅长进行具有任意深度的操作，而这个问题就是这样。所以我不会花太多时间在正则表达式上解决这个问题。
【讨论】：