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