Я борюсь с тем, разрешимо ли это: A = {x является элементом множества натуральных чисел | для каждого y большего, чем x, 2y является суммой двух простых чисел} Я склонен думать, что это разрешимо, учитывая тот факт, что при вводе в машину...

Я хочу сделать суперкласс Num, называемый Linear class Linear a where add :: a -> a -> a instance (Num a) => Linear a where add = (+) Я получаю сообщение об ошибке: Illegal instance declaration for `Linear a' (All...

Мне нужно доказать, разрешима ли L или нет: L={‹M> | M является TM, и объединение L(M) и H_TM находится в RE} ( H_TM={‹M,w> | M — TM, который останавливается на w} )

Мне нужно разработать эффективную процедуру принятия решения, чтобы определить, является ли язык, принятый недетерминированным конечным автоматом, пустым. Я знаю, что машина не принимает строку, если нет пути от начального состояния к конечному...