Turing jump
கணக்கீட்டு கோட்பாட்டில், ஆலன் டூரிங்கின் பெயரால் பெயரிடப்பட்ட டூரிங் ஜம்ப் அல்லது டூரிங் ஜம்ப் ஆபரேட்டர், ஒவ்வொரு முடிவு சிக்கலுக்கும் ஒரு ஆரக்கிள் கொண்ட ஆரக்கிள் இயந்திரத்தால் தீர்மானிக்க முடியாத பண்புடன் தொடர்ச்சியாக கடினமான முடிவு சிக்கலை ஒதுக்கும் ஒரு செயல்பாடாகும். ஆபரேட்டர் ஒரு ஜம்ப் ஆபரேட்டர் என்று அழைக்கப்படுகிறார், ஏனெனில் இது சிக்கலின் டூரிங் அளவை அதிகரிக்கிறது. அதாவது, சிக்கல் டூரிங்-குறைக்கப்படவில்லை. போஸ்டின் தேற்றம் டூரிங் ஜம்ப் ஆபரேட்டருக்கும் இயற்கை எண்களின் தொகுப்புகளின் எண்கணித படிநிலைக்கும் இடையிலான உறவை நிறுவுகிறது. முறைசாரா முறையில், ஒரு சிக்கலைக் கருத்தில் கொண்டு, டூரிங் ஜம்ப் அந்த சிக்கலைத் தீர்க்கும் ஒரு ஆரக்கிள் அணுகல் வழங்கப்படும் போது நிறுத்தப்படும் டூரிங் இயந்திரங்களின் தொகுப்பைத் திருப்புகிறது. வரையறை எக்ஸ் இன் டூரிங் ஜம்ப் எக்ஸ் க்கான ஆரக்கிள் கொண்ட ஆரக்கிள் இயந்திரங்களுக்கான நிறுத்த சிக்கலுக்கான ஆரக்கிள் என்று கருதலாம். முறைப்படி, ஒரு தொகுப்பு மற்றும்-கணக்கிடக்கூடிய செயல்பாடுகளின் கோடல் எண்ணைக் கொடுத்தால், டூரிங் ஜம்ப் ஆஃப் என்பது தி டியூரிங் ஜம்ப் என வரையறுக்கப்படுகிறது. வெற்று செட்டின் டூரிங் ஜம்பிற்கு குறியீடு அல்லது பெரும்பாலும் பயன்படுத்தப்படுகிறது. இது பூஜ்ஜிய-குதிப்பு அல்லது சில நேரங்களில் பூஜ்ஜிய-முதன்மை என்று படிக்கப்படுகிறது. இதேபோல், வெற்று தொகுப்பின் th ஜம்ப் ஆகும். வரையறையைப் பொறுத்தவரை, இந்த தொகுப்புகள் எண்கணித படிநிலையுடன் நெருக்கமாக தொடர்புடையவை, மேலும் குறிப்பாக போஸ்டின் தேற்றத்துடன் இணைக்கப்பட்டுள்ளன. ஜம்பை டிரான்ஸ்ஃபைனைட் ஆர்டினல்களாக மறுசீரமைக்கலாம்ஃ க்ளீனின் குறியீட்டைக் கொண்ட ஒரு ஆர்டினலாக இருக்கும்போது இயற்கையான எண்களின் தொகுப்புகளுக்கு ஜம்ப் ஆபரேட்டர்கள் உள்ளனர் (குறியீட்டைப் பொருட்படுத்தாமல், இதன் விளைவாக ஏற்படும் தாவல்கள் ஸ்பெக்டர் தேற்றத்தால் ஒரே மாதிரியாக இருக்கும்), குறிப்பாக செட்டுகள், சர்ச்-க்ளீன் ஆர்டினல் எங்கே, ஹைப்பர் எண்கணித படிநிலையுடன் நெருக்கமாக தொடர்புடையவை. அதற்கும் அப்பால், கோடலின் எல் இன் நுண்ணிய கட்டமைப்பு கோட்பாட்டில் ஜென்சனின் பணியைப் பயன்படுத்தி, கட்டமைக்கக்கூடிய பிரபஞ்சத்தின் எண்ணக்கூடிய வரிசைமுறைகள் மூலம் இந்த செயல்முறையைத் தொடர முடியும். எடுத்துக்காட்டுகள் வெற்று தொகுப்பின் டூரிங் ஜம்ப் என்பது டூரிங் நிறுத்தும் சிக்கலுக்கு சமம். ஒவ்வொன்றிற்கும், கணித வரிசைமுறையின் மட்டத்தில் (போஸ்டின் தேற்றத்தின் படி) தொகுப்பு m-முழுமையானது. பீனோ எண்கணித மொழியில் உண்மையான சூத்திரங்களின் கோடல் எண்களின் தொகுப்பு ஒரு முன்கணிப்புடன் கணக்கிடப்படுகிறது. பண்புகள் கணக்கிடக்கூடியவை, ஆனால் கணக்கிட முடியாதவை. டூரிங்-க்கு சமமாக இருந்தால், டூரிங்-க்கு சமமாக இருக்கும். இந்த உட்பொருளின் எதிர் உண்மை அல்ல. (ஷோர் மற்றும் ஸ்லாமன், 1999) டூ செயல்பாட்டு வரைபடம் டூரிங் டிகிரிகளின் பகுதி வரிசையில் வரையறுக்கப்படுகிறது. டூரிங் ஜம்ப் ஆபரேட்டரின் பல பண்புகள் டூரிங் டிகிரி பற்றிய கட்டுரையில் விவாதிக்கப்படுகின்றன. குறிப்புகள் அம்போஸ்-ஸ்பைஸ், கே. மற்றும் ஃபெஜர், பி. தீர்க்கமுடியாத பட்டங்கள். வெளியிடப்படாதது. http://www.cs.umb.edu ~ ஃபெஜர்/கட்டுரைகள்/வரலாறு _ ஆஃப் _ டிகிரி. பி. டி. எஃப் அறிமுக ஆண்டு அலன் டூரிங் கணக்கீட்டு கோட்பாட்டைக் காணவில்லை