A relation R can be viewed as a search problem, and a Turing machine which calculates R is also said to solve it.
Μια σχέση R μπορεί να θεωρηθεί ως ένα πρόβλημα αναζήτησης και μια μηχανή Turing που υπολογίζει την R λέμε επίσης ότι μπορεί και να την επιλύσει.