불충분 규칙이 파싱에 어떻게 영향을 줍니까?

Question

간단한 SQL 언어에 대한 XText 문법을 작성할 때, 시작 기호에서 파생되지 않는 규칙이 구문 분석에 영향을 미친다는 것을 알았습니다.

예. FROM table1; 같은 표현을 구문 분석 할 수 있어야 내 문법의 다음 (매우 간단) 추출물 주어진 :

Start: 
    subquery ';'; 

subquery: 
    /*select=select_clause */tables=from_clause; 

from_clause: 
    'FROM' tables; 

tables: 
    tables+=table (',' tables+=table)*; 

table: 
    name=table_name (alias=alias)?; 

table_name: 
    prefix=qualified_name_prefix? name=qualified_name; 

qualified_name_prefix: 
    ID'.'; 

qualified_name : 
    =>qualified_name_prefix? ID; 

alias returns EString: 
    'AS'? alias=ID; 

with_clause : 
    'WITH' elements+=with_list_element (',' elements+=with_list_element)*; 

with_list_element : 
    name=ID (column_list_clause=column_list_clause)? 'AS' '(' subquery=subquery ')'; 

column_list_clause : 
    '(' names+=ID+ ')'; 

FROM table1;, 나는 다음과 같은 오류 얻을 문자열 구문 분석하려고 :

'no viable alternative at input ';'' on EString

하는 경우를 규칙 with_clause을 제거하면 오류가 사라지고 문자열이 제대로 구문 분석됩니다. with_clause은 Start에서 파생되지 않아도 어떻게 가능합니까?

Answer 1

문제는 술어 (=>)를 사용하면 접두사와 이름

Table_name: 
    name=Qualified_name; 

Qualified_name : 
    (ID '.' (ID '.')?)? ID; 

을 함께 뽑을 수

어쩌면 모호성을 커버하거나

Table_name: 
    ((prefix=ID ".")? =>name=Qualified_name); 

Qualified_name : 
    =>(ID '.' ID) | ID;