如何在Lark语法中定义文件结束符（EOF）？

Lark中不需要手动定义EOF符号，解析器会自动识别输入结束的位置，你可以直接用内置的$end引用文件结束符。针对你的需求，推荐两种调整语法的方式：

方案一：优化顶层规则（更清晰无歧义） #

调整text规则，明确元素间的换行要求，同时支持末尾无换行的情况：

NL: "\n"
text: element (NL+ element)* NL*
element: /\w+/ "=" /\w+/

规则逻辑：

• 文本以单个element起始
• 后续可跟随**至少一个换行（含空行）**加另一个element
• 末尾允许零或多个换行（支持文件以空行结尾，或直接结束）

这种写法完全避免了歧义，同时保留了对空行的支持，也能处理不以空行结尾的输入。

方案二：在element规则中直接引用$end #

如果需要在element层面明确处理结束情况，可以用$end替代你之前尝试的自定义EOF：

NL: "\n"
text: (element NL*)* element?
element: /\w+/ "=" /\w+/ (NL | $end)

另外，若要精确保留空白字符用于回写，建议使用Lark的lalr解析器（Lark(..., parser="lalr")），它会保留token的位置信息，方便你后续还原原始空白结构。

内容的提问来源于stack exchange，提问作者evansrhonda