正規化形式;正規化型