English  

كتب mathematical definition of autonomous machines

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

التعريف الرياضي للآلات الذاتية التشغيل (معلومة)


أولا سنقوم بتعريف الآلة الذاتية التشغيل المحدّدة، وهي الآلة التي تكون دائما في حالة واحدة بعد قراءة أي رمز دخْل معيّن، وذلك لأنه عند كل حالة لا يوجد سوى نقلة واحدة لكل رمز دخْل. هناك أيضا الآلات غير المحدّدة، سيتم التفصيل في الفرق بين الإثنين في الأقسام التالية.

تعرّف الآلة الذاتية التشغيل المحدّدة رياضيات بأنها خماسية بحيث أن:

  1. هي مجموعة محدودة من الحالات.
  2. هي مجموعة محدودة من رموز الدخْل.
  3. هي دالة للنقل (أو التحول) معرفة بـ ، يكون مدخلها ثنائية من حالة ( ) ورمز دخل ( )، ومخرجها حالة ( )، أي .
  4. هي حالة البدأ التي يبدأ منها التشغيل، وهي تنتمي إلى المجموعة .
  5. هي مجموعة من الحالات النهائية، وهي مجموعة محتواة في .

مثال المصباح المتقدم

في مثال المصباح المتقدّم السابق لدينا:

  1. مجموعة الحالات هي {منطفئ، ضعيف، متوسط، قوي}.
  2. مجموع رموز الدخل هي {أطفئ، اضغط}.
  3. تم تمثيل الدالة في الشكل السابق بالأسهم التي تنتقل من حالة إلى أخرى، ويمكن تعداد هذه الدالّة:
    • (منطفئ، أطفئ) منطفئ
    • (منطفئ، اضغط) ضعيف
    • (ضعيف، أطفئ) منطفئ
    • (ضعيف، اضغط) متوسط
    • (متوسط، أطفئ) منطفئ
    • (متوسط، اضغط) قوي
    • (قوي، أطفئ) منطفئ
    • (قوي، اضغط) قوي
  4. حالة البدء هي منطفئ.
  5. مجموعة الحالات النهائية هي مجموعة وحيدة العنصر وهي: {قوي}.
المصدر: wikipedia.org