flex 递归定义导致 flex 扫描器后推溢出

Question

我对 flex 很陌生，我不知道如何处理递归定义。 当我尝试这样做时：

C   A|BA|A{C}|BA{C}

它告诉我

flex scanner push-back overflow

我不知道为什么会这样。我认为它应该可以匹配所有 [BABAA][AAABA ABA] 等。没有 {C} 的端点 BA 和 A 已经定义。 为了解决这个错误，重写定义的正确方法是什么。我现在很困惑。谢谢。

Answer 1

Flex 定义是宏，仅此而已。与 C 预处理器不同，Flex 不检测或​​抑制递归扩展，并且没有条件，因此自引用宏将不可避免地溢出输入缓冲区。 （Flex 通过将替换字符串推回输入缓冲区来扩展宏。与 lex 不同，它用括号括住替换文本以提供一点卫生。）

基本上，弹性模式是真正的正则表达式（在数学意义上）并且只能匹配正则语言。这通常足以识别令牌，这是预期的用例。任何更复杂的事情都应该使用解析器来处理。

在这种情况下，递归位于模式的末尾，您可以只使用重复运算符，例如(B?A)+。