解决语法列表的解析歧义问题
作者：Byoungho Son 提问时间：6/21/2023
我正在使用 kframework 解析 promela 代码，并在以下语法中遇到歧义：（即两者 和 是带有分隔符的语法列表SequenceDeclLst;) Sequence ::= Step ; ...
promela 问答列表
作者：Byoungho Son 提问时间：6/21/2023
我正在使用 kframework 解析 promela 代码，并在以下语法中遇到歧义：（即两者 和 是带有分隔符的语法列表SequenceDeclLst;) Sequence ::= Step ; ...