Computation theory 这个短语是什么意思；“绑定更强”；什么意思？

我知道这可能是一个新手问题，但我试图理解这句话（来自一篇关于使用EBNF的元语言的论文）：

在此之前，它说：

Conditions are: 
  condition ::= condition (`&´ | `|´ ) condition | `!´ condition | relation 
  relation ::= expression ( `=´ | `#´ | `<´ | `<=´ | `>´ | `>=´ ) expression 

条件是：
条件：：=条件（`&´´´`´´´）条件``！条件关系
关系：：=表达式（`='''.``'.'''.`='）表达式

谢谢

这是指。换句话说，如果你有

A&B | C

，你真的有

（A&B）| C

。优先级较高/绑定更强的操作将首先求值

Conditions are: 
  condition ::= condition (`&´ | `|´ ) condition | `!´ condition | relation 
  relation ::= expression ( `=´ | `#´ | `<´ | `<=´ | `>´ | `>=´ ) expression