ቋንቋ መወሰን የሚቻል መሆኑን ለማሳየት የቱሪንግ ማሽን ለመፍጠር ያስፈልገናል ከቋንቋው ፊደል ላይ በማንኛውም የግቤት ሕብረቁምፊ ላይ የሚቆም ። ኤም ዲፋ ስለሆነ፣ ቀድሞውንም ቱሪንግ ማሽኑ አለን እና ዲፋ በእያንዳንዱ ግብአት ላይ መቆሙን ብቻ ማሳየት አለብን።
እንዴት መወሰን ይቻላል?
አንድ ቋንቋ ሊወሰን የሚችል እና እሱ እና ማሟያዎቹ የሚታወቁ ከሆኑ። ማረጋገጫ። ቋንቋ መወሰን የሚቻል ከሆነ ማሟያዎቹ የሚወሰኑ ናቸው (በማሟያ ስር በመዝጋት)።
የቱሪንግ ቆራጥነትን እንዴት አረጋግጠዋል?
የሚያውቀው ቋንቋ ከተሰጠው ቋንቋ ጋር እኩል መሆኑን እና አልጎሪዝም በሁሉም ግብዓቶች ላይ መቆሙን ያረጋግጡ። የተሰጠው ቋንቋ በቱሪንግ ሊታወቅ የሚችል መሆኑን ለማረጋገጥ፡ በቋንቋው ውስጥ ያሉትን ሕብረቁምፊዎች በትክክል የሚቀበል ስልተ-ቀመር ይገንቡበቋንቋው ውስጥ የሌለ ማንኛውንም ሕብረቁምፊ አለመቀበል ወይም መዞር አለበት።
አንድ ቋንቋ የሚታወቅ መሆኑን እንዴት ያውቃሉ?
አንድ ቋንቋ L የሚታወቀው ለL አረጋጋጭ ካለ ብቻ ነው፣ አረጋጋጭ በሁሉም ግብዓቶች ላይ የሚቆም የቱሪንግ ማሽን እና ለሁሉም w∈Σ∗ ፣ w∈L↔∃cΣ∗። ቪ ይቀበላል ⟨w፣ c⟩.
ችግር የማይታወቅ መሆኑን እንዴት ያሳያሉ?
አጠቃላይ ችግሩ ሊታወቅ የማይችል ነው
የማስቆም ችግር ሌሎች ችግሮች ሊወስኑ የማይችሉ መሆናቸውን ለማሳየት መጠቀም ይቻላል። አጠቃላይ ችግር፡- F(x) ለሁሉም x (ወይም በተመሳሳይ መልኩ F(x) ለሁሉም x ከቆመ) ተግባር (ወይም ፕሮግራም) F ጠቅላላ ነው ተብሏል። የተግባር F ጠቅላላ መሆን አለመሆኑ መወሰን አይቻልም።
