"Theories of computational complexity" - читать интересную книгу автора (Cristian Calude)