متن زیر چه موضوعی را مورد بحث قرار داده است؟

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