العلاقة قبل الإحداثي
يبدأ نموذج الجوهر الفرد من مصدر للتوليد، لا من جسم موضوع مسبقًا في مكان ذي جيران ومسافات. لذلك نحدد حالة المصدر وعملياته وذاكرته قبل تعيين إحداثيات مكانية. يمكن لعملية فعّالة واحدة أن تعمل على أرشيف واسع؛ وتبقى سعة الأرشيف موردًا فيزيائيًا يجب حسابه. تمثل المستويات الداخلية تنظيم العمل، ويمثل الاكتمال إتاحة ناتجه للمقارنة.
تاريخ العملية والسجل المكتمل
لتكن C قاعدة اكتمال التاريخ h، ولتكن O مجموعة الاختبارات المتاحة. تكون القراءة العامة Π=O∘C. قد يعطي تاريخان مختلفان السجل نفسه؛ لكن استعمال هذا التكافؤ في تنبؤ لاحق يتطلب أن تحفظه كل متابعة مسموحة.
في نموذج حتمي ذي تحديث U، توجد قاعدة مستقلة V للقراءات إذا كانت القراءة الحالية المتساوية تستلزم قراءة تالية متساوية. عندئذ لا تعتمد V على اختيار ممثل خفي للسجل.
مثال: ثلاثة مولدات و 125 سجلًا
افترض ثلاث عمليات تبديلية تزيد كل منها أحد المؤشرات بترديد خمسة. يحدد عدد مرات كل عملية سجلًا في المجموعة ℤ³/(5ℤ)³، ويبلغ عدد السجلات 125. تصل العملية أو معكوسها كل سجل بستة جيران. العلاقات هي التي تحدد التجاور، بينما تبقى الأسماء العددية قابلة للاستبدال دون تغيير البنية.
ما الذي يثبته المثال؟
المولدات الثلاثة وجدول تبديلها معطيات للمثال؛ لا يثبت الحساب أن مصدرًا بلا بنية يختارها ضرورة. كما أن التجاور لا يحدد طول الحافة: تعيين كلفة واحدة لكل خطوة يعطي مسافة، وتعيين أوزان أخرى يعطي مسافة أخرى. المهمة التالية هي اشتقاق العلاقات ومعايرتها واستمرارها من تحديث واحد، مع اختبار الذاكرة اللازمة للإغلاق التنبؤي.
صلة هذه الصفحة بالمصدر
هذه صياغة عربية بحثية مختصرة ومحررة من الصفحة الإنجليزية المقابلة؛ تحفظ الحسابات الأساسية وتوضح فروضها وحدودها. تتاح المراجع والتفاصيل الأوسع في الأصل الإنجليزي. ليست ترجمة كاملة لكتاب أو ورقة علمية، ولا ادعاءً بإتمام الأهداف المفتوحة.