Дискретка... Нужна помощь в решении 6 задач

[joker4you]

Здравствуйте, Господа. Пришёл сюда за помощью, ибо в дискретке как дуб дубом.
Если есть кто знающий, не затруднит ли вас решить хоть что-то из ниже данного в изображении:

[Asix]

Почему голое условие?
Что Вы делали и что не получается?
Какие есть свои мысли?? =))

[joker4you]

дуб дубом я =/ не смог присутствовать на семинарах по пройденным темам - вот результат 
а работу надо сдать аж до послезавтра ((((

[joker4you]

Никто ничего не знает? хоть что-то, товарищи =\

[Nikgamer]

У меня не было дискретной математики, но была теория алгоритмов, так что попробую изложить свои мысли.
1) А если предикат = Л, то МТ бесконечно работает? Идея у меня такая, сначала, когда МТ идет вправо, пусть она поставит перегородку (после бинарной записи, через одно n), потом, если видит ноль, то стирает его, все сдвигает влево и кидает ноль за перегородку, если видит единицу, то пропускает. Таким образом вы получите некое число единиц, потом n (перегородку) и некоторое число нулей (единицы и нули у вас будут идти подряд). Ну и начинаете просто по разу выкидывать, стирая единицу, сдвигая и двигаясь вправо, доходя до нулей и тоже стирая-двигая по одному. Если, МТ, вернувшись в самое лево увидит n, пойдет вправо и не увидит нуля, значит предикат истинен и можно заканчивать.
2)Я могу только сказать, что предикат будет точно рекурсивным, так как функция x/y определяется минимизацией.
[x/y]=M(z)(((x<yz)-1)*sg(y)). Вроде бы подходит. Разумеется, вместо минуса, там минус с чертой.
Большего, извините, не знаю. Не было этого добра еще у нас.

[Asix]

Никто ничего не знает? хоть что-то, товарищи =\

Отойду от темы.
Меня всегда убивают такие сообщения!
Вы так просите, как будто только что на данном форуме помогли 50 людям решить задачи ... Вот пока ждете помощи, могли бы походить по форуму, поискать задачи Вам по зубам и помочь нуждающимся, тогда и у админитсрации сайта будет больше желания решить Вам + вдруг найдет посотронний зритель, который также ходя по форуму, сможет помочь Вам =))

Все мы связаны =))