给定两个 01字符串 a和 b，请计算它们的和，并以二进制字符串的形式输出。输入为 非空 字符串且只包含数字 1和 0。

这个问题是关于二进制字符串的加法运算。给定两个非空的只包含字符 '0' 和 '1' 的二进制字符串 `a` 和 `b`，我们想要计算它们对应的十进制数值相加后的结果，并转换回二进制字符串形式。

步骤如下：
1. 将字符串转换为整数：对于字符串 `a` 和 `b`，我们可以使用位操作或循环的方式将其每一位乘以2的相应次方（例如，第一位乘以2^0，第二位乘以2^1，以此类推），然后累加得到它们各自的十进制值。
2. 对这两个整数求和：直接将它们相加，得到的结果也是十进制数。
3. 计算结果的二进制表示：将十进制的和转换回二进制，可以继续对每一位进行除2取余的操作，直到商为0，记录下的余数就是每一位的结果。逆序排列这些余数就得到了最终的二进制字符串。

例如，如果 `a = "101"` 和 `b = "110"`，首先将它们分别转换为十进制 5 和 6，然后求和得到 11。将 11 转换为二进制，结果是 "1011"。

如果你需要实际编写代码实现这个功能，我会提供伪代码示例：

def add_binary_strings(a, b):
    # Step 1: Convert strings to decimal
    a_decimal = int(a, 2)
    b_decimal = int(b, 2)

    # Step 2: Add the decimals
    sum_decimal = a_decimal + b_decimal

    # Step 3: Convert the sum back to binary
    result = bin(sum_decimal)[2:]  # Remove the '0b' prefix
    return result