Teoryjo ôbliczalności podszukuje ôgraniczynia roztōmajtych teoretycznych modelōw kōmputra, w tym nojbarzij znanego modelu – Turingowyj masziny.