105
правок
Изменения
м
Дмитрий Мурзин переименовал страницу Обсуждение:Теорема о емкостной иерархии в Обсуждение:Теорема о ёмкостной иерархии: Ёфикация
"Любая такая машина использует памяти не более <tex>f(|\langle m_1,x\rangle|)</tex>."
Отсюда следует, что построенная машина принадлежит классу DTIMEDSPACE(f), что неверно. Кажется, должно быть что-то типа + константа в вышеприведенном утверждении.