इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें जब हम एक कम्प्यूटेशनल समस्या का वर्णन करने के लिए तर्क औपचारिकता का उपयोग करते हैं, तो इनपुट एक परिमित संरचना है, और उस संरचना के तत्व प्रवचन के डोमेन हैं ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "जब हम तर्क औपचारिकता का उपयोग करते हैं, तो इनपुट एक परिमित संरचना है, आमतौर पर यह या तो एक स्ट्रिंग (बिट्स या एक वर्णमाला पर) है जिसके तत्व स्ट्रिंग के स्थान हैं, या एक ग्राफ जिसके तत्व शीर्ष हैं। "