Quote the documentation as below:

> parameter_list ::=  (defparameter ",")*
                    | "*" [parameter] ("," defparameter)* ["," "**" parameter]
                    | "**" parameter
                    | defparameter [","] )

The last right parenthesis is redundant.And the second alternative form is not complete, it does not incorporate a case that only include starred parameter.

Here is the link https://docs.python.org/3/reference/compound_stmts.html#function-definitions

Just the right parenthesis is redundant, ignore other words.

And i find that the current rules of parameter_list includes a bare '*',which is illegal in practice.

See issue<9232> that changed the docs on function definitions. These changes aren't reflected in the 3.5 documentation though, you'll find them in the 3.6 docs.

The linked grammar is probably missing an opening parentheses from what I can tell, i.e change | to (:

    ( "*" [parameter] ("," defparameter)* ["," "**" parameter]

There is  a few difference between Python-3.5.2 and Python-3.6.2 concerning the EBNF rules even though the parenthesis bug is fixed.

Nor the rules in Python-3.6.0 excludes the bare '*' following no parameters.

What do you mean by "a bare * followed by no parameters"?  That is, what is the thing that is considered invalid that you are saying the BNF rules allow?  I'm looking for a code snipped that produces a syntax error.

Code:
>>>def f(a, *):
>>>    print(a)
....
....（SyntaxError occurs here）

Ah, I see.  (", " defparameter)* should instead be "+", or whatever the BNF equivalent is.

Attached patche for Python 3.3 (change `defparameter` to use `+`).

Further patch for `3.4` and `3.5`:

Change `|` to `(` and fix `defparameter` to use `+`

Further patch for 3.6 and 3.7 to address `defparameter` change here too.

This doc has changed, and it's now like this:

parameter_list            ::=  defparameter ("," defparameter)* "," "/" ["," [parameter_list_no_posonly]]
                                 | parameter_list_no_posonly
parameter_list_no_posonly ::=  defparameter ("," defparameter)* ["," [parameter_list_starargs]]
                               | parameter_list_starargs
parameter_list_starargs   ::=  "*" [parameter] ("," defparameter)* ["," ["**" parameter [","]]]
                               | "**" parameter [","]