采用 一步规约 的关系 $⟶$． 若不存在词项 ${𝑡}^{\prime }$ 使 $𝑡⟶{𝑡}^{\prime }$，称 $𝑡$ 是正规形式． 按 值与数值 判断， 不属于值的正规形式称为受阻词项． 正规形式与受阻都相对于给定的转移规则定义； “正规形式”只表示不能继续规约，不代表正常结果，也不保证每个词项都能到达唯一正规形式．