Неклассические логики/программирование/C++/C#

Язык программирования желательно C++ или C#
Задание 1. Разработайте и проверьте модель двухразрядного двоич- ного сумматора sum/7. Описание аргументов: sum(X1, X2, Y1, Y1, Z1, Z1, P). Здесь складывается двухразрядное число X и двухразрядное число Y. Получаемый результат: двухразрядное число Z и сигнал переноса P.
Задание 2. Разработать программу для целочисленного деления на 2

произвольного бинарного числа для машины Тьюринга.
Задание 3. Сравнить вычислительные сложности выполнения алгоритмов на машинах Тьюринга и Маркова
Задание 4. Определить теоретическую вычислительную сложность задач:
? полного обхода троичного сбалансированного дерева;
? поиска подстроки в строке;
? поиска подграфа в графе;
? слияния двух упорядоченных списков в упорядоченный список;
? умножения двух матриц.