- [ شقق مفروشة السعودية ] الوافى(1) للوحدات السكنية المفروشة
- [ وسطاء عقاريين السعودية ] محمد عبدالرحمن محمد العمري ... جدة ... منطقة مكة المكرمة
- [ دليل أبوظبي الامارات ] خياط وادي البستان للسيدات ... أبوظبي
- [ دليل دبي الامارات ] مطعم كركوش ... دبي
- [ خذها قاعدة ] أفضل ما تهبه في حياتك : العفو عن عدوك والصبر على خصمك والإخلاص لصديقك والقدوة الحسنة لطفلك والإحسان لوالديك والإحترام لنفسك والمحبة لجميع الناس. - مصطفى محمود
- [ وزارات وهيئات حكومية السعودية ] وزارة الصحة
- [ تعرٌف على ] نظرية التشغيل الذاتي
- شركة ابناء سالم باخشوين للأدوات المنزلية
- مخزن رضا العطية للأدوية
- [رقم هاتف] الطبيب بوضياف ركراكي خديجة .. المغرب
- [ عطور الامارات ] مؤسسة بن قواسم للتجارة
- [ اثاث الامارات ] النسيم لتنجيد الاثاث
- مطعم الفيشاوي
- مجموعة الخاتم التجارية
- [ العطور ومستحضرات التجميل و التجارة قطر ] شركة صيدلية نوران
- [ وسطاء عقاريين السعودية ] سلطان غلاب بن سبيتان الحربي ... بريده ... منطقة القصيم
- تجربتي مع فاتلوس
- [ حكمــــــة ] عن أبي الدرداء قال: إن الذين ألسنتهُم رطبة بذكر الله عزَّ وجل يدخلُ أحدهم الجنة وهو يضحك.
- [ رقم تلفون ] مطعم سبينيس للفطائر بالكويت
- [ رقم هاتف ] عيادة الدكتور محمود المطاوعه للنساء و الولادة والعنوان بالكويت
- [ تعرٌف على ] صيفي من حب
- [ رقم تلفون ] شركة انور كولكشن للانجري الملابس الداخلية النسائية..الكويت
- [ مؤسسات البحرين ] رمله غلوم امان اسد ... المنطقة الشمالية
- [ تعرٌف على ] سرقة دورة
- [رقم هاتف] مؤسسة مديرية شرطة شرق عمان .. بالاردن الهاشمية
- مؤسسة احمد سعيد ناجى للساعات والمجوهرات
- [ مؤسسات البحرين ] مؤسسة عبير ابراهيم محمد الكعبي ... المنطقة الشمالية
- مؤسسة الحسيكي للملابس الجاهزة
- مستوصف بدر الربيع الطبى وها حي البريد, الدمام
- [ تعرٌف على ] الجامعة الزراعية في خونان
- وظائف خالية لدى رقم هاتف بنك الامل للتمويل الاصغر ..وظائف اليمن
- [ قضايا مجتمعية ] سلبيات وإيجابيات المدينة
- مستوصف التاج الطبى
- قضية دريفوس سياق قضية دريفوس
- [ تعرٌف على ] الديالكتيك السلبي
- معاصر الأحلام للزيوت - معاصر الاحلام للزيوت بجدة
- أجمل وأفضل أقوال واقتباسات جلال الخوالدة
- [رقم هاتف] مؤسسة كوراني للتجارة.. لبنان
- [ الإمدادات الغذائية و التجارة قطر ] قطر اتولايت
- استخراج الخريطة السنوية مجانا
- مدارس القصواء الأهلية
- [ اعلان السعودية ] المميز للدعاية والإعلان
- هاتف وعنوان وتفاصيل عن مكتب الوسام للاستقدام بالمملكة العربية السعودية
- [رقم هاتف] مدرسة الملك طلال الثانوية العسكرية .. العقبة.. الاردن
- [ دليل أبوظبي الامارات ] شركة لايت فيجن (ذ.م.م) ... أبوظبي
- [رقم هاتف] الطبيب اللبار عبد الكريم .. المغرب
- [ حكمــــــة ] أخي المسلم : ما أسعد أهل النيات الصادقة، وما أطيب عيشهم بالإخلاص.. أيعجزك أخي أن تعقد قلبك على فعل الصالحات.. وعمل المكرمات؟! فها هو النبي صلى الله عليه وسلم يرجع من غزوة تبوك وقد حفَّت به تلك الزمرة الطاهرة.. فيدنو الركب من المدينة الطاهرة.. طيبة.. طابة.. دار الإيمان.. فيقول وقتها صلى الله عليه وسلم : «إن بالمدينة أقوامًا ما سرتم مسيرًا ولا قطعتم واديًا إلا كانوا معكم» قالوا: يا رسول الله وهم بالمدينة؟! قال: «وهم بالمدينة، حبسهم العذر» [رواه البخاري].
- تفسير حلم رؤية قلب الخروف في المنام
- [ مقاولون السعودية ] شركة تشييد البناء
- محل شوكولاين للحلويات
- [ دليل دبي الامارات ] أبسولوت زيرو جميرا ... دبي
- [رقم هاتف] عياده د. رائف ملاك بطرس - عمارة رمسيس - وسط البلد بالقاهرة
- [ رقم هاتف ] مستشفى و عيادة الفحيحيل البيطرية بالكويت - البدالة
- [ رقم هاتف ] عيادة الدكتور محمد مرزوق الجلداوي تخصص جراحة بمستشفى العدان بالكويت
- [ شركات التجارة العامه قطر ] دونيس التجارية Dunes International Trading Company ... الدوحة
- كيفية استخدام العنبر لزيادة الوزن
- [ تعرٌف على ] إسماعيلية رايح جاي (فيلم)
- [ رقم هاتف ] لمسات ليلى للتزيين
- [ تعرٌف على ] انحياز للسلبية
- تفسير حلم اصلاح الطريق في المنام
- ما هي أنواع الحيتان
- [ خدمات قطر ] دليل مدارس قطر | المدرسة الامريكية في قطر
- [ وسطاء عقاريين السعودية ] عبدالله احمد عبدالله اليزيدي ... الليث ... منطقة مكة المكرمة
- [ مؤسسات البحرين ] شركة تحصيل لتحصيل الديون ذ م م ... منامة
- [ تعرٌف على ] ملف ثنائي
- شركة دلة التجارية
- الاغتصاب الزوجي الأسباب
- - شركه الارض الدوليه للاستثمار و التطوير العقاري ذ.م.م
- تفسير رؤية شخص يدير ظهره في المنام
- [ خذها قاعدة ] الاستفادة من تطور الأمم الأخرى يكون في المعلومات والاختراعات والاقتصاد والاستثمار، أما في السياسة فهو خراب وترقيع. - جلال الخوالدة
- [ دليل أبوظبي الامارات ] المعمورة لتنجيد وزينة السيارات ... أبوظبي
- [ رقم هاتف ] شركة اركانات للحراسات الأمنيه
- هيثم السليطي من اي قبيله
- طريقة عمل العوامات العراقية
- [ شركات الاستقدام قطر ] السيال لاستقدام العمالة Al Sial Manpower Recruitment ... الدوحة
- [ رقم هاتف ] عيادة الدكتور حمود النومس استشاري الأنف والأذن والحنجرة بعيادة هيلث كير كلينيك بالكويت
- ارقام وهواتف المستشفى الرومانى 39 ش زاهر بيومى الحضرة قبلى بالاسكندرية
- ايه بى فى السعودية مقاولون عامون المحدودة
- وظائف خالية لدى صيدليات دلمار وعطا الله خدمة العملاء بالقاهرة ..وظائف مصر
- [ رقم هاتف ] مؤسسة مخللاتي للتجارة لوازم للخياطة .... لبنان
- [ تعرٌف على ] جيش التحرير الوطني الليبي
- [ رقم هاتف ] أوبر Uber وكريم قريب من الناصرية عرعر بالقرب منك
- [ الفنون والرسم و الخدمات قطر ] تابلوه للفنون التشكيلية
- [ رقم هاتف ] راعي سيمون، للسيارات .. لبنان
- [ تعرٌف على ] فجوة الأجور بين الجنسين في روسيا
- كيفية إيقاف الديك عن الصياح
- [ دليل العين الامارات ] محل حساني لتصليح الاطارات وتبديل الزيوت ... العين
- [ رقم هاتف ] جمعية قرض الحسن، .... لبنان
- [ وسطاء عقاريين السعودية ] سلطان غرم الله عقيل الغامدي ... جدة ... منطقة مكة المكرمة
- [ رقم هاتف ] نجم الشمال nejmm-elshamall
- [ وسطاء عقاريين السعودية ] عمر سعود بن محمد الهاجري ... الدمام ... المنطقة الشرقية
- [رقم هاتف] عيادة الطبيب ابيض سوسن .. لبنان
- [رقم هاتف] عيادة الطبيب يكن محمد صفوح احمد عصمت .. لبنان
- [ مقاولون الامارات ] ابو سلام للتمديدات الصحية والكهربائية
- [ رقم هاتف ] مدرسة ام مبشر الانصارية الثانوية للبنات والعنوان بالجهراء
- [ رقم تلفون ] عطارة الشروق للأعشاب الطبية بالكويت
- [ مؤسسات البحرين ] ضاحية السيل للخياطة النسائية ... المنطقة الجنوبية
- [ وسطاء عقاريين السعودية ] عبدالعزيز محمد بن عبدالله السعيد ... الرياض ... منطقة الرياض
- [ رقم تلفون ] مخفر شرطة ميدان حولي..الكويت
- [ مؤسسات البحرين ] بومطير للمقاولات ... منامة
- [ شقق مفروشة السعودية ] الوافى(1) للوحدات السكنية المفروشة
- [ وسطاء عقاريين السعودية ] محمد عبدالرحمن محمد العمري ... جدة ... منطقة مكة المكرمة
- [ دليل أبوظبي الامارات ] خياط وادي البستان للسيدات ... أبوظبي
- [ دليل دبي الامارات ] مطعم كركوش ... دبي
- [ خذها قاعدة ] أفضل ما تهبه في حياتك : العفو عن عدوك والصبر على خصمك والإخلاص لصديقك والقدوة الحسنة لطفلك والإحسان لوالديك والإحترام لنفسك والمحبة لجميع الناس. - مصطفى محمود
- [ وزارات وهيئات حكومية السعودية ] وزارة الصحة
- [ تعرٌف على ] نظرية التشغيل الذاتي
- شركة ابناء سالم باخشوين للأدوات المنزلية
- مخزن رضا العطية للأدوية
- [رقم هاتف] الطبيب بوضياف ركراكي خديجة .. المغرب
- [ عطور الامارات ] مؤسسة بن قواسم للتجارة
- [ اثاث الامارات ] النسيم لتنجيد الاثاث
- مطعم الفيشاوي
- مجموعة الخاتم التجارية
- [ العطور ومستحضرات التجميل و التجارة قطر ] شركة صيدلية نوران
- [ وسطاء عقاريين السعودية ] سلطان غلاب بن سبيتان الحربي ... بريده ... منطقة القصيم
- تجربتي مع فاتلوس
- [ حكمــــــة ] عن أبي الدرداء قال: إن الذين ألسنتهُم رطبة بذكر الله عزَّ وجل يدخلُ أحدهم الجنة وهو يضحك.
- [ رقم تلفون ] مطعم سبينيس للفطائر بالكويت
- [ رقم هاتف ] عيادة الدكتور محمود المطاوعه للنساء و الولادة والعنوان بالكويت
- [ تعرٌف على ] صيفي من حب
- [ رقم تلفون ] شركة انور كولكشن للانجري الملابس الداخلية النسائية..الكويت
- [ مؤسسات البحرين ] رمله غلوم امان اسد ... المنطقة الشمالية
- [ تعرٌف على ] سرقة دورة
- [رقم هاتف] مؤسسة مديرية شرطة شرق عمان .. بالاردن الهاشمية
- مؤسسة احمد سعيد ناجى للساعات والمجوهرات
- [ مؤسسات البحرين ] مؤسسة عبير ابراهيم محمد الكعبي ... المنطقة الشمالية
- مؤسسة الحسيكي للملابس الجاهزة
- مستوصف بدر الربيع الطبى وها حي البريد, الدمام
- [ تعرٌف على ] الجامعة الزراعية في خونان
- وظائف خالية لدى رقم هاتف بنك الامل للتمويل الاصغر ..وظائف اليمن
- [ قضايا مجتمعية ] سلبيات وإيجابيات المدينة
- مستوصف التاج الطبى
- قضية دريفوس سياق قضية دريفوس
- [ تعرٌف على ] الديالكتيك السلبي
- معاصر الأحلام للزيوت - معاصر الاحلام للزيوت بجدة
- أجمل وأفضل أقوال واقتباسات جلال الخوالدة
- [رقم هاتف] مؤسسة كوراني للتجارة.. لبنان
- [ الإمدادات الغذائية و التجارة قطر ] قطر اتولايت
- استخراج الخريطة السنوية مجانا
- مدارس القصواء الأهلية
- [ اعلان السعودية ] المميز للدعاية والإعلان
- هاتف وعنوان وتفاصيل عن مكتب الوسام للاستقدام بالمملكة العربية السعودية
- [رقم هاتف] مدرسة الملك طلال الثانوية العسكرية .. العقبة.. الاردن
- [ دليل أبوظبي الامارات ] شركة لايت فيجن (ذ.م.م) ... أبوظبي
- [رقم هاتف] الطبيب اللبار عبد الكريم .. المغرب
- [ حكمــــــة ] أخي المسلم : ما أسعد أهل النيات الصادقة، وما أطيب عيشهم بالإخلاص.. أيعجزك أخي أن تعقد قلبك على فعل الصالحات.. وعمل المكرمات؟! فها هو النبي صلى الله عليه وسلم يرجع من غزوة تبوك وقد حفَّت به تلك الزمرة الطاهرة.. فيدنو الركب من المدينة الطاهرة.. طيبة.. طابة.. دار الإيمان.. فيقول وقتها صلى الله عليه وسلم : «إن بالمدينة أقوامًا ما سرتم مسيرًا ولا قطعتم واديًا إلا كانوا معكم» قالوا: يا رسول الله وهم بالمدينة؟! قال: «وهم بالمدينة، حبسهم العذر» [رواه البخاري].
- تفسير حلم رؤية قلب الخروف في المنام
- [ مقاولون السعودية ] شركة تشييد البناء
- محل شوكولاين للحلويات
- [ دليل دبي الامارات ] أبسولوت زيرو جميرا ... دبي
- [رقم هاتف] عياده د. رائف ملاك بطرس - عمارة رمسيس - وسط البلد بالقاهرة
- [ رقم هاتف ] مستشفى و عيادة الفحيحيل البيطرية بالكويت - البدالة
- [ رقم هاتف ] عيادة الدكتور محمد مرزوق الجلداوي تخصص جراحة بمستشفى العدان بالكويت
- [ شركات التجارة العامه قطر ] دونيس التجارية Dunes International Trading Company ... الدوحة
- كيفية استخدام العنبر لزيادة الوزن
- [ تعرٌف على ] إسماعيلية رايح جاي (فيلم)
- [ رقم هاتف ] لمسات ليلى للتزيين
- [ تعرٌف على ] انحياز للسلبية
- تفسير حلم اصلاح الطريق في المنام
- ما هي أنواع الحيتان
- [ خدمات قطر ] دليل مدارس قطر | المدرسة الامريكية في قطر
- [ وسطاء عقاريين السعودية ] عبدالله احمد عبدالله اليزيدي ... الليث ... منطقة مكة المكرمة
- [ مؤسسات البحرين ] شركة تحصيل لتحصيل الديون ذ م م ... منامة
- [ تعرٌف على ] ملف ثنائي
- شركة دلة التجارية
- الاغتصاب الزوجي الأسباب
- - شركه الارض الدوليه للاستثمار و التطوير العقاري ذ.م.م
- تفسير رؤية شخص يدير ظهره في المنام
- [ خذها قاعدة ] الاستفادة من تطور الأمم الأخرى يكون في المعلومات والاختراعات والاقتصاد والاستثمار، أما في السياسة فهو خراب وترقيع. - جلال الخوالدة
- [ دليل أبوظبي الامارات ] المعمورة لتنجيد وزينة السيارات ... أبوظبي
- [ رقم هاتف ] شركة اركانات للحراسات الأمنيه
- هيثم السليطي من اي قبيله
- طريقة عمل العوامات العراقية
- [ شركات الاستقدام قطر ] السيال لاستقدام العمالة Al Sial Manpower Recruitment ... الدوحة
- [ رقم هاتف ] عيادة الدكتور حمود النومس استشاري الأنف والأذن والحنجرة بعيادة هيلث كير كلينيك بالكويت
- ارقام وهواتف المستشفى الرومانى 39 ش زاهر بيومى الحضرة قبلى بالاسكندرية
- ايه بى فى السعودية مقاولون عامون المحدودة
- وظائف خالية لدى صيدليات دلمار وعطا الله خدمة العملاء بالقاهرة ..وظائف مصر
- [ رقم هاتف ] مؤسسة مخللاتي للتجارة لوازم للخياطة .... لبنان
- [ تعرٌف على ] جيش التحرير الوطني الليبي
- [ رقم هاتف ] أوبر Uber وكريم قريب من الناصرية عرعر بالقرب منك
- [ الفنون والرسم و الخدمات قطر ] تابلوه للفنون التشكيلية
- [ رقم هاتف ] راعي سيمون، للسيارات .. لبنان
- [ تعرٌف على ] فجوة الأجور بين الجنسين في روسيا
- كيفية إيقاف الديك عن الصياح
- [ دليل العين الامارات ] محل حساني لتصليح الاطارات وتبديل الزيوت ... العين
- [ رقم هاتف ] جمعية قرض الحسن، .... لبنان
- [ وسطاء عقاريين السعودية ] سلطان غرم الله عقيل الغامدي ... جدة ... منطقة مكة المكرمة
- [ رقم هاتف ] نجم الشمال nejmm-elshamall
- [ وسطاء عقاريين السعودية ] عمر سعود بن محمد الهاجري ... الدمام ... المنطقة الشرقية
- [رقم هاتف] عيادة الطبيب ابيض سوسن .. لبنان
- [رقم هاتف] عيادة الطبيب يكن محمد صفوح احمد عصمت .. لبنان
- [ مقاولون الامارات ] ابو سلام للتمديدات الصحية والكهربائية
- [ رقم هاتف ] مدرسة ام مبشر الانصارية الثانوية للبنات والعنوان بالجهراء
- [ رقم تلفون ] عطارة الشروق للأعشاب الطبية بالكويت
- [ مؤسسات البحرين ] ضاحية السيل للخياطة النسائية ... المنطقة الجنوبية
- [ وسطاء عقاريين السعودية ] عبدالعزيز محمد بن عبدالله السعيد ... الرياض ... منطقة الرياض
- [ رقم تلفون ] مخفر شرطة ميدان حولي..الكويت
- [ مؤسسات البحرين ] بومطير للمقاولات ... منامة
[ تعرٌف على ] نظرية التشغيل الذاتي # أخر تحديث اليوم 2024/05/13
تم النشر اليوم 2024/05/13 | نظرية التشغيل الذاتي
تساوي الآلات
مع أن ذلك قد لا يكون واضحا للوهلة الأولى، إلا أن جميع أنواع الآلات الذاتية التشغيل السابقة لها نفس القوة الرياضية. أي يمكن تحويل أي آلة غير محددة مثلاً إلى آلة محدّدة تقبل نفس السلاسل والعكس صحيح. إلا أنه عادة تكون الآلة المحدّدة أكثر تعقيداً من الأنواع الأخرى. فمثلاً، الآلة التالية لها نفس قوة الآلة غير المحدّدة السابقة. يمكن التحقق من ذلك بسهولة بتجريب مجموعة من السلاسل. آلة ذاتية التشغيل محددة مساوية للآلة السابقة.
التعريف الرياضي للآلات الذاتية التشغيل
أولا سنقوم بتعريف الآلة الذاتية التشغيل المحدّدة، وهي الآلة التي تكون دائما في حالة واحدة بعد قراءة أي رمز دخْل معيّن، وذلك لأنه عند كل حالة لا يوجد سوى نقلة واحدة لكل رمز دخْل. هناك أيضا الآلات غير المحدّدة، سيتم التفصيل في الفرق بين الإثنين في الأقسام التالية. تعرّف الآلة الذاتية التشغيل المحدّدة A
A رياضيات بأنها خماسية ⟨
Q
,
Σ
,
δ
, q 0
,
F
⟩
{displaystyle langle Q,Sigma ,delta ,q_{0},Frangle } بحيث أن: Q
{displaystyle Q} هي مجموعة محدودة من الحالات.
Σ
Sigma هي مجموعة محدودة من رموز الدخْل.
δ
delta هي دالة للنقل (أو التحول) معرفة بـ δ
:
Q
×
Σ
→
Q
{displaystyle delta :Qtimes Sigma rightarrow Q} ، يكون مدخلها ثنائية من حالة ( q
{displaystyle q} ) ورمز دخل ( a
a )، ومخرجها حالة ( q
′
{displaystyle qprime } )، أي δ
(
q
,
a
)
=
q
′
{displaystyle delta (q,a)=qprime } . q 0
{displaystyle q_{0}} هي حالة البدأ التي يبدأ منها التشغيل، وهي تنتمي إلى المجموعة Q
{displaystyle Q} .
F
F هي مجموعة من الحالات النهائية، وهي مجموعة محتواة في Q
{displaystyle Q} .
مثال المصباح المتقدم
في مثال المصباح المتقدّم السابق لدينا: مجموعة الحالات Q
{displaystyle Q} هي {منطفئ، ضعيف، متوسط، قوي}.
مجموع رموز الدخل Σ
Sigma هي {أطفئ، اضغط}.
تم تمثيل الدالة δ
delta في الشكل السابق بالأسهم التي تنتقل من حالة إلى أخرى، ويمكن تعداد هذه الدالّة:
(منطفئ، أطفئ) ←
{displaystyle leftarrow } منطفئ
(منطفئ، اضغط) ←
{displaystyle leftarrow } ضعيف
(ضعيف، أطفئ) ←
{displaystyle leftarrow } منطفئ
(ضعيف، اضغط) ←
{displaystyle leftarrow } متوسط
(متوسط، أطفئ) ←
{displaystyle leftarrow } منطفئ
(متوسط، اضغط) ←
{displaystyle leftarrow } قوي
(قوي، أطفئ) ←
{displaystyle leftarrow } منطفئ
(قوي، اضغط) ←
{displaystyle leftarrow } قوي
حالة البدء
q 0
{displaystyle q_{0}} هي منطفئ.
مجموعة الحالات النهائية F
F هي مجموعة وحيدة العنصر وهي: {قوي}.
أنواع الآلات الذاتية التشغيل
هناك ثلاث أنواع للآلات الذاتية التشغيل: 1- آلات ذاتية التشغيل (حتمية)
كما ذكرنا سابقا فإن الآلات الذاتية التشغيل الحتمية (بالإنجليزية Determinisic Finite State Automaton أو باختصار DFA) تكون دائما في حالة واحدة فقط مهما كانت سلسلة الدخل التي قامت بتصريفها، وذلك لأنه لا توجد سوى نقلة واحدة لكل رمز دخل عند كل حالة. كل الأمثلة السابقة هي آلات محدّدة. 2- آلات ذاتية التشغيل (غير محددة)
الآلات غير المحدّدة (بالإنجليزية Nondeterminisic Finite State Automaton أو باختصار NFA) هي آلات يمكن أن تكون في حالات محتملة عدّة عند كل لحظة، حيث يمكن لها أن تشتغل في جهات عدّة عند كلّ رمز دخل. يتم تحديد الاتجاه المناسب خطوة بعد خطوة عند كل رمز كلما رفض اتجاه ما هذا الرمز. تكون الآلة غير المحدّدة في حالة نهائية (أي حالة قبول) إذا كانت أي من الحالات المحتملة الحالية حالة قبول. مثال آلة غير محدّدة «لا حتمية» الشكل التالي يوضح آلة غير محدّدة. لاحظ أن هذه الآلة تقبل كل السلاسل المتكونة من الأرقام 0 و1 والمنتهية بالسلسلة 1-0 (تُقرأ السلسلة من اليمين إلى اليسار). لاحظ انه في الحالة ح0، عند إدخال الرمز 1 هناك حالتان محتملتان هما ح0 نفسها وح1. آلة ذاتية التشغيل غير محددة.
التعريف الرياضي رياضياً التعريف هو نفس تعريف الآلة المحددة مع اختلاف وحيد في الدالة. الدالة δ
delta للآلة المحددة تنتج حالة واحدة فقط عند كل ثنائية حالة ورمز، أما دالة الآلة غير المحددة فتنتج مجموعة من الحالات. يمكن استبدال العنصر الثالث في قائمة التعريف السابقة بالتعريف: δ
delta هي دالّة للنقل (أو التحول) معرفة بـ δ
:
Q
×
Σ
→
P
(
Q
)
{displaystyle delta :Qtimes Sigma rightarrow {mathcal {P}}(Q)} ، يكون مدخلها ثنائية من حالة ( q
{displaystyle q} ) ورمز دخل ( a
a )، ومخرجها مجموعة حالات ( Q
′
{displaystyle Qprime } ) تنتمي إلى المجموعة ( Q
{displaystyle Q} )، أي δ
(
q
,
a
)
=
Q
′
{displaystyle delta (q,a)=Qprime } .
يرمز P
(
Q
)
{displaystyle {mathcal {P}}(Q)} إلى ناتج كل المجموعات التي يمكن تكوينها من عناصر المجموعة Q
{displaystyle Q} . مثال الآلة غير المحددة السابق مجموعة الحالات Q
{displaystyle Q} هي { ح0، ح1، ح2}.
مجموع رموز الدخل Σ
Sigma هي {0، 1}.
الدالة δ
delta :
(ح0، 0) ←
{displaystyle leftarrow } {ح0}
(ح0، 1) ←
{displaystyle leftarrow } {ح0, ح1}
(ح1، 0) ←
{displaystyle leftarrow } {ح2}
حالة البدأ
q 0
{displaystyle q_{0}} هي ح0.
مجموعة الحالات النهائية F
F هي مجموعة وحيدة العنصر وهي: {ح2}.
3- آلات ذاتية التشغيل غير محددة بنقلات معدومة الرمز
بالإنجليزية Nondeterministic finite automata with ε transitions أو ε-NFA. هذه الآلات مشابهة للآلات غير المحددة مع إمكانية تنقلها من حالة إلى أخرى من دون إدخال أي رمز. يرمز للتنقل المعدوم بـ ε. وهذا يعني أن الآلة يمكن أن تكون في مجموعة الحالات التي يمكن التنقل إليها من الحالة الحالية باستعمال هذا الرمز.
آلة ذاتية التشغيل
المقالة الرئيسة: آلة ذاتية التشغيل
تعتبر الآلة ذاتية التشغيل نموذجاً رياضياً للآلات المجرّدة؛ وهي آلات لها حالات مختلفة، تبدأ في حالة معيّنة ثم تنتقل من حالة إلى أخرى تبعاً لعوامل خارجيّة، تُمثَّل كسلسلة من الرموز الأساسية المتداخلة. يُقرأ الداخل رمزاً فرمزاً حتى تتوقف الآلة عند الانتهاء، أو عند حصول خطأ.
مثال آلة بسيطة ذاتية التشغيل
لنفرض مثلا أننا نريد تمثيل مصباح كهربائي بسيط يمكن إطفاؤه وتشغيله بالضغط على زر إلكتروني. يمكن تمثيل حالتي المصباح المنطفئة والمشتغلة بالحالتين «منطفئ» و«مشتغل» على التّرتيب. يبقى المصباح في إحدى الحالتين حتى يقوم أحدهم بالضغط على الزر ليتحوّل المصباح إلى الحالة الأخرى.
يبين هذا الشكل الأول آلة المصباح السّابق وصفها: آلة ذاتية التشغيل تمثّل المصباح.
تبدأ الآلة في حالة «منطفئ» ولذلك هناك السهم «ابدأ» الذي يشير لهذه الحالة. تسمّى الدوائر المرسومة حالات، جمع «حالة»، كلّ حالة تصف وضع المصباح في وقت ما. تمثل الأسهم الظاهرة ما يسمّى بالدّخل، وهذا بدوره يمثّل التأثيرات الخارجية على الآلة، فلدينا هنا رمز دخْل واحد يسمى «اضغط»، يقوم بنقل الآلة بين حالتي الانطفاء والاشتغال. في بعض الآلات يمكن أيضا تحديد الحالات التي تنتهي عندها الآلة بنجاح، فيمكن إذن تسميتها الحالات القابلة أو النهائية. لنفرض مثلا أن لنا مصباحا آخر متطوّرا له ثلاث حالات للتشغيل: «ضعيف»، «متوسّط» و«قويّ»، ولدينا أيضا زران: أحدهما يقوم بإطفاء المصباح دائما فنسمي هذه العملية «أطفئ»، والآخر يزيد من شدّة المصباح فنسمّي تأثيره «اضغط». ينتقل المصباح بين حالات شدّة الضوء المختلفة بإرسال عمليّة «اضغط». إذا أردنا جعل هدفنا هو تشغيل المصباح إلى أقصى قوة يمكن تمثيله بالشّكل التّالي: آلة ذاتية التشغيل تمثّل مصباحا متطورا.
تمثّل الدائرة المضاعفة الحالة النهائية للآلة. تقبل هذه الآلة سلاسل الدّخل الآتية: اضغط-اضغط-اضغط
أطفئ-اضغط-اضغط-اضغط-اضغط
اضغط-اضغط-اضغط-أطفئ-اضغط-اضغط-اضغط
لأنها تنتهي كلها عند الحالة النهائية. لكنها لا تقبل السلاسل التالية: اضغط-اضغط-اضغط-أطفئ
اضغط-أطفئ-اضغط-اضغط
لأنها تنتهي عند حالات غير نهائية.
استعمالات النظرية
تستعمل نظرية الآلات الذاتية التشغيل في علوم الحاسوب في حلول كثيرة منها: تطوير برامج للتّحقق من صحة وسلامة الدّارات الرقمية.
الانتاج (التركيبي) لمعظم مصرّفات لغات البرمجة؛ أي المكوّن الذي يهتمّ بتحليل وقطع النصّ الدّاخل (مصدر البرنامج) إلى وحدات منطقية؛ كأسماء المتغيرات، والأعداد والتنقيط.المتغيرات، والأعداد والتنقيط.
برامج لتحليل صفحات كثيرة من الإنترنت، والبحث عن كلمات معينة أو رسم جداول المدفوعات أوهياكل النماذج الصناعية.
برامج للتحقّق من صحّة موارد البرامج الأخرى، فيما يعرف بالتحقق من هيكلة دفع النموذج (Model Checking).
برامج محاكي التنسيق بين المتشابهات والوحدات الرياضية لنظريات الالآت ذاتية التشغيل.
شرح مبسط
تعديل – تعديل مصدري – تعديل ويكي بيانات