Как упростить изготовление литерала массива JavaScript/ECMAScript?

Question

В настоящее время я использую парсер JavaScript/ECMAScript 5.1 с JavaCC и имею проблемы с продукцией ArrayLiteral.

ArrayLiteral : 
    [ Elision_opt ] 
    [ ElementList ] 
    [ ElementList , Elision_opt ] 

ElementList : 
    Elision_opt AssignmentExpression 
    ElementList , Elision_opt AssignmentExpression 

Elision : 
    , 
    Elision , 

У меня есть три вопроса, я спрошу их один за другим.

---

Я попытался упростить/переписать ArrayLiteral производства изображенной выше и, наконец, прибыл на следующую продукцию (псевдо-грамматики):

ArrayLiteral: 
    "[" ("," | AssignmentExpression ",") * AssignmentExpression ? "]" 

Мой первый вопрос: является ли это переписывание правильным?

Два других quetsions:

• LOOKAHEADs for the JavaScript/ECMAScript array literal production
• How to implement a negative LOOKAHEAD check for a token in JavaCC?

Answer 1

Да, правильно отражает грамматику представленную.

Тем не менее, лучше переписывают бы:

"[" AssignmentExpression ? ("," AssignmentExpression ?) * "]" 

потому что переписывание в ОП не LL (1) - вы не можете различить возможности, не читая весь AssignmentExpression - в то время как с этим вы может определить, какую альтернативу можно использовать, просто взглянув на первый токен.