A computational problem that can be solved by a Turing machine. The problem may have a nonbinary output.