اطلاعات مرتبط با تیتر زیر را جمع‌آوری کنید و یک خبر کوتاه بنویسید

تیتر: الگوریتم‌های مافوق بازگشتی
خبر:
در نظریهٔ محاسبه پذیری ، الگوریتم‌های مافوق بازگشتی ، (به انگلیسی : super-recursive algorithm) تعمیمی از الگوریتم‌های معمولی هستند که قدرت بیشتری برای محاسبه دارند . یعنی در واقع از قدرت محاسبهٔ آن‌ها از ماشین تورینگ بیشتر است . این عبارت برای اولین بار توسط مارک بورگین عنوان شد . وی کتابی به همین نام دارد که در آن این نظریه گسترش یافته و مدل‌های ریاضی مختلفی برای آن ارائه کرده است . ماشین تورینگ و دیگر مدل‌های الگوریتم‌های معمولی به محققان اجازه می‌دهند تا خواص الگوریتم‌های بازگشتی و نحوهٔ محاسبهٔ آن‌ها را کشف کنند . به همین ترتیب مدل‌های ریاضی الگوریتم‌های مافوق بازگشتی ، مثل ماشین تورینگ استنتاجی ، به محققان کمک می‌کنند تا خواص و نحوهٔ محاسبهٔ الگوریتم‌های مافوق بازگشتی را کشف کنند .