Witam
mam problem z zadaniem
jest język K K={<M>, <M> jest łańcuchem w \(\displaystyle{ \sum_{}{*}}\) (\(\displaystyle{ \sum_{}^{}}\)={0,1}) opisującym maszynę Turinga M i symbol 1 należy do L(M)}
trzeba udowodnić , albo podać uzasadnienie czy język K ={\(\displaystyle{ \sum_{}{*}}\) M} jest rekurencyjny albo rekurencyjnie przeliczalny.
Pozdrawiam i z góry thx za wszelka pomoc