Loading...
- Type of Document: M.Sc. Thesis
- Language: Farsi
- Document No: 46168 (02)
- University: Sharif University of Technology
- Department: Mathematical Sciences
- Advisor(s): Ramezanian, Rasoul
- Abstract:
- Since the computation of human life is in progress rapidly, we need to offer new concepts in Computational Theory, to obviate these needs. One of these concepts are hypercomputation and hypercomputers, which draw lots of attention in recent years. In this thesis, we study hypercomputaion and hypercomputers in more details.First, we briefly review Computational Theory principles and hypercomputation. After that, we provide and explain about some hypercomputers models and their computational power. After a detail description of interactive computation, as one of the models of hypercomputation, we propose our “Consistent Persistent Turing Machine,” as a model of hypercomputer for interactive computation. Finally, we will compare the properties of this model with the Turing model for computation
- Keywords:
- Equilibrium Calculations ; Hypercomputation ; Turing Machine ; Hyper Computer ; Persistent Turing Machine ; Consistent Persistent Turing Machine
-
محتواي کتاب
- view
- لیست تصاویر
- مقدمه
- مقدمهای بر نظریه محاسبات
- محاسبات
- ماشین تورینگ
- توابع بازگشتی
- سلسله مراتب ریاضی
- تز چرچ-تورینگ
- از محاسبات تا فرامحاسبات
- فرامحاسبات
- فرامحاسبات در جهان فیزیکی
- فرامحاسبهگرها
- ماشینهای اوراکلدار
- ماشین تورینگ با مقداردهی اولیه
- ماشین تورینگ متصل
- شبکه غیرهمزمان از ماشینهای تورینگ
- ماشینهای تورینگ مستعد خطا
- ماشین تورینگ احتمالی
- ماشین تورینگ با حالات نامتناهی
- ماشین تورینگ شتابدار
- ماشین تورینگ با زمان نامتناهی
- ماشین تورینگ نامعین مساعد
- منابع فیزیکی
- حافظه نامتناهی
- منابع اطلاعات غیربازگشتی
- تعریف نامتناهی
- محاسبات نامتناهی
- نامعین مساعد
- قدرت محاسبه
- نقدهایی بر فرامحاسبات
- محاسبات تعاملی
- محاسبات تعاملی و ماشین تورینگ
- ماشینهای تعاملی
- ماشین تورینگ مانا
- ماشین تورینگ مانا و پایدار
- پیشنهادات و نتیجهگیری
- مراجع
- چکیده انگلیسی