Рассмотрим язык L: L = { ⎪M - машина Тьюринга и L (M) ≤p {0 ^ p 1 ^ 2p ⎪p> 0}}, где символ ≤p относится к полиному сводимый во времени, что из перечисленного верно для вышеуказанного языка?
(a) L неразрешимо (b) L разрешимо (c) L регулярно (d) Ни один из этих