Python PLY Parser — анализ матрицы как списка списков

Не все является expression :-)

В частности, внутри матричных скобок находится список строк, разделенных точкой с запятой, и каждая строка представляет собой список выражений, разделенных запятыми. Ваша грамматика должна отражать этот простой факт, а не просто сваливать эти списки в expression нетерминал. В противном случае вы обнаружите, что он принимает списки, разделенные точкой с запятой и запятой, вне контекста. Что, я полагаю, является основой вашего вопроса.

Кроме того, как я думаю, мы уже обсуждали, если ваша функция действия должна выполнить проверку, это, вероятно, указывает на то, что вы не используете преимущества своей грамматики. И это действительно так.

Итак, давайте начнем сверху. Матрица представляет собой список строк, разделенных точкой с запятой, заключенных в квадратные скобки. Другими словами:

matrix     : '[' row_list ']'
row_list   : row
           | row_list ';' row

Строка представляет собой список значений, разделенных запятыми (на данный момент, выражений), заключенных в квадратные скобки:

row        : '[' value_list ']'
value_list : expression
           | value_list ',' expression

Теперь мы можем написать функции действия. Это тоже довольно просто.

def p_list_first(p):
    """value_list : expression
       row_list   : row
    """
    p[0] = [ p[1] ]


def p_list_extend(p):
    """value_list : value_list ','  expression
       row_list   : row_list ';' row
    """
    p[0] = p[1]
    p[0].append(p[3])
    # Another way of writing this action:
    #     p[0] = p[1] + [ p[3] ]
    # That's cleaner, in that it doesn't modify the previous value.
    # But it's less efficient because it creates a new list every time.

def p_row(p):
    """row       : '[' value_list ']' """
    p[0] = p[2]

def p_matrix(p):
    """matrix    : '[' row_list ']' """
    p[0] = Matrix.Matrix(p[2])

Это заменяет ваши запятые, точки с запятой, скобки и шестые правила. Осталось только добавить first : matrix. (Кроме того, действие p_row идентично вашему действию p_paren, поэтому при желании их можно комбинировать.)

Два вывода:

1. если вы можете описать синтаксис на своем родном языке, вы можете написать для него и грамматику. Грамматика — это просто более формальный способ сказать то же самое. (По крайней мере, когда вы перестанете бояться рекурсии, которая тоже не сложна: «список — это значение, или вы можете расширить список, добавив запятую и значение», должно быть довольно легко понять.)

2. Грамматика должна иметь возможность анализировать ввод без проверки того, что было проанализировано ранее.

Этот второй принцип не является абсолютным. В этом случае, например, вы можете запретить значениям в row быть вложенными элементами matrix. Вы могли бы написать это как грамматику, но это было бы связано с раздражающим количеством дублирований; на самом деле для действий row_list может быть проще убедиться, что expression, с которым они работают, не является Matrix.