一阶语言表达式判断问题，通过程序判断给出的表达式是否是一阶语言表达式，是数字逻辑的经典问题。-First-order language expressions to determine the problem, the expression given by the program to determine whether the first-order language of expression, is the classic problem of digital logic.