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 keputusan pengkodean yang harus dibuat untuk menentukan definisi yang tidak akurat dari bahasa formal?
bagaimana grafik dikodekan sebagai string biner.
bagaimana grafik dikodekan sebagai string biner.
Apa PRI
keputusan NNO
pengkodean NNO
yang PRR
harus TAME
dibuat VBP
untuk PPO
menentukan VBT
definisi NNO
yang PRR
tidak NEG
akurat ADJ
dari PPO
bahasa NNO
formal ADJ
? PUN