DTIME — различия между версиями

Текущая версия на 09:55, 4 августа 2008

Класс DTIME(t(n)), означает класс задач, разрешимых на машине Тьюринга за время t(n).

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