Automaten und Berechenbarkeit
تعارف
یہ موضوع بتاتا ہے کہ مشینیں اصولی طور پر کیا حساب کر سکتی ہیں اور ان کی حدیں کہاں ہیں۔
اصطلاحات
- متناہی خودکار
- حالت
- منتقلی
- ٹیورنگ مشین
- قابلِ فیصلہ ہونا
یہ موضوع بتاتا ہے کہ مشینیں اصولی طور پر کیا حساب کر سکتی ہیں اور ان کی حدیں کہاں ہیں۔