正规运算

正规运算，数学术语。正规运算(normal operation) GB系统中的一种运算.正规运算U是指，存在一个本原命题函词沪，能使