Let us look at one particular problem, which will highlight an issue that we have to deal with when we are looking at inductive specifications and naively translating them into programs.
इंडक्टिव्ह स्पेसिफिकेशन्स आणि प्रोग्रॅम ट्रान्सलेशन करताना आपल्याला ज्या समस्येचा सामना करावा लागतो त्यावर प्रकाश टाकण्यासाठी आपण एक पर्टिक्युलर प्रॉब्लेम पाहूया.