Изменения

Перейти к: навигация, поиск

Теорема о ёмкостной иерархии

1 байт добавлено, 14:57, 10 марта 2010
Доказательство
Зафиксируем <math>f</math> и <math>g</math>.
Рассмотрим язык <math>L = \{ <m,x> \mid m(<m,x>)</math> не допускает, используя памяти не более <math> f(<m,x>) памяти \}</math> .
Пусть <math>L \in DSPACE(f)</math>, тогда для него есть машина тьюринга <math>m_0</math>.
23
правки

Навигация