Лексический анализ Python-логические операторы line & compound

извиняюсь заранее, если это глупый вопрос, но я не могу понять следующее

так я понимаю, что:

конец логической строки представлен маркером NEWLINE

это означает, что грамматика Python определена единственным способом закончить логическую строку с n маркер.

то же самое касается физических линий (скорее EOL, который является EOL платформы, которую вы используется при записи файла, но тем не менее преобразуется в универсальный n Python.

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

в том смысле, что:

foo = 'some_value'  # 1 logical line = 1 physical  
foo, bar, baz = 'their', 'corresponding', 'values'  # 1 logical line = 1 physical
some_var, another_var = 10, 10; print(some_var, another_var); some_fn_call()

# the above is still still 1 logical line = 1 physical line
# because ; is not a terminator per se but a delimiter
# since Python doesn't use EBNF exactly but rather a modified form of BNF

# p.s one should never write code as the last line, it's just for educational purposes

не показывая примеры того, как 1 логический эквивалентен > 1 физическому,мой вопрос заключается в следующей части из docs:

операторы не могут пересекать границы логической строки, кроме тех случаев, когда новая строка допускается синтаксисом (например, между высказываниями в составе заявления)

но что это вообще значит? Я понимаю список составных утверждений, будь то:Если, а,, etc. все они состоят из одного или нескольких п. и друг п., в свою очередь, состоит из заголовок и люкс. Этот люкс состоит из одного или нескольких заявления давайте возьмем пример, чтобы быть более конкретным:

так если заявление что-то вроде этого по грамматике (исключая предложения elifs и else):

if_stmt ::=  "if" expression ":" suite

где люкс и его последующие заявления:

suite         ::=  stmt_list NEWLINE | NEWLINE INDENT statement+ DEDENT
statement     ::=  stmt_list NEWLINE | compound_stmt
stmt_list     ::=  simple_stmt (";" simple_stmt)* [";"]

таким образом, это означает, что если вы хотите, вы можете выбрать (заданный "|") ваш люкс, чтобы быть 1 из 2 пути:

1. на той же строке:

   недостатки: не pythonic, и вы не можете иметь другой составной оператор, который вводит новый блок (например, func def, другой if и т. д.)

   advatanges: один лайнер, я думаю

пример:

if 'truthy_string': foo, bar, baz = 1, 2, 3; print('whatever'); call_some_fn();

1. ввести новый блок:

   преимущества: все, и правильный способ сделать это

пример:

if 'truthy_value':
    first_stmt = 5
    second_stmt = 10
    a, b, c = 1, 2, 3
    func_call()
    result = inception(nested(calls(one_param), another_param), yet_another))

но я не понимаю, как

операторы не могут пересекать границы логической строки, кроме тех случаев, когда новая строка допускается синтаксисом

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

Спасибо за ваше время заранее.