Python цепочечная нотация грамматики
Было высказано предположение, что в цепочке присваивания, как a=b=4, a а также b два отдельных target_list s. Я пытаюсь согласовать это с грамматической нотацией BNF для общего оператора присваивания, который
assignment_stmt ::= (target_list "=")+ (starred_expression | yield_expression)
Я не вижу как a=b=4 удовлетворяет этому определению. Не должно быть разрешено несколько экземпляров первого слагаемого, например (target_list "=")*?