نظرية الأتمتة هي فرع نظري من علوم الكمبيوتر والرياضيات. إنها دراسة الآلات المجردة والمسائل الحسابية التي يمكن حلها باستخدام هذه الآلات. تسمى الآلة المجردة بالأوتوماتا. كان الدافع الرئيسي وراء تطوير نظرية الأوتوماتا هو تطوير طرق لوصف وتحليل السلوك الديناميكي للأنظمة المنفصلة.
يتكون هذا الإنسان من حالات وانتقالات. ال ولاية يمثلها الدوائر ، و ال الانتقالات يمثلها السهام .
Automata هو نوع الآلة التي تأخذ بعض السلسلة كمدخل ويمر هذا الإدخال عبر عدد محدود من الحالات وقد يدخل في الحالة النهائية.
هناك المصطلحات الأساسية المهمة والمستخدمة بشكل متكرر في التشغيل الآلي:
حرف او رمز:
الرموز هي كيان أو كائنات فردية، والتي يمكن أن تكون أي حرف أو أبجدية أو أي صورة.
مثال:
1، أ، ب، #
الحروف الهجائية:
الحروف الهجائية هي مجموعة محدودة من الرموز. ويشار إليه بـ ∑.
أمثلة:
∑ = {a, b} ∑ = {A, B, C, D} ∑ = {0, 1, 2} ∑ = {0, 1, ....., 5] ∑ = {#, β, Δ} خيط:
إنها مجموعة محدودة من الرموز من الأبجدية. يتم الإشارة إلى السلسلة بواسطة w.
مثال 1:
إذا كانت ∑ = {a, b}، فإن السلاسل المختلفة التي يمكن إنشاؤها من ∑ هي {ab, aa, aaa, bb, bbb, ba, aba.....}.
- تُعرف السلسلة التي لا تحتوي على أي رموز على أنها سلسلة فارغة. ويمثلها ε.
- عدد الرموز في السلسلة w يسمى طول السلسلة. ويشار إليه بـ |w|.
مثال 2:
w = 010 Number of Sting |w| = 3
لغة:
اللغة عبارة عن مجموعة من السلسلة المناسبة. يمكن أن تكون اللغة التي تتكون من Σ محدود أو لانهائي .
مثال 1
L1 = {Set of string of length 2} = {aa, bb, ba, bb} <strong>Finite Language</strong> مثال: 2
L2 = {Set of all strings starts with 'a'} = {a, aa, aaa, abb, abbb, ababb} <strong>Infinite Language</strong>