java - 过程代数的解析器

Question

我想为过程代数创建一个解析器。过程代数具有以下语法:

System=P:[s,l]|(P:[s,l']|P:[s,l])\{a,b}

如何检查字符串语句是否遵循此语法？？？一些伪代码会很有帮助。

Answer 1

在一般情况下，您不能使用正则表达式来完成此任务，因为您有嵌套结构(括号表达式)。您至少需要所谓的“push-down automaton”的力量。

要解决这个问题，您需要一个所谓的“parser”来识别流程语言的语法。

你有语言的语法规范吗？您可以使用类似 ANTLR 的工具来表达语法.

研究此 Google 搜索的结果:Java Parser Generators