автомат умножения двоичных чисел

[Lucky777]

не получается реализовать автомат умножения двочных чисел, привожу ниже мой код:

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            string S1, S2, S3=" ";
            int sost=0;
            int[,] V = new int[3, 4] { { 0, 0, 0, 0 }, { 0, 0, 0, 0 }, { 1, 0, 0, 0 } };
            int[,] P = new int[3, 4] { { 2, 2, 3, 0 }, { 1, 2, 3, 0 }, { 0, 2, 3, 0 } };
            S1 = Console.ReadLine();
            S2 = Console.ReadLine();
            int vih = 0;
            string Sum = "0000000000";
            while (vih == 0)
            {
                vih = V[int.Parse(S2[S2.Length - 1].ToString()), sost];
                sost = P[int.Parse(S2[S2.Length - 1].ToString()), sost];
                switch (sost)
                {
                case 1: S3=Summator(Sum, S1);
                break;
                case 2: Shift_Right(ref S2);
                break;
                case 3: Shift_Left(ref S1);
                break;
                }
            }
            Console.WriteLine(S3);
        }

       static void Shift_Right(ref string S)
        {
            S=S.Remove((S.Length - 1), 1);
        }
       static void Shift_Left(ref string S)
        {
            S=S+'0';
        }

       static string Summator(string a, string b)
       {
           string c = "";
           int[,] buf = new int[2, 2] { { 0, 1 }, { 1, 2 } };
           int[] masB = new int[10];
           int[,] mas = new int[3, 2] { { 0, 0 }, { 0, 1 }, { 1, 1 } };
           int[,] rezMas = new int[3, 2] { { 0, 1 }, { 1, 0 }, { 0, 1 } };
           int znach = 0;

           for (int i = 0; i < 10; i++)
           {
               int a1 = int.Parse(a[i].ToString());
               int b1 = int.Parse(b[i].ToString());
               masB[i] = buf[a1, b1];
           }

           for (int i = 9; i >= 0; i--)
           {
               c = rezMas[masB[i], znach].ToString() + c;
               znach = mas[masB[i], znach];
           }
           if (znach == 1)
               c = "1" + c;
           return c;
       }
    }
}

Помогите, если кто-то видит в чем ошибка! спасибо заранее всем!

[Utkin]

Уточните задачу. Напишите условие. Но сразу подкину идейку - двоичных чисел не существует. Есть двоичное представление числа. Поэтому можно смело заводить int на умножаемые числа. И умножать обычным умножением. Тут необходимо будет акцентировать внимание на два метода - Преобразование двоичного представления числа из строки в int и Преобразование int в двоичное представление числа в строку. Поэтому я спрашиваю про условия задания - если никаких запретов нет, то можно поступить указанным способом.