Here is the clear case of an inductive definition that has a natural recursive program extracted from it.
हे इंडक्टिव्ह डेफिनेशन चे स्पष्ट प्रकरण आणि नॅचरल रीकर्सिव प्रोग्रॅम बद्दलची ही क्लियर केस आहे.