https://3rabica.org/index.php?action=history&feed=atom&title=%D8%A2%D9%84%D8%A9_%D9%85%D9%8A%D9%84%D9%8Aآلة ميلي - تاريخ المراجعة2026-06-08T18:09:01Zتاريخ التعديل لهذه الصفحة في الويكيMediaWiki 1.43.7https://3rabica.org/index.php?title=%D8%A2%D9%84%D8%A9_%D9%85%D9%8A%D9%84%D9%8A&diff=2770993&oldid=prevعبد العزيز: بوت: إصلاح أخطاء فحص أرابيكا من 1 إلى 1042023-06-04T20:51:37Z<p>بوت: إصلاح أخطاء فحص أرابيكا من 1 إلى 104</p>
<p><b>صفحة جديدة</b></p><div>{{يتيمة|تاريخ=مايو 2019}}<br />
'''آلة ميلي''' هي [[آلة ذات حالات منتهية|آلة ذات حالات محدودة]] في [[نظرية الحوسبة]] يتم تحديد مخرجاتها من قبل حالاتها الحالية ومدخلاتها. وهي تناقض في هذا جهاز [[Moore machine|مور]]، حيث يتم تحديد قيم مخرجات (Moore) وفقًا لحالته الحالية فقط. آلة ميلي هي محول قطعي محدود الحالة: حيث يكون هناك تحويلة واحدة لكل من الحالات والمدخلات في أغلب الأحيان.<br />
<br />
== التاريخ ==<br />
سميت آلة ميلي باسم [[George H. Mealy|جورج ميلي]] ، الذي قدم الفكرة في ورقته البحثية المنشورة عام 1955 «طريقة لتركيب الدوائر المتسلسلة».<ref>{{استشهاد بدورية محكمة|الأخير=Mealy|الأول=George H.|عنوان=A Method for Synthesizing Sequential Circuits|صحيفة=Bell System Technical Journal|المجلد=34|صفحات=1045–1079|تاريخ=September 1955|DOI=10.1002/j.1538-7305.1955.tb03788.x}}</ref><br />
== التعريف ==<br />
يعرف جهاز ميلي من حيز سداسي (6-tuple) <math>(S, S_0, \Sigma, \Lambda, T, G) </math>يتألف مما يلي:<br />
<br />
* مجموعة [[مجموعة منتهية|محدودة]] من [[وضع (حاسوب)|الحالات]] أو <math>S </math><br />
* حالة البدء (تسمى أيضًا الحالة الأولية) <math>S_0 </math>وهو عنصر من <math>S </math><br />
* مجموعة [[مجموعة منتهية|منتهية]] تسمى أبجدية الإدخال <math>\Sigma </math><br />
* مجموعة [[مجموعة منتهية|منتهية]] تسمى أبجدية المخرجات <math>\Lambda </math><br />
* [[دالة]] الانتقال <math>T : S \times \Sigma \rightarrow S </math> والتي تعين أزواجاً من الحالات والمدخلات إلى ما يُقابلها من الحالات المقابلة.<br />
* وظيفة المخرجات <math>G : S \times \Sigma \rightarrow \Lambda </math> والتي تعين أزواجاً من الحالات والمدخلات إلى ما يُقابلها من المخرجات.<br />
* .<br />
<br />
في بعض الصيغ، يتم دمج دالة الانتقال والإخراج في دالة واحدة <math>T : S \times \Sigma \rightarrow S \times \Lambda </math><br />
== مقارنة بين آلات ميلي وآلات مور ==<br />
# تميل الآت ميلي لأن تكون ذات عدد أقل من الحالات:<br />
#* مخرجات مختلفة على الأقواس ( ''n'' <sup>2</sup> ) بدلاً من الحالات ( ''n'' ).<br />
# آلات مور أكثر أمانا:<br />
#* تتغير المخرجات عند حافة التوقيت (دائمًا بعد دورة واحدة).<br />
#* في أجهزة ميلي، يمكن أن يتسبب تغيير المدخلات في تغيير المخرجات بمجرد الانتهاء من الدارة المنطقية - وهي مشكلة كبيرة عندما يكون الجهازان مترابطين - قد تحدث ردود فعل غير متزامنة إذا لم يكن أحدهما دقيقًا.<br />
# تتفاعل آلات ميلي بشكل أسرع مع المدخلات:<br />
#* تتفاعل في نفس الدورة - لا تحتاج إلى الانتظار لمدة لدورة توقيت.<br />
#* في أجهزة مور، قد يكون من الضروري إجراء المزيد من الجهد المنطقي لفك تشفير الحالة إلى مخرجات - مما يعني المزيد من التأخير في البوابة بعد حافة التوقيت.<br />
== أمثلة ==<br />
=== المبسط ===<br />
[[ملف:Mealy.png|تصغير|235x235بك|مخطط الحالة لآلة ميلي بسيطة مع مدخل واحد ومخرج واحد]]<br />
تحتوي آلة ميلي البسيطة على مدخل واحد ومخرج واحد. يتم تمييز كل حافة انتقال بقيمة المدخلات (الموضحة باللون الأحمر) وقيمة المخرجات (الموضحة باللون الأزرق). تبدأ الآلة في الحالة {{تعبير رياضي|''S''<sub>i</sub>}} . (في هذا المثال، يكون المخرج هو القيمتين الحصريتين أو الأخيرتين، وبالتالي، يقوم الجهاز بتطبيق كشف الحافة (edge detector)، ويقوم بإخراج واحد في كل مرة ينقلب فيها الإدخال ويقوم بإخراج صفر بخلاف ذلك.<br />
<br />
=== المعقد ===<br />
يمكن أن تحتوي آلات ميلي الأكثر تعقيدًا على مدخلات متعددة ومخرجات متعددة.<br />
== التطبيقات ==<br />
توفر الآلات ميلي نموذجًا رياضيًا بدائيًا لأجهزة التشفير. وبالنظر إلى أبجدية المدخلات والمخرجات، فإن الأبجدية اللاتينية، على سبيل المثال، فيمكن تصميم آلة ميلي بحيث تعطى سلسلة من الحروف (سلسلة من المدخلات) يمكن معالجتها في سلسلة مشفرة (سلسلة من المخرجات). ومع ذلك، على الرغم من أنه يمكن استخدام نموذج ميلي لوصف [[آلة إنجما]] ، فإن مخطط الحالة سيكون معقدًا جدًا بحيث لا يوفر وسائل مجدية لتصميم آلات تشفير معقدة.<br />
<br />
آلات مور / ميلي، هي [[أتمتة محدودة قطعية|أنظمة أتمتة محدودة قطعية]] التي لها أيضا مخرجات مع نبضات المؤقت. بشكل مشابه لما تحتويه وحدات المعالجة المركزية الحديثة، وأجهزة الكمبيوتر، والهواتف المحمولة، والساعات الرقمية، والأجهزة / الآلات الإلكترونية الأساسية على نوع من أنواع الآلات المحدودة للتحكم فيها.<br />
<br />
بعض الأمثلة على تطبيقات آلة ميلي:<br />
<br />
* تصنيف الرقم<br />
* آلات البيع<br />
* إشارات المرور<br />
* ماسح الباركود<br />
* مضخات الغاز<br />
== انظر أيضًا ==<br />
* [[دارة متزامنة|دائرة التزامن]]<br />
<br />
== الهامش ==<br />
{{مراجع}}<br />
== المراجع ==<br />
* {{استشهاد بكتاب|مؤلف1=Mealy|الأول=George H.|عنوان=A Method for Synthesizing Sequential Circuits|ناشر=Bell System Technical Journal|سنة=1955|صفحات=1045–1079}}<br />
* {{استشهاد بكتاب|مؤلف1=Holcombe|الأول=W.M.L.|عنوان=Algebraic automata theory|zbl=0489.68046|سلسلة=Cambridge Studies in Advanced Mathematics|المجلد=1|ناشر=[[مطبعة جامعة كامبريدج]]|سنة=1982|ISBN=0-521-60492-3}} <bdi> {{استشهاد بكتاب|مؤلف1=Holcombe|الأول=W.M.L.|عنوان=Algebraic automata theory|zbl=0489.68046|سلسلة=Cambridge Studies in Advanced Mathematics|المجلد=1|ناشر=[[مطبعة جامعة كامبريدج]]|سنة=1982|ISBN=0-521-60492-3}} </bdi> {{استشهاد بكتاب|مؤلف1=Holcombe|الأول=W.M.L.|عنوان=Algebraic automata theory|zbl=0489.68046|سلسلة=Cambridge Studies in Advanced Mathematics|المجلد=1|ناشر=[[مطبعة جامعة كامبريدج]]|سنة=1982|ISBN=0-521-60492-3}}<br />
* {{استشهاد بكتاب|مؤلف1=Roth|الأول=Charles H., Jr.|عنوان=Fundamentals of Logic Design|مسار=https://archive.org/details/isbn_9780534384432|ناشر=Thomson-Engineering|سنة=2004|صفحات=[https://archive.org/details/isbn_9780534384432/page/n364 364]–367|ISBN=0-534-37804-8}} <bdi> {{استشهاد بكتاب|مؤلف1=Roth|الأول=Charles H., Jr.|عنوان=Fundamentals of Logic Design|مسار=https://archive.org/details/isbn_9780534384432|ناشر=Thomson-Engineering|سنة=2004|صفحات=[https://archive.org/details/isbn_9780534384432/page/n364 364]–367|ISBN=0-534-37804-8}} </bdi> {{استشهاد بكتاب|مؤلف1=Roth|الأول=Charles H., Jr.|عنوان=Fundamentals of Logic Design|مسار=https://archive.org/details/isbn_9780534384432|ناشر=Thomson-Engineering|سنة=2004|صفحات=[https://archive.org/details/isbn_9780534384432/page/n364 364]–367|ISBN=0-534-37804-8}}<br />
* {{استشهاد بدورية محكمة|الأخير=Akhavi|الأول=Ali|الأخير2=Klimann|الأول2=Ines|الأخير3=Lombardy|الأول3=Sylvain|الأخير4=Mairesse|الأول4=Jean|الأخير5=Picantin|الأول5=Matthieu|عنوان=On the finiteness problem for automaton (semi)groups|zbl=1280.20038|صحيفة=Int. J. Algebra Comput.|المجلد=22|العدد=6|سنة=2012|arxiv=1105.4725|bibcode=2011arXiv1105.4725A}}<br />
{{شريط بوابات|رياضيات|علم الحاسوب|منطق}}<br />
{{روابط شقيقة|commons=Mealy machine}}<br />
<br />
[[تصنيف:نظرية التشغيل الذاتي]]<br />
[[تصنيف:نماذج حاسوبية]]</div>عبد العزيز