算法导论 2.1-4 模拟二进制运算

考虑把两个n位二进制数加起来的问题，这两个整数分别存储在两个n元数组A和B中。这两个整数的和应按二进制形式存储在一个(n+1)元数组C中。请给出该问题的形式化描述，并写出伪代码。

形式化描述：

名称：二进制相加问题

输入：序列 A = <a1, a2, ..., an>和序列 B = <b1, b2, ..., bn>，两个序列中的元素都由1或者0组成。序列里的首个元素代表二进制的第一位（最低位），第二个元素代表第二位，以此类推。

输出：序列 C。C为A和B所代表的的二进制序列的相加的结果。

以下是伪代码