Niklaus Wirth
The "Wirth–Weber relationship" between a pair of symbols formula_1 is necessary to determine if a formal grammar is a simple precedence grammar, and in such case the simple precedence parser can be used. It is named after computer scientists Niklaus Wirth and Helmut Weber.