The teacher explained the programming language's syntax with BNF rules.

BNF 是 Backus-Naur Form 的缩写，是一种用于描述编程语言语法的形式化表示方法。由 John Backus 和 Peter Naur 在1950年代提出，主要用于精确地定义编程语言的语法规则。