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

تصفح التاريخ تفاعلياً

[نسخة منشورة]

→ التعديل السابق التعديل اللاحق ←

تم حذف المحتوى تمت إضافة المحتوى

مرئينص الويكي

مضمن

نسخة 12:56، 15 ديسمبر 2017

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

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

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

التعريف

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

عدد محدود من الحالات (Q)
عدد محدود من رموز المدخلات لغة (Σ)
عملية نقل اقتران (δ : Q × Σ → Q)
a حالة البداية (q₀ ∈ Q)
مجموعة من حالات القبول (F ⊆ Q)

مراجع

^ Cai، X.S.؛ Devroye، L. "The graph structure of a deterministic automaton chosen at random: full version". arXiv:1504.06238.
^ Grusho، A. A. (1973). "Limit distributions of certain characteristics of random automaton graphs". Mathematical Notes of the Academy of Sciences of the USSR. ج. 4: 633–637. DOI:10.1007/BF01095785.{{استشهاد بدورية محكمة}}: صيانة الاستشهاد: ref duplicates default (link)
^ Carayol، Arnaud؛ Nicaud,، Cyril (2012). "Distribution of the number of accessible states in a random deterministic automaton". {{استشهاد بدورية محكمة}}: الاستشهاد بدورية محكمة يطلب |دورية محكمة= (مساعدة)صيانة الاستشهاد: علامات ترقيم زائدة (link)

بوابة تقانة المعلومات

هذه بذرة مقالة عن الحاسوب أو العاملين في هذا المجال، بحاجة للتوسيع. فضلًا شارك في تحريرها.

[1] Cai، X.S.؛ Devroye، L. "The graph structure of a deterministic automaton chosen at random: full version". arXiv:1504.06238.

[2] Grusho، A. A. (1973). "Limit distributions of certain characteristics of random automaton graphs". Mathematical Notes of the Academy of Sciences of the USSR. ج. 4: 633–637. DOI:10.1007/BF01095785.{{استشهاد بدورية محكمة}}: صيانة الاستشهاد: ref duplicates default (link)

[3] Carayol، Arnaud؛ Nicaud,، Cyril (2012). "Distribution of the number of accessible states in a random deterministic automaton". {{استشهاد بدورية محكمة}}: الاستشهاد بدورية محكمة يطلب |دورية محكمة= (مساعدة)صيانة الاستشهاد: علامات ترقيم زائدة (link)

[1]

[2]

[3]

@@ سطر 1: / سطر 1: @@
-{{مصدر|تاريخ=يناير 2016}}
 [[ملف:DFA example multiplies of 3.svg|thumb|250px |left|مثال على الاتمتة المحدودة القطعية مكونة من ثلاث حالات وتقبل الاعداد الثنائية حيث أن الحالة S''<sub>0</sub> هي حالة البداية والنهاية '''القبول'''.]]
@@ سطر 6: / سطر 5: @@
 الصورة على اليمين هو تمثيل لـ آلة محدودة قطعية باستخدام [[النماذج الرياضية]]. في هذه الآلة هناك ثلاث حالات : S0, S1 و S2 (حيث كل دائرة تدل على حالة). هذه الآلة تقبل عدد محدود من ال 0 والـ 1 كمدخلات. في كل حالة من الثلاث حالات هناك سهم انتقال من حاله إلى أخرى. في حالة قرائة رمز أو حرف معين '''0 و 1 في هذه الحالة''' الآلة تنتقل من حالة إلى أخرى بشكل '''قطعي ومحدد'''.
-الـ '''DFA''' معرفة كـ [[نموذج رياضي|النماذج الرياضية]], لكن بسبب طبيعتها '''القطعية''', هي مطبقة في [[البرمجيات]] والـ[[عتاد الحاسوب]] لحل العديد من المشاكل المحددة. على سبيل المثال : نموذج رياضي يمثل '''DFA''' يطبق كبرمجية تقوم بتقرير ما ان كان أحد المستخدمين على الشبكة ام لا أو تدقيق بريده الإلكتروني على سبيل المثال.
+الـ '''DFA''' معرفة كـ [[نموذج رياضي|النماذج الرياضية]], لكن بسبب طبيعتها '''القطعية''', هي مطبقة في [[البرمجيات]] والـ[[عتاد الحاسوب]] لحل العديد من المشاكل المحددة.<ref>{{cite arXiv|last1=Cai|first1=X.S.|last2=Devroye|first2=L.|title=The graph structure of a deterministic automaton chosen at random: full version|arxiv= 1504.06238 }}</ref><ref>{{cite journal|last1=Grusho|first1=A. A.|title=Limit distributions of certain characteristics of random automaton graphs|journal=Mathematical Notes of the Academy of Sciences of the USSR|date=1973|volume=4|pages=633–637|doi=10.1007/BF01095785|ref=Grusho1973}}</ref><ref>{{cite journal|last1=Carayol|first1=Arnaud|last2=Nicaud,|first2=Cyril|title=Distribution of the number of accessible states in a random deterministic automaton|date=2012|url=https://hal.archives-ouvertes.fr/hal-00678213}}</ref> على سبيل المثال : نموذج رياضي يمثل '''DFA''' يطبق كبرمجية تقوم بتقرير ما ان كان أحد المستخدمين على الشبكة ام لا أو تدقيق بريده الإلكتروني على سبيل المثال.
 == التعريف ==
@@ سطر 17: / سطر 16: @@
 * a [[آلة محدودة الحالات#حالة البداية|حالة البداية]] (''q''<sub>''0''</sub> ∈ ''Q'')
 * مجموعة من [[آلة محدودة الحالات#حالة القبول|حالات القبول]] (''F'' ⊆ ''Q'')
+== مراجع ==
+{{مراجع}}
 {{شريط بوابات|معلوماتية}}

ع ن ت علم الحاسوب
يعتمد هذا القالب على تصنيف أنظمة الحوسبة ^{[الإنجليزية]} الذي أنجزته جمعية آلات الحوسبة في عام 2012
العتاد	اللوحات المطبوعة الطرفيات الدارات المُتكاملة تكامل وسيع النطاق نظام على رقاقة الحوسبة الخضراء أتمتة التصميم الإلكتروني تسريع العتاد
بنية الأنظمة	المعماريَّة الأنظمة المُضمَّنة الحوسبة في الزمن الحقيقي الاعتمادية ^{[الإنجليزية]}
الشبكات	المعماريَّة البروتوكولات العتاد الجدولة الأداء الخدمات
بنية البرمجيات	المُفسِّرات برمجيات وسيطة آلة افتراضية أنظمة التشغيل جودة البرمجيات
نظرية لغات البرمجة وأدواتها	الأنماط اللغات البرمجة النمذجة مخصصة النطاق المُصرِّفات أُطُر العمل بيئة التطوير المتكاملة المكتبات المُستودعات
تطوير البرمجيات	المتغيرات عملية التطوير تحليل المتطلبات التصميم البناء النشر الصيانة فريق البرمجة البرمجيات حُرَّة المصدر
نظرية الحوسبة	نموذج حوسبة لغة متصرفة نظريات التشغيل الذاتي الحسوبية التعقيد الحسابي المنطق علم الدلالة الشكلي
الخوارزميات	التحليل الكفاءة خوارزمية عشوائية هندسة مُحوسبة
رياضيات الحوسبة	رياضيات مُتقطِّعة الاحتمالات الإحصاء برمجية رياضية نظرية المعلومات التحليل الرياضي العددي علم الحاسوب النظري
نظم المعلومات	أنواع التخزين قواعد البيانات الوسائط المتعددة اقتصادية اجتماعية جغرافية دعم القرارات التحكُّم في العمليات تنقيب في البيانات مكتبة رقمية منصة حوسبة التسويق الرقمي شبكة عالمية المجال استرجاع المعلومات
الأمن	أنواع العتاد ^{[الإنجليزية]} الشبكات المعلومات التطبيقات الخدمات علم التعمية طريقة شكلية أنظمة كشف التسلسل
التفاعل الإنساني الحاسويبي	حوسبة اجتماعية سائدة تصميم التفاعل تمثيل مرئي إمكانية الوصول ^{[الإنجليزية]}
تزامن	أنواع مُتزامِنة مُتوازيَّة مُوزَّعة تشعب مُتعدِّد ^{[الإنجليزية]} مُعالَجة مُتعدِّدة
الذكاء الاصطناعي	معالجة اللغة الطبيعية تمثيل المعرفة رؤية حاسوبية التخطيط الآلي والجدولة الاستمثال نظرية التَّحكُّم الفلسفة ذكاء اصطناعي مُوزَّع ^{[الإنجليزية]}
تعلم الآلة	أنواع التَّعلُّم مُراقَب غير مُراقَب مَدعُوم مُتعدِّد المهام ^{[الإنجليزية]} التحقق المُتقاطِع
رسوميَّات	التحريك تصيير صور التَّلاعُب الضَّغط وحدة معالجة الرسوميَّات وُقُع افتراضي مُعزَّز مُختلَط نمذجة المُجسَّمات ^{[الإنجليزية]}
الحوسبة التطبيقيَّة	اختصاصات محوسبة رياضيات كيمياء فيزياء علم الأحياء هندسة العلوم الاجتماعية معلوماتية صحية التجارة الرقميَّة الفن الرقمي النشر الرقمي حرب رقمية عبر الشبكة التصويت الإلكتروني ألعاب الفيديو مُعالِجات النصوص بحوث العمليات تقنيات التعليم
تصنيف مُختصَر موجز مشروع كُومُنز