Language of a Decision Problem

computation

Definition

Language of a Decision Problem

Fix a finite alphabet and a computable encoding . The language of a decision problem with an encoding is