Is This Strange Expression Valid Python Syntax?

The syntax itself does not require the `_` attribute to exist. Attribute lookup and callability are runtime concerns, so a Python implementation could theoretically make the expression evaluate by allowing the Ellipsis type to have a callable `_` attribute and arranging for the intermediate results to be callable. That would be unusual implementation-specific behavior, but it does not change the fact that the original text is grammatically valid.

Yes, it is syntactically valid, although it cannot normally succeed at runtime. The first three dots form the `...` Ellipsis literal, and the fourth dot accesses an attribute named `_`, producing `...._`. The following parentheses are parsed as a function call, with the nested parentheses forming an empty tuple expression. The expression then performs another attribute access involving an Ellipsis call and finally calls the resulting object with no arguments.

The grammar permits constructs such as `()()` and `...()`. That only means the parser accepts them; it does not guarantee that evaluation will work. In effect, parts of the expression behave like calling an empty tuple and calling the Ellipsis object, both of which raise errors. Likewise, the Ellipsis object normally has no `_` attribute.