이것은 NuSMV 언어의 문법의 일부입니다 XText

Question

에 남아 재귀를 제거합니다. 어떻게 해결할 수 있습니까?

감사합니다.

Answer 1

this article 또는 official documentation을 보시면 언어 재귀를 처리하고 연산자 우선 순위를 고려하여 세부적인 방법을 설명합니다.

BasicExpression: 
    firstContent=ExpressionContent ("&" secondContent=ExpressionContent)? 
; 

ExpressionContent: 
    Constant 
    | '(' BasicExpression ')' 
    | '!' BasicExpression 
; 

규칙이 더 이상 재귀 남아 있지 그 방법 :

Answer 2

당신은 단순히 같은 새 규칙 (새로운 계층)을 도입 할 수있다.

인사말 krzmbrzl