以下是示例代码：

def normalize_mantissa(mantissa):
    """
    ASN.1 REAL 二进制基数2编码中的尾数标准化。将尾数进行规范化并返回规范化后的尾数。
    """
    # 找到尾数最高位的位置
    highest_bit = len(mantissa) - 1
    while highest_bit > 0 and mantissa[highest_bit] == '0':
        highest_bit -= 1
    
    # 计算偏移量
    offset = len(mantissa) - 1 - highest_bit
    
    # 去掉整数部分的零
    i = 0
    while i < highest_bit and mantissa[i] == '0':
        i += 1
    
    # 将尾数规范化
    if offset < 0:
        # 小数点向左移动
        mantissa = mantissa[i: highest_bit + 1]
        mantissa = mantissa[:offset] + '.' + mantissa[offset:]
    elif offset > 0:
        # 小数点向右移动
        mantissa = mantissa[i: highest_bit + 1]
        mantissa = mantissa + '0' * offset
    else:
        # offset == 0，无需移动
        mantissa = mantissa[i: highest_bit + 1]
    
    return mantissa

此函数接收一个二进制字符串形式的尾数，并返回一个标准化后的尾数。该尾数应为十进制小数形式，不包括符号位或指数部分。标准化后的尾数必须在 (0.5, 1) 范围内。