python文档中很费解的代码（或是伪代码），请帮我解答一下。

Question

https://docs.python.org/2/reference/compound_stmts.html#def

在7.6.function definitions中的第一个代码框内的代码是什么意思？
看着不像是python的语法，还是我学的太浅，请帮我解答一下，谢谢！

ps:网页版不能上传图片吗？第一次使用SF提问。

Answer 1

https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form

Answer 2

这不是Python语言，是对语言进行描述的语言。用来对Python的词法语法进行描述。
不止Python，你看各种语言的规范的时候，都会有类似的东西。

Answer 3

这是文法，在编译原理中讲到
类似于英语的这种句式：
句子 := 主语 + 谓语 + 宾语
主语 := 名词
谓语 := 动词
宾语 := 名词

:= 表示定义。
这样就可以确定语言一句该有的成分,
比如def后面必须有标识符一样。
如果不是就不符合语法，判定为错误。

学生作答，学的都忘了，
大概就是这样，求轻打脸。