Машина Тьюринга. Реализация функции (A+(B≡C)), как сделать?
На вход подается A*B*C, в двоичном виде, не обязательно одинаковой длины. Если аргумент A, B или C
отсутствует, он считается равным нулю. В результате выполнения должен остаться только результат функции.
Сумму на Тьюринге я понял, но вот как реализовать эквивалентность, особенно учитывая то, что рядом находится "временно не нужный" элемент.
Заранее спасибо
