"Models of computation: An introduction to computability theory" - читать интересную книгу автора (Maribel Fernandez)