Masalah keputusan adalah salah satu objek utama studi dalam teori kompleksitas komputasi. Masalah keputusan adalah jenis khusus masalah komputasi yang jawabannya adalah ya atau tidak, atau bergantian 1 atau 0. Masalah keputusan dapat dilihat sebagai bahasa formal, di mana anggota bahasa adalah contoh yang keluarannya adalah ya, dan yang bukan anggota adalah contoh-contoh yang outputnya tidak. Tujuannya adalah untuk memutuskan, dengan bantuan algoritma, apakah string input yang diberikan adalah anggota dari bahasa formal yang sedang dipertimbangkan. Jika algoritme yang memutuskan masalah ini mengembalikan jawaban ya, algoritme tersebut dikatakan menerima string input, jika tidak maka dikatakan menolak input.
Apa yang bisa dilihat sebagai bahasa informal di mana bahasa tersebut yang inputnya ya?
masalah keputusan
Masalah keputusan
Apa PRI
yang PRR
bisa TAME
dilihat VBP
sebagai PPO
bahasa NNO
informal ADJ
di PPO
mana ADV
bahasa NNO
tersebut ART
yang PRR
input ADJ
nya PRK
ya INT
? PUN