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.
Keputusan encoding apa yang perlu dibuat untuk menentukan definisi yang tepat dari bahasa formal?
bagaimana grafik dikodekan sebagai string biner
bagaimana grafik dikodekan sebagai string biner
Keputusan NNO
encoding NNO
apa PRI
yang PRR
perlu TAME
dibuat VBP
untuk PPO
menentukan VBT
definisi NNO
yang PRR
tepat ADJ
dari PPO
bahasa NNO
formal ADJ
? PUN