نموذج قابل لإعادة الحساب · ديناميكيات محدودة
متى يتنبأ السجل بمستقبله؟
قد تبدو حالتان للمصدر متطابقتين الآن ثم تنتجان مشاهدتين مختلفتين لاحقًا. يجد هذا المختبر أصغر تمييز تنبؤي لتحديث محدود معطى.
ترجمة عربية · · مثال محدود دقيق
ما يُثبت هنا: اختبار رياضي لكفاية السجل. التحديث وقاعدة الرصد مُدخلان. لا يثبت هذا المثال أن الطبيعة تتبع هذا التحديث أو أن زمنًا ثانيًا قابلًا للرصد مطلوب.
افحص الفرق الخفي
ابدأ بفئات تحتفظ بالخرج الثنائي الحالي فقط. يفصل كل تنقيح الحالات التي تقع حالاتها اللاحقة في فئات حالية مختلفة. توقف عندما تكون لكل فئة فئة لاحقة واحدة محددة جيدًا.
المثال الافتراضي أدناه مكتمل. تتاح أدوات التفاعل عند تحميل البرنامج.
التقسيم الحالي
{A, B} | {C, D}
الجولة 0: فئتان للسجل الحالي. تعرض A وB العدد 0، لكن خرجيهما التاليين هما 1 و0. التقسيم المستقر هو {A} | {B} | {C, D}: ثلاث حالات تنبؤية تحتاج في مجموعها إلى بتّين بترميز ثابت الطول.
| الحالة | الخرج R(x) | الحالة اللاحقة F(x) | الخرج التالي | الفئة الحالية | الفئة المستقرة |
|---|---|---|---|---|---|
| A | 0 | C | 1 | 1 | 1 |
| B | 0 | A | 0 | 1 | 2 |
| C | 1 | C | 1 | 2 | 3 |
| D | 1 | D | 1 | 2 | 3 |
| الحالة الابتدائية | t=0 | t=1 | t=2 | t=3 | t=4 | t=5 | t=6 | t=7 |
|---|---|---|---|---|---|---|---|---|
| A | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| B | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| C | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| D | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
سجل التنقيح الكامل
| الجولة | الفئات | عدد الفئات |
|---|---|---|
| 0 | {A, B} | {C, D} | 2 |
| 1 | {A} | {B} | {C, D} | 3 |
البيانات المنزّلة أمثلة محسوبة وليست بيانات تجريبية. لا تُرسل أي معلومات إلى الخادم.
معيار الانغلاق الدقيق
لتكن X مجموعة حالات محدودة، وF:X→X تحديثًا حتميًا، وR:X→{0,1} الخرج المعروض. يوجد تحديث مختزل T على السجلات الحالية إذا وفقط إذا كانت السجلات الحالية المتساوية تعطي دائمًا سجلات تالية متساوية:
R∘F=T∘R
الصيغة الثانية مكافئة للأولى على حالات المصدر المسموحة. تأتي الضرورة من تطبيق T على السجل المشترك. ولإثبات الكفاية، عرّف T(r)=R(F(x)) لأي حالة تحقق R(x)=r. يجعل المعيار اختيار x غير مؤثر. في المثال الافتراضي تخالف A وB هذا المعيار، ولذلك لا يستطيع العرض الثنائي وحده التطور باستقلال.
تصلح إضافة تمييز تنبؤي بين A وB هذا الاختزال. وتظل C وD في فئة واحدة لأن كلتيهما تعرض متتالية غير منتهية من الآحاد. لا يلزم أن تحدد الحالة التنبؤية الأقل تفصيلًا الحالة المجهرية كاملة.
لماذا يجد التنقيح التقسيم التنبؤي الأدنى؟
ابدأ بـP₀(x)=R(x). ثم نقّح بواسطة الزوج المرتب المكوّن من الفئة الحالية وفئة الحالة اللاحقة:
تشير الأقواس هنا إلى الفئة المميزة لذلك الزوج. بالاستقراء، تقع حالتان في الفئة نفسها بعد الجولة k إذا وفقط إذا اتفقت متتاليتا خرجهما من الزمن 0 إلى k. وكل جولة تغيّر التقسيم تشطر فئة محدودة واحدة على الأقل، ولذلك تتوقف العملية بعد عدد محدود من الانقسامات. عند الاستقرار تكون للفئات المتساوية فئات لاحقة متساوية، فيتنبأ التحديث الناتج بكل خرج لاحق.
وبالعكس، لا تستطيع العملية فصل حالتين تتطابق متتاليتا خرجهما المستقبليتان كاملتين. لذلك يحدد التقسيم المستقر تمامًا علاقة التكافؤ الأقل تفصيلًا التي تحفظ الخرج الحالي وجميع استمراراته المستقبلية تحت هذا التحديث الواحد.
جدول المخرجات الثمانية توضيحي. اختبار الاستقرار، لا الجدول المحدود وحده، هو الذي يثبت الاتفاق في كل خطوة مستقبلية. إذا سُمح بتدخلات خارجية، وجب أن يحفظ التقسيم الفئات اللاحقة تحت كل عملية مسموحة؛ ولا تجري الأداة الحالية ذلك الاختبار الأوسع.
فرق لا يظهر إلا بعد ثلاثة تحديثات
في المثال الثاني، A→B→C→D→E، مع E→E وF→F. تعرض الحالات من A إلى D العدد 0، وتعرض E وF العدد 1. وتكون التقسيمات:
→ {A,B,C} | {D} | {E,F}
→ {A,B} | {C} | {D} | {E,F}
→ {A} | {B} | {C} | {D} | {E,F}.
تتفق A وB عند الأزمنة 0 و1 و2، ثم تختلفان عند الزمن 3. لا يكشف فحص الخرج التالي وحده لهذا الزوج ذلك الفرق. للنموذج المستقر خمس فئات تنبؤية، وتتطلب تسمية الفئات بترميز ثابت الطول ⌈log₂5⌉=3 بتات على الأقل. هذا حد لسعة الترميز، وليس إنتروبيا متوسطة أو كلفة طاقة أو ادعاءً ترموديناميكيًا.
ما الذي يضيفه هذا إلى برنامج المصدر؟
قد تسقط القراءة المكانية أو سجل الاكتمال فروقًا لازمة للتنبؤات اللاحقة. المهمة البنائية هي تحديد ما يبقى في حالة المصدر وبيان سبب كفايته. العرض المرئي وحده لا يقدم ذلك البرهان.
يمكن للأدوار الداخلية الستة المتداخلة في الجوهر الفرد وازدواجية الزمن تنظيم عملية توليد مقترحة، لكن تداخلها لا يمنح خاصية الانغلاق تلقائيًا. اختبر خريطة الاكتمال المختارة مقابل تحديث المصدر المستقل الفعلي. يحوّل دليل تحديد النموذج تلك الاختيارات إلى نموذج قابل للمراجعة، ويشرح دليل إعادة الحساب كيفية الاحتفاظ بالحساب.
تابع بالإنجليزية مع مصدر واحد وسجلات تنبؤية واختبارات الذاكرة وقابلية التكرار وخريطة الادعاءات البحثية. ولإطار الاكتمال المنشور، انظر DOI 10.30538/oms2026.0328؛ أما الأنظمة المحدودة في هذه الصفحة فهي أمثلة تعليمية مكتفية بذاتها.
النسخة المقابلة ومسار القراءة
هذه ترجمة للدليل الإنجليزي Predictive memory laboratory. تحفظ المعادلات وافتراضات النموذج ونطاق النتائج. الروابط الموسومة «بالإنجليزية» تقود إلى مواد تفصيلية لم تترجم في هذه الإضافة.