"Оценка алгоритмической сложности классов вычислимых моделей" - читать интересную книгу автора (Павловский Е.Н.)