books how the machine works
If you do not find what you're looking for, you can use more accurate words.
طريقة عمل الآلة (Info)
يمكن اعتبار "برنامج" الآلة وهو يحدد، لكل زوج من الحالة الحالية والرمز الحالي , ثلاثي أي : حيث أنَّ p هو الحال التالية و- هو الرمز الذي تم استبداله مع . و- هو اتجاه تحرك المؤشر . وعند الرمز إذا حينها و- أي انه دائما يوجه المؤشر إلى اليمين ولا يمحى ابدا .
البرنامج يبدأ في الحالية الابتدائية . السلسلة تُهيئ فيكون في أولها الرمز ويتبعه سلسلة طولها نهائي : ونسمي x مُدخل الآلة . في البداية المؤشر يؤشر على بداية المُدخل وبشكل عام هو . من هذه الصورة (configuration) الأولية الآلة تتحرك حسب وخلال هذا يتغير الحال وتطبع الآلة المُخرج وتحرك المؤشر وبعدها تتحرك خطوة أخرى وعلى هذا المنوال ...
كما ذكرنا سالفا بالنسبة فانه لا يمكن للمؤشر ان "يقع يسارا" أي أنه دوما سيتحرك المؤشر ضمن نطاق تواجد سلسلة المُدخل . اما بالنسبة لليمين فان نهاية السلسلة تكون عندما يصل المؤشر إلى الرمز حينها يمكنه إعادة كتابة المحتوى هكذا السلسلة تصبح أطول ولا يمكنها ان تصبح أقصر وهذه صفة مهمة لان الآلة مُعدة لتقوم بحسابات بشكل عام .
تتوقف الآلة عندما تصل إلى واحد من ثلاث حالات التوقف وهي "yes" , "no" , h والتي تم ذكرها انفا، عندما تصل إلى هذه الحالة نقول ان الآلة توقفت . ونقول ان الآلة "قبلت" المدخل إذا توقفت في الحال "yes" اما إذا توقفت على الحال "no" فاننا نقول ان الآلة "رفضت" المُدخل . نرمز للمُخرج الآلة لذا فانه في حال قبلت أو رفضت الآلة المُدخل حسب الجواب .
إذا دخلت الآلة حالة التوقف حينها السلسلة التي تبدأ من الرمز حتى الرمز الفارغ نقول انها سلسلة المُخرج (أو باختصار المُخرج) نرمز لها ب-y حينها نكتب للدلالة على أنها المُخرج، في بعض الأحيان قد لا تتوقف الآلة M عندما المُدخل يكون x وحينها نكتب : .
