በእያንዳንዱ የግቤት ሕብረቁምፊ w የሚቀበል እና የሚያቆም ቋንቋ የመተርፊያ ማሽን ካለ የሚወሰን ወይም ተደጋጋሚ ይባላል። ሁሉም የሚወሰን ቋንቋ ቱሪንግ-ተቀባይነት አለው። የውሳኔ ችግር P ለሁሉም አዎ ጉዳዮች L ቋንቋ መወሰን የሚቻል ነው።
መወሰን ሲባል ምን ማለትዎ ነው?
: በተለይ ሊወሰን የሚችል: ከአመክንዮአዊ ስርአት ዘንጎች በመከተል ወይም ላለመከተል መወሰን የሚችል አመክንዮ የተሟላ ነበር…? እና የእያንዳንዱን አባባል እውነትነት ወይም ውሸትነት የሚያሳይ ዘዴ ነበር በሚለው መልኩ መወሰን ይቻላል? -
በመወሰን እና ያለመወሰን መካከል ያለው ልዩነት ምንድን ነው?
A የውሳኔ ችግር ለእሱ የውሳኔ ስልተ-ቀመር ካለ መወሰን ይቻላል። አለበለዚያ የማይታወቅ ነው. የውሳኔ ችግር ሊወሰን የሚችል መሆኑን ለማሳየት ለእሱ ስልተ ቀመር መስጠት በቂ ነው።
እንዴት መወሰን ይቻላል?
አንድ ቋንቋ ሊወሰን የሚችል እና እሱ እና ማሟያዎቹ የሚታወቁ ከሆኑ። ማረጋገጫ። ቋንቋ መወሰን የሚቻል ከሆነ ማሟያዎቹ የሚወሰኑ ናቸው (በማሟያ ስር በመዝጋት)።
የመወሰን ችግር ምንድነው?
(ፍቺ) ፍቺ፡ በአልጎሪዝም ሊፈታ የሚችል የውሳኔ ችግር በሁሉም ግብአቶች ላይ በሚያቆም ደረጃ በደረጃ ቁጥር የሚዛመደው ቋንቋ ሊወሰን የሚችል ቋንቋ ይባላል። እንዲሁም ሙሉ በሙሉ ሊፈታ የሚችል ችግር፣ በአልጎሪዝም ሊፈታ የሚችል፣ በተደጋጋሚ ሊፈታ የሚችል።