higher order precedence grammar 📖 中文释义 [计] 高阶优先文法 ← higher order logic H 字母词表 higher order predicate calculus →