Класс DTIME(t(n)), означает класс задач,
разрешимых на машине Тьюринга за время t(n).
Более формально:
Язык принадлежит классу ,
если существует машина ТьюрингаT, разрешающая данный язык, и сложность ее работы в наихудшем случае, , т.е. не превышает t(n), где n-длина входного слова.
Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».