ANTLRworks, создающий интерпретатор из грамматики

Question

Эй У меня быстрый вопрос. Я использую ANTLRworks для создания интерпретатора в Java из набора грамматик. Я собирался написать это вручную, но потом понял, что мне не нужно из-за antlrworks. Я получаю эту ошибку, хотя

T.g: 9: 23: этикетки конфликтов ID с маркером с таким же именем

ли ANTLRworks путь идти при создании переводчика с грамматикой. И действительно ли вы видите ошибку в моем коде?

Я пытаюсь сделать ID одной буквы от a-z и не чувствителен к регистру. и иметь пустое пространство между каждой лексемой. СПАСИБО

grammar T; 

programs : ID WS compound_statement; 

statement:  
if_statement|assignment_statement|while_statement|print_statement|compound_statement; 

compound_statement: 'begin' statement_list 'end'; 

statement_list: statement|statement WS statement_list; 

if_statement: 'if' '(' boolean_expression ')' 'then' statement 'else' statement; 

while_statement: 'while' boolean_expression 'do' statement; 

assignment_statement: ID = arithmetic_expression; 

print_statement: 'print' ID; 

boolean_expression: operand relative_op operand; 

operand : ID |INT; 

relative_op: '<'|'<='|'>'|'>='|'=='|'/='; 

arithmetic_expression: operand|operand WS arithmetic_op WS operand; 

arithmetic_op: '+'|'-'|'*'|'/'; 


ID : ('a'..'z'|'A'..'Z'|'_'). 
; 

INT : '0'..'9'+ 
; 
WS : (' ' 
    | '\t' 
    | '\r' 
    | '\n' 
    ) {$channel=HIDDEN;} 
; 

и здесь грамматика

<program> → program id <compound_statement> 

<statement> → <if_statement> | <assignment_statement> | <while_statement> |  
<print_statement> | <compound_statement> 

<compound_statement> → begin <statement_list> end 

<statement_list> → <statement> | <statement> ; <statement_list> 

<if_statement> → if <boolean_expression> then <statement> else <statement> 

<while_statement> → while <boolean_expression> do <statement> 

<assignment_statement> -> id := <arithmetic_expression> 

<print_statement> → print id 

<boolean_expression> → <operand> <relative_op> <operand> 

<operand> → id | constant 

<relative_op> → < | <= | > | >= | = | /= 

<arithmetic_expression> → <operand> | <operand> <arithmetic_op> <operand> 

<arithmetic_op> → + | - | * |/

Answer 1

Некоторые возможные проблемы в вашем коде:

Я думаю, что вы хотите, чтобы ваш ID тегов, чтобы иметь + регулярное выражение так, чтобы он может иметь длину 1 или более, например:

ID : ('a'..'z'|'A'..'Z'|'_')+ 
; 

Это также выглядит как вам не хватает кавычки вокруг = знака:

assignment_statement: ID '=' arithmetic_expression; 

---

EDIT

Что касается вашего вопроса левой рекурсии: ANTLR является очень мощным из-за функциональности регулярных выражений. Хотя EBNF (например, тот, который вы представили) может быть ограничен в том, как он может выражать вещи, ANTLR может использоваться для выражения определенных правил грамматики намного проще. Например, если вы хотите иметь оператор statement_list в своем составном_соединении, просто используйте инструкцию с закрытием (*). Вроде так:

compound_statement: 'begin' statement* 'end'; 

Сложно, вы можете удалить ненужные правила, такие как statement_list.

Answer 2

Является ли ANTLRworks способ при создании интерпретатора из грамматики.

No.

ANTLRWorks может быть использован только для записи грамматики и, возможно, тест, чтобы увидеть, если он должным образом вход (через отладчик или переводчика). Он не может использоваться для создания интерпретатора для языка, на который вы написали грамматику. ANTLRWorks - всего лишь прикольный текстовый редактор, не более того.

И неужели вы видите ошибку в моем коде?

Как указано Treebranch: у вас не было кавычки = знака в:

assignment_statement: ID = arithmetic_expression; 

делает ANTLR «думать» что вы хотели присвоить метку ID правилу синтаксического анализа arithmetic_expression, который незаконно: вы не можете иметь имя метки, которое также является именем правила (ID, в вашем случае).