इस निर्णय समस्या से जुड़ी औपचारिक भाषा
इस निर्णय समस्या से जुड़ी औपचारिक भाषा तब सभी जुड़े हुए ग्राफ का समुच्चय होती है-निश्चित रूप से, इस भाषा की एक सटीक परिभाषा प्राप्त करने के लिए, किसी को यह तय करना होता है कि कैसे ग्राफ द्विआधारी स्ट्रिंग्स के रूप में एन्कोड किए जाते हैं।
इस निर्णय समस्या से संबंधित सभी कनेक्टेड ग्राफ के सेट के लिए क्या शब्द है?