Salah satu contoh problem keputusan adalah sebagai berikut. Masukan adalah grafik sewenang-wenang. Problemnya terdiri dari menentukan apakah grafik yang diberikan tersambung atau tidak. Bahasa formal yang terkait dengan masalah keputusan ini adalah kemudian set dari semua grafik yang terhubung tentu saja, untuk mendapatkan definisi yang tepat bahasa ini, seseorang harus memutuskan bagaimana grafik dikodekan sebagai string biner.
Apa istilah untuk set dari semua grafik tidak terhubung terkait dengan masalah keputusan ini?
Bahasa formal