"Computability and complexity from a programming perspective" - читать интересную книгу автора (Jones N.D.)