हम एक स्ट्रिंग की Kolmogorov जटिलता के बारे में सोच सकते हैं कि सबसे छोटा प्रोग्राम और इनपुट की लंबाई जैसे कि । आमतौर पर ये प्रोग्राम कुछ ट्यूरिंग-पूर्ण सेट से तैयार किए जाते हैं (जैसे एक ट्यूरिंग मशीन का वर्णन हो सकता है, या यह LISP या C में एक प्रोग्राम हो सकता है)। यहां तक कि जब हम संसाधन-बद्ध Kolmogorov जटिलता को देखते हैं, तब भी हम ट्यूरिंग मशीनों को देखते हैं, लेकिन उनके रनटाइम या अंतरिक्ष उपयोग पर कुछ सीमाओं के साथ। इसके परिणामों में से एक, यह है कि एक स्ट्रिंग की जटिलता अनिर्दिष्ट है। यह एक अजीब सुविधा की तरह लगता है।
यदि हम कोलमोगोरोव जटिलता को परिभाषित करने के लिए अभिकलन के गैर-ट्यूरिंग पूर्ण मॉडल का उपयोग करते हैं तो क्या होगा?
यदि हम एक प्रतिबंधात्मक पर्याप्त मॉडल चुनते हैं (कहते हैं कि हमारा मॉडल केवल पहचान को लागू कर सकता है), तो एक स्ट्रिंग की जटिलता निर्णायक हो जाती है, हालांकि हम भी अदृश्य प्रमेय खो देते हैं। क्या ट्यूरिंग-पूर्ण मॉडल के लिए एक मॉडल को जटिलता के समान मजबूत होना संभव है (एक निरंतर ऑफसेट, या यहां तक कि एक गुणक कारक तक), लेकिन इतना कमजोर कि अभी भी एक स्ट्रिंग की जटिलता को अस्वीकार्य होने की अनुमति है? क्या गणना के गैर-ट्यूरिंग पूर्ण मॉडल के साथ कोलमोगोरोव जटिलता का एक मानक नाम है? मैं इस बारे में और कहां पढ़ सकता था?