ويكيبيديا

أتمتة محدودة قطعية: الفرق بين النسختين

تصفح التاريخ تفاعلياً
[نسخة منشورة][نسخة منشورة]
→ التعديل السابقالتعديل اللاحق ←
تم حذف المحتوى تمت إضافة المحتوى
مرئينص الويكي
لا ملخص تعديل
ط تدقيق إملائي
سطر 1:
[[ملف:DFA example multiplies of 3.svg|thumb |250px |left|مثال على الاتمتة المحدودة القطعية مكونة من ثلاث حالات وتقبل الاعداد الثنائية حيث ان الحالة S''<sub>0</sub> هي حالة البداية والنهاية '''القبول'''.]]
 
في نظرية [[الاتمتة]] و [[نظرية التشغيل الذاتي]], فرع من فروع [[علم الحاسوب]], '''الاتمتة المحدودة القطعية''' '''D'''eterministic '''F'''inite '''A'''utomaton او DFA اختصاراً '''اي الالة المحدودة المدخلات وقطعية او معروفة المخرجات''' الالة ذاتية التشغيل (محددة), هي الةآلة تقوم بقبول او رفض الحروف او الرموز وتنتج عملية حسابية معينة عند عملها او عند ادخال الحروف او الرموز عليها, قدم ابسط صورها العالمان [[McCulloch]] و [[Pitts]] في عام 1943.
 
الصورة على اليمين هو تمثيل لـ الةآلة محدودة قطعية باستخدام [[النماذج الرياضية]]. في هذه الالة هناك ثلاث حالات : S0, S1 و S2 (حيث كل دائرة تدل على حالة). هذه الالة تقبل عدد محدود من ال 0 والـ 1 كمدخلات. في كل حالة من الثلاث حالات هناك سهم انتقال من حاله الىإلى اخرى. في حالة قرائة رمز او حرف معين '''0 و 1 في هذه الحالة''' الالة تنتقل من حالة الىإلى اخرى بشكل '''قطعي ومحدد'''.
 
 
الـ '''DFA''' معرفة كـ [[نموذج رياضي|النماذج الرياضية]], لكن بسبب طبيعتها '''القطعية''', هي مطبقة في [[البرمجيات]] والـ[[Hardware]] لحل العديد من المشاكل المحددة. على سبيل المثال : نموذج رياضي يمثل '''DFA''' يطبق كبرمجية تقوم بتقرير ما ان كان احدأحد المستخدمين على الشبكة ام لا او تدقيق بريده الالكتروني على سبيل المثال.
 
==التعريف==
سطر 15:
* عدد محدود من رموز المدخلات [[لغة (علم الحاسوب)|لغة]] (Σ)
* عملية نقل [[اقتران (رياضيات)|اقتران]] (δ : ''Q'' × Σ → ''Q'')
* a [[الةآلة محدودة الحالات#حالة البداية|حالة البداية]] (''q''<sub>''0''</sub> ∈ ''Q'')
* مجموعة من [[الةآلة محدودة الحالات#حالة القبول|حالات القبول]] (''F'' ⊆ ''Q'')
 
 
مجلوبة من «https://ar.wikipedia.org/wiki/أتمتة_محدودة_قطعية»