Изменения

<mathtex>L \in DSPACE(g)</mathtex>, так как можно проэмулировать представить машину Тьюринга <mathtex>m_1m_0</mathtex> такую, что распознающую <mathtex>L(m_1)=L</mathtex>. Для каждой пары <mathtex><m_3\langle m_1,x> \rangle \in L</mathtex> запускаем <tex> рассмотрим m_1<math/tex>m_3(. <m_3,xtex>)\,\!m_0</mathtex>на данном входе будет работать аналогично. Если <math>m_3m_1</math> завершила работу и не допустила, то <mathtex>m_1m_0</mathtex> допускает <mathtex><m_3\langle m_1,x>\rangle</mathtex>. В другом случае не допускает. Так как любая Любая такая машина использует памяти не более <mathtex>f(|<m_3\langle m_1,x>\rangle|)</mathtex>, а . <mathtex> \lim_lim \limits_{n \rightarrow \infty} f(n)/g(n) = 0</mathtex>, поэтому начиная с некоторого n <math>m_1</math> будет использовать памяти не более <mathtex>g(|<m_3\langle m_1,x>\rangle|)</mathtex>.