In order to write unambiguous constraints, so-called formal languages have been developed.

• 为了写出无歧义的约束，已经开发出几种所谓的“形式语言”。