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.
Bagaimana seseorang mendapatkan definisi yang tidak terbatas dari bahasa ini?
kita harus memutuskan bagaimana grafik dikodekan sebagai string biner.
kita harus memutuskan bagaimana grafik dikodekan sebagai string biner.
Bagaimana ADV
seseorang PRN
mendapatkan VBT
definisi NNO
yang PRR
tidak NEG
terbatas ADJ
dari PPO
bahasa NNO
ini ART
? PUN