Definiera formellt Turing-avgörbara Problem?

definiera funktion formellt och med f(x) notation