أتمتة محدودة قطعية

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
مثال على الاتمتة المحدودة القطعية مكونة من ثلاث حالات وتقبل الاعداد الثنائية حيث ان الحالة S0 هي حالة البداية والنهاية القبول.

في نظرية الاتمتة و نظرية التشغيل الذاتي, فرع من فروع علم الحاسوب, الاتمتة المحدودة القطعية Deterministic Finite Automaton او DFA اختصاراً اي الالة المحدودة المدخلات وقطعية او معروفة المخرجات الالة ذاتية التشغيل (محددة), هي آلة تقوم بقبول او رفض الحروف او الرموز وتنتج عملية حسابية معينة عند عملها او عند ادخال الحروف او الرموز عليها, قدم ابسط صورها العالمان McCulloch و Pitts في عام 1943.

الصورة على اليمين هو تمثيل لـ آلة محدودة قطعية باستخدام النماذج الرياضية. في هذه الالة هناك ثلاث حالات : S0, S1 و S2 (حيث كل دائرة تدل على حالة). هذه الالة تقبل عدد محدود من ال 0 والـ 1 كمدخلات. في كل حالة من الثلاث حالات هناك سهم انتقال من حاله إلى اخرى. في حالة قرائة رمز او حرف معين 0 و 1 في هذه الحالة الالة تنتقل من حالة إلى اخرى بشكل قطعي ومحدد.


الـ DFA معرفة كـ النماذج الرياضية, لكن بسبب طبيعتها القطعية, هي مطبقة في البرمجيات والـHardware لحل العديد من المشاكل المحددة. على سبيل المثال : نموذج رياضي يمثل DFA يطبق كبرمجية تقوم بتقرير ما ان كان أحد المستخدمين على الشبكة ام لا او تدقيق بريده الالكتروني على سبيل المثال.

التعريف[عدل]

الـالاتمتة المحدودة القطعية مكونة من M is a 5-عناصر (Q, Σ, δ, q0, F)



Computer.svg هذه بذرة مقالة عن الحاسوب أو العاملين في هذا المجال تحتاج للنمو والتحسين. ساهم في إثرائها بالمشاركة في تحريرها.