Contoh masalah keputusan adalah sebagai berikut. Masukan adalah grafik arbitrer. Masalahnya terdiri dalam memutuskan apakah grafik yang diberikan terhubung, atau tidak. Bahasa formal yang terkait dengan masalah keputusan ini kemudian merupakan himpunan semua grafik yang terhubung — tentu saja, untuk mendapatkan definisi yang tepat dari bahasa ini, kita harus memutuskan bagaimana grafik dikodekan sebagai string biner.
Apa istilah untuk himpunan semua grafik yang tidak terhubung terkait dengan masalah keputusan ini?
bahasa formal
Bahasa formal
Apa PRI
istilah NNO
untuk PPO
himpunan NNO
semua KUA
grafik NNO
yang PRR
tidak NEG
terhubung VBP
terkait VBP
dengan PPO
masalah NNO
keputusan NNO
ini ART
? PUN