hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
طيموثاوس إرميا مقدسي
المطران طيموثاوس إرميا مقدسي (1847-1929) كان مطران الكلدان على أبرشية زاخو، كما اشتهر كذلك بمؤلفاته في مجال قواعد ونحو اللغة السريانية ولعل أحملها كتاب كذلك «قواعد اللغة السريانية» "ܬܘܪܨ ܡܡܠܠܐ ܕܠܫܢܐ ܣܘܪܝܝܐ" الذي حوى على خمسة أبواب مقسمة إلى فصول لكل من تعريف القواعد والحروف والنقاط والتقشية والتركيخ، وتعريف الأسماء وتأنيثها وجمعها والعدد والجزم والتوكيد والعطف، والضمائر وأنواعها، والأفعال وأنواعها وأزمنتها، والمفاعيل والحرف والروابط. وقد طبع هذا الكتاب في الموصل بمطبعة الآباء الدومنيكان 1889.
يعقوب أوكين منا
المطران يعقوب أوكين منا (بالسريانية: ܝܥܩܘܒ ܐܘܓܢ ܡܢܐ)‏ (1867 - 1928) ولد في قرية باقوفا بسهل نينوى شمال الموصل ودخل المعهد الكهنوتي وهو في الثامنة عشر. ورسم كاهنا سنة 1889 وعيل مدرسا للغة السريانية في معهد مار يوحنا الحبيب بالموصل، حيث أنتجت كذلك مصنفات وكتب باللغة السريانية كما ومن أهم أعماله تأليف معجم كلداني - عربي.
سافر إلى أوروبا هربا من بطش الحرب العالمية الأولى وبعد عودته عين مطرانا على البصرة. وبعد خلاف مع بطريرك الكنيسة الكلدانية بشأن سفره إلى روما عاد إلى الموصل ثم اختفى فترة وعثر عليه مغروقا بنهر دجلة سنة 1928.
يعقوب أوكين منا أعماله
ألف الكثير من الكتب في نحو وقواعد اللغة السريانية (الآرامية)، ومنها:
"المروج النزهية في آداب اللغة الآرامية"، طبعه أيضاً في الموصل سنة 1901 بمجلدين كبيرين يتناول المؤلف فيهما البحث عن تراجم أشهر الأدباء الآراميين حتى القرن الثالث عشر، مبتدئا بيعقوب أفراهاط الحكيم الفارسي ومختتماً بعبديشوع الصوباوي .
نموذج مضاد
في هندسة البرمجيات، النموذج المضاد (أو antipattern) هو أحد نماذج التصميم من الشائع استخدامه ولكنه غير فعال و/ أو يؤدي إلى نتائج عكسية في الممارسة العملية.
وقد وضع هذا المصطلح في عام 1995 من قبل أندرو كونيغ،
وهو مستوحى من كتاب عصابة الأربعة ديزاين باترنز، التي طورت مفهوم نماذج التصميم في مجال البرمجيات. وشاع المصطلح على نطاق واسع بعد ثلاث سنوات من خلال كتاب انتي باترن، الذي مدد استخدام المصطلح إلى ما وراء مجال تصميم البرمجيات وإلى التفاعل الاجتماعي العام. ووفقا للمؤلفين الكتاب، يجب أن يكون هناك ما لا يقل عن اثنين من العناصر الرئيسية الحالية لتمييز الفعلي بين النموذج المضاد وبين عادة سيئة بسيطة، أو ممارسة سيئة، أو فكرة سيئة:
نموذج مضاد
كثيرا ما يستخدم بشكل سئ مع ألفاظ محدثة ذات تناقض ظاهري، وكثير من الأفكار المضادة للنموذج تصل إلى ما هو أكثر قليلا من الأخطاء، أو التشدق، أو المشاكل القابلة للحل، أو الممارسات السيئة التي يجب تجنبها إذا كان ذلك ممكنا. وأحيانا تُعرف باسم أغوية أو النماذج المظلمة، وهذا الاستخدام غير الرسمي لهذا المصطلح يشير إلى فئات اعادت اختراع حلول سيئة للمشاكل. وبالتالي، فالعديد من المرشحات كنماذج مضادات قيد المناقشة لا تعتبر رسميا مضادة للنماذج.
ومن خلال وصف الأخطاء المتكررة رسميا، يمكن للمرء أن يتعرف على القوى التي تؤدي إلى تكرارها ومعرفة كيف قام الآخرون بإعادة هيكلة تلك النماذج المكسورة.
نموذج مضاد نماذج مضادات معروفة
زحف الموت: يعرف الجميع أن المشروع سيكون بمثابة كارثة—ما عدا الرئيس التنفيذي—لذا يتم إخفاء الحقيقة لمنع الإلغاء الفوري للمشروع -- (على الرغم من أن الرئيس التنفيذي غالبا ما يكون على دراية ولكنه يتجاهل لتعظيم الربح). ومع ذلك، تظل الحقيقة مخفية، ويتم الاحتفاظ بشكل مصطنع بالمشروع حتى يأتي اليوم الأخيرا ("الانفجار الكبير"). تعريف بديل: يتم وضع الموظفين تحت ضغوط للعمل إلى وقت متأخر من الليل وعطلات نهاية الأسبوع على مشروع مع مهلة غير معقولة.
Anemic Domain Model: استخدام نموذج المجال دون أيمنطق تجاري. لا يمكن لكائنات نموذج المجال أن تضمن صحتها في أي لحظة، لأن منطق صحتها وتحولها في مكان ما بالخارج (على الأرجح في أماكن متعددة).
نموذج مضاد انظر أيضا
– approaches, styles, maxims and philosophies for software development
بي أو إس
بي أو إس (بالإنجليزية: BeOS)‏ هو نظام تشغيل لأجهزة الكمبيوتر الشخصية التي بدأ في تطويره شركة Be Inc. في عام 1991. وقد كتب لأول مرة ليعمل على أجهزة BeBox. وكان BeOS الأمثل للعمل على وسائط الرقمية، وقد كتب للاستفادة من تسهيلات الأجهزة الحديثة مثل أجهزة المعالجة المتعددة المتماثلة symmetric multiprocessing من خلال استخدام معيارى للنطاق I/O، خاصية تعدد مؤشرات الترابط الانتشارا، وتعدد المهمات الوقائي ومخصص 64 بت لنظام ملفات التسجيل في الصحيفة المعروف باسم BFS. وقد تم تطوير واجهة المستخدم الرسومية BeOS GUI على مبادئ الوضوح والنظافة، والتصميم المرتب. يستخدم الترميز احادي الكود Unicode الترميز الاعتيادي في GUI، وتدعمها أساليب الإدخال، مثل لم المدخلات ثنائية الاتجاه.التي لم تتحقق بعد وكتبAPI بلغة سي++ لسهولة البرمجة. لديها تافق جزئي POSIX والوصول إلى واجهة سطر الأوامر command-line interface من خلال Bash، على الرغم من أنه داخليا ليس منشق من نظام تشغيل يونيكس.
بي أو إس
تم وضع BeOS كبرنامج الوسائط المتعددة الذي يمكن استخدامه من قبل أعداد كبيرة من جمهور المستخدمين لكمبيوتر سطح المكتب والمنافس لنظام التشغيل ماك Mac OS ومايكروسوفت يندوز Microsoft Windows. ومع ذلك، لم تتمكن في نهاية المطاف إلى تحقيق حصة كبيرة من السوق، وأثبت تجاريا على أنها غير قادرة على استمرار Be Inc. الشركة اشترتها شركة بالم Palm Inc.وحالياً BeOS بشكل رئيسي يستخدمه ويطوره عدد صغير من الجمهور المتحمسين له.
المصدر المفتوح OS Haiku تم تصميمه للبدء من حيث انتهت BeOS. Alpha 2 من Haiku تم إصداره في 2 مايو 2010.
بي أو إس التاريخ
صممت في البداية للتشغيل على أجهزة AT&T Hobbit. وتم تعديل BeOS في وقت لاحق لتشغيل معالج البيانات PowerPC: أولى نظم تشغيل Be، لاحقاً PowerPC Reference Platform لشركة أبل Apple Inc هو البرنامج المرجعي للأجهزة المشتركة، على أمل أن شركة أبل سوف تشتري أو ترخص BeOS كبديل للبرنامج الذي كان قديم حينها كلاسيك ماك Mac OS Classic. الرئيس التنفيذي لشركة أبل جيل أميليوGil Amelio أجرى مفاوضات لشراء شركة Be Inc. لكن تعثرت المفاوضات عندما طلب الرئيس التنفيذي جاسي جان لوي Jean-Louis Gassée 200 مليون دولار؛ شركة أبل كانت لا تنتوي تقديم ما يزيد عن 125 مليون دولار. قرر مجلس إدارة شركة أبل أن الخيار الأفضل هو NeXTSTEP واشترت NeXT في عام 1996 بسعر 429 مليون دولار، وبذلك يعود مؤسس أبل ستيف جوبز Steve Jobs. ليزيد من تعقيد الأمور بالنسبة لشركة Be، أبل رفضت الكشف عن المعلومات الهندسية في خطها لأجهزة الكمبيوتر G3 وكانت معلومات مهمة في جعل BeOS تعمل على أحدث أجهزة أبل.
بي أو إس التاريخ
في عام 1997، بدأ تجميع قوة الحوسبة لـ BeOS (على قرص مضغوط للتثبيت الاختياري) مع خطها PowerPC مستند على استنساخ ماكنتوش. هذه النظم يمكنها التشغيل المزدوج Mac OS أو BeOS، مع شاشة البدء وتقديم خيار.
بسبب تحركات أبل وتراكم الديون على شركة Be، واستدار BeOS قريبا إلى منصة برامج Intel x86 مع إصدارها R3 في مارس 1998. وفي أواخرالتسعينات، تمكن BeOS من انتقاء أتباعه، ولكن الشركة فشلت في الاستمرار. وفي محاولة أخيرة لزيادة الفائدة من نظام التشغيل الفاشل، شركة Be.زالت الغطاء عن إصدار جديد، ولكن مجاناً، نسخة من BeOS R5 يعرف باسم BeOS النسخة الشخصية.BeOS Personal Edition (BeOS PE).BeOS PE) يمكن أن يبدأ من داخل مايكروسوفت ويندوز أو لينكس، وكان المقصود منه تعزيز اهتمام المستهلكين في منتجاتها وإعطاء المطوريين شيء للعب به.
بي أو إس التاريخ
شركة Be أيضا أزالت الغطاء عن نسخة من BeOS لأجهزة الإنترنت (BeIA)، والتي سرعان ما أصبحت تركز الشركات التجارية عليها مكان.BeOS BeOS PE و BeIA ثبت أنها قليلة وبعد فوات الأوان، وفي 2001، وبيعت حقوق الطبع والنشر شركة Be لشركة بالمPalm، بسعر 11 مليون دولار. يعتبر BeOS R5 هو آخر إصدار رسمي، ولكن BeOS R5.1 «دانو»، الذي كان قيد التطوير قبل بيع شركة Be لشركة Palm وشمل بيئة شبكات BeOS (BONE) مكدس الشبكات، تم تسريبه للجمهور بعد وقت قصير من انهيار الشركة.
في عام 2002، رفعت شركة Be دعوى ضد شركة مايكروسوفت مدعية أنه هيتاشي Hitachi بالعدول عن بيع أجهزة كمبيوتر متضمنة BeOS، وأنه تم الضغط على كومباك Compaq لعدم تسويق أي جهاز إنترنت في شراكة مع Be. BeOS زعمت أيضا ان مايكروسوفت تعمل على خفض منتج شركة Be initial public offering (IPO) بشكل غير طبيعي. وقد استقر في نهاية المطاف القضية خارج المحكمة  بدفع 23250000 مليون دولار مع عدم الاعتراف بأية مسؤولية على مايكروسوفت.
بي أو إس التاريخ
بعد الانقسام من شركة بالم Palm، PalmSource استخدم أجزاء من إطار الوسائط المتعددة لـ BeOS 'لمنتجهم بالم نظام التشغيل الكوبالت OS Cobalt الفاشل. وبالاستيلاء على PalmSource، حقوق BeOS تنتمي الآن إلى شركة Access Co.
على الرغم من انتهاء شركة Be، إلا أن BeOS له أتباعه. رابطة BeOS لا تزال تتطور برمجيات مجانا وأصدرت حتى تصحيح الأخطاء ومشغلات (مسيق) ومستجدات مختلفة من بيوس BeOS. المصدر الرئيسي للبرامج ذات الصلة بـ BeOS يمكن الاطلاع عليها في BeBits.
وكانت واجهة المستخدم BeOS ملحوظة في وقت يكاد يكون لا يوجد لها مثيل تماما، حتى مع مأجورون الطرف الثالث. سمة BeOS الصفراء، علامات تغيير الطول على رأس النوافذ، والواجهة رمادية نسبيا.التي فرضتها التطبيقات الصعيرة widgets. وظلت واجهة المستخدم UI هذه دون تغيير نسبي من عام 1995، ولكن قد تم تجديدها بشكل كامل بحلول موعد تسريب دانو Dano. بيضة عيد الفصح (شم النسيم) في نظام التشغيل سمحت بتغيير شريط العنوان إلى منظر وإحساس بعض البرامج الآخرى (Mac OS 8 و Amiga Workbench ومظهر Windows 98) وفي Dano، تم تمديده ليصبح ميزة تسمح لتغيير شريط العنوان وأشرطة التمرير. لا يمكن تغيير أي واجهة تطبيقات صغيرة أخرى. هناك برنامج تمهيدي لدانو الطرف الثالث WindowShade الذي يسمح بتغيير الألوان من شريط العنوان وإطارالنافذة، ولكن المظهر يبقى على حاله.
تم استنساخ واجهة المستخدم الرسومية BeOS R5 GUI، على سبيل المثال في مظهر GNOME أو بيئة سطح مكتب KDE.
بي أو إس مشاريع لإعادة BeOS
وكان يحظى BeOS باحترام كبير من قبل قاعدة مستخدمين صغيرة ولكن أوفياء، الذين أصيبوا بخيبة أمل عندما تكون فشلت شركة Be تجاريا وأن ليس هناك أي زيادة تعزيز لنظام التشغيل ممكنا. في السنوات التي تلت حفنة من المشاريع التي شكلت لإعادة BeOS أو العناصر الأساسية لنظام التشغيل مع الهدف النهائي لاستمرار شركة Be تم تركته. ولضمان أن مشاريع أنظمة التشغيل هذه لا يمكن «أن تسلب» من شركة Be مرة آخرى، واجتذاب جهود المبرمجين المتطوعين، جميع هذه البرمجيات كانت حرة ومفتوحة المصدر. طبيعة وحدات BeOS الأصلي سهلت إعادة نظام التشغيل جزء واحد في وقت واحد، إدراج وحدات ترميز حديثة في نظام عمل BeOS لاختبار التوافق. في نهاية المطاف، كان كل من «السرفرات» "servers" (وحدات الرمز البينية) ليحل محله الرمز الأصلي، المرخص مجانا.
بي أو إس مشاريع لإعادة BeOS
في غضون بضع سنوات، بعض من هذه المشاريع فقدت الزخم وأوقفت و. اسم النطاق لنظام التشغيل OS أزرق العينين انقضى وتناوله طرف آخر، أحدث الإصدارات المتاحة على الموقع الشبكي Cosmoe هي من عام 2004 والتطور النشط لـ E/OS انتهي في يوليو 2008، تم اختيار محطة عمل Beos حين توقفت شركة Be ولكن يبدو أيضا أن الأثنين قد ماتوا معاً. ومع ذلك استمر التطور في هايكو Haiku، وإعادة تطبيق كاملة للبيوس. BeOS أول إصدار لألفا (الأبجدية)،"Haiku R1 / Alpha 1", في 14 سبتمبر 2009. الإصدار ألفا الثاني، "Haiku R1 / Alpha 2"، أتيح في 9 مايو 2010.
بي أو إس مشاريع لمواصلة BeOS
ZETA كان نظام التشغيل المتاح تجاريا مستند على قاعدة شفرة برنامج BeOS R5.1. وضعت أصلا من قبل YellowTAB، وتم توزيع نظام التشغيل حينها من قبل magnussoft. خلال التطوير بواسطة YellowTAB، تلقت الشركة انتقادات من مجتمع BeOS لرفضها مناقشة وضعهم القانوني فيما يتعلق بقاعدة شفرة BeOS (ربما لأسباب تعاقدية). شركة Access Co. (التي اشترت PalmSource، حتى ذلك الحين، أصحاب الملكية الفكرية المرتبطة ببيوس BeOS) ومنذ ذلك الحين أعلنت أن YellowTAB ليس لها الحق في توزيع نسخة معدلة من BeOS، وتوقف magnussoft عن توزيع نظام التشغيل.
بي أو إس المنتجات التي تستخدم BeOS
BeOS (وهي الآن Zeta Zeta) لا تزال تستخدم في أجهزة الوسائط مثل نموذج محرر الفيديو Edirol DV-7 من شركة رولاند التي تعمل على أعلى تعديل من. BeOS، وبرنامج التشغيل الآلي الاذاعي TuneTracker الذي يعمل على BeOS وZeta، ولكن بيع أيضا باسم " Station-in-a-Box" متضمن نظام التشغيل Zita..
مسجل الصوت الرقمي Tascam SX-1 يدير نسخة معدلة بشكل كبير من BeOS التي ستطلق فقط برنامج تسجيل الواجهة.
تكنولوجيا iZ تبيع الرادار 24 والرادار الخامس RADAR 24 and RADAR V، يستند إلى قرص الثابت، 24 - مسار المسجلات السمعية عالية التقنية مستندة على BeOS 5..
Magicbox، ماجيكبوكس الشركة المصنعة لآلات عرض البث ولافتات، تستخدم BeOS لزيادة قدرة خط منتجاتها Aavelin.
Final Scratch، سجل رمز الوقت الثاني عشر يحركها نظام البرمجيات وأجهزة DJ ،(the 12″ vinyl timecode record-driven DJ software/hardware system) أستحدثت أولاً بـ BeOs. وقد بيعت نسخة " ProFS " إلى بضع العشرات قبل إصدار DJ 1.0، التي تم تشغيله على قسم لينكس الافتراضي.
بي أو إس انظر أيضا
— a computer that shipped with an installation of BeOS, but with Windows as the only boot option
 — File manager from BeOS, officially and freely licensed
 — Default web browser of BeOS
الحاسوبية
الحاسوبية هي القدرة على حل مشكلة ما بطريقة فعاله. وهي الموضوع الرئيسي لمجال نظرية الحاسوبية في المنطق الرياضي ونظرية الحساب في علوم الحاسوب. حاسوبية المشكلة ترتبط بشدة بوجود خوارزمية لحل المشكلة.
إن أوسع نماذج الحاسوبية دراسةً هم آلة تورنغ ودوال المايكرو المتكررة وحسابات اللامدا، وجميعهم لهم قوى حسابية معادله. توجد أيضاً أشكال أخرى من الحاسوبية تتم دراستها: مفاهيم الحاسوبية الأضعف من آلات تورنغ تتم دراستهم في نظرية التشغيل الذاتي، بينما مفاهيم الحاسوبية الأقوى من آلات تورنغ تتم دراستهم في مجال الحساب الأعلى.
الحاسوبية المشكلات
الفكرة المحورية في الحاسوبية هي تلك الخاصة بالمشكلة الحسابية، وهي مهمة يمكن استكشاف حاسوبيتها.
مشكلة القرار تعالج المجموعة م، والتي قد تكون مجموعة من الحروف، الأعداد الطبيعية أو أشياء أخرى مأخوذة من بعض المجموعات الأكبر ج. مثال خاص للمشكلة هو أن تقرر، بفرض العنصر ج من ج، حيث ج موجودة في م. على بيل المثال، إجعل ج هي مجموعة الأعداد الطبيعية وم هي مجموعة الأرقام الأولية. فإن مشكلة القرار المماثلة تتفق مع اختبار الأولية.
مشكلة الدالة تتكون من الدالة د من المجموعة ج إلى المجموعة ك. مثال على المشكلة يكون بحساب -معطى العنصر ج في ج- العنصر المماثل د (ج) في ك. على سبيل المثال، قد تكون ج وك هما كل مجموعة الحروف الثنائية المتناهية، وقد تأخذ د حرف ما وتعيد الحرف الذي تم الحصول عليه عن طريق عكس أرقام المدخلات (فتكون د (0101)=1010).
أنواع أخرى من المشاكل وتشمل مشاكل البحث ومشاكل التحسين.
أحد أهداف نظرية الحاسوبية هو تحديد أي من المشاكل، أو فئات المشاكل، من الممكن حلها في كل نموذج للحساب.
الحاسوبية نماذج الحساب الرسمية
نموذج الحساب هو الوصف الرسمي لنوع محدد من العمليات الحسابية. غالباً ما يأخذ الوصف شكل آلة مجردة يراد منها القيام بالمهمة المطروحة. وتشمل النماذج العامة للحساب والمساوية لآلة تورنغ (انظر: فرضية تشرتش – تورنغ):
وهو حساب يتكون من تعبير مبدئي عن اللامدا (أو اثنين إذا كنا نرغب في فصل الدالة عن مخرجاتها) باإضافة إلى تلسل محدود من بنود اللامدا، كل منهم يستنتج من المصطلح السابق عن طريق تطبيق واحد من تطبيقات تخفيضات بيتا.
هو مفهوم يشبه كثيراً حسابات اللامدا، ولكن أيضاً توجد اختلافات مهمة (مثل: النقطة الثابتة الإتحادية لها شكل اعتيادي ولكن ليس في حسابات اللامدا). تم تطوير المنطق الإتحادي بالكثير من الطموحات: فهم طبيعة التناقضات، جعل أساسيات الرياضيات اقتصادية أكثر (من ناحية المفهوم)، إزالة فكرة المتغيرات (وهذا يوضح دورهم في الرياضيات).
الحاسوبية نماذج الحساب الرسمية
الحساب يتكون من الدالة المتكرره، تعني تعاقبها التعريفي، أي قيم (ه) مدخلة وتعاقب الدوال المتكررة تظهر في التعاقب التعريفي مع المدخلات والمخرجات. وهكذا، إذا كان التعاقب التعريفي لدلة متكررة د (س) فإن الدوال ر (س) وز (س) ستظهر، ثم قد تظهر بنود النموذج ر (5)=7 أو ز (3,2)=10. كل مدخل في هذا الترتيب يحتاج لأن يكون تطبيق للدالة الأساسية أو تابع للمدخلات بالأعلى عن طريق استخدام التكوين، التكرار الأولي أو دالة التكرار. على سبيل المثال إذا كانت د (س)=ز (س، ر (س))، إذاً ستظهر د (5)=3، ويجب أن تحدث بالأعلى بنود مثل ر (5)=6 وز (3,6)=3. تنتهي الحسابات فقط إذا كان البند الأخير يعطي قيمة الدالة المتكررة المطبقة على المدخلات.
هو نظام كتابة حرفي يستخدم قواعد شبيهة بالكتابة للعمل على سلسة من الرموز.
الحاسوبية نماذج الحساب الرسمية
هي صيغة نظرية مثالية لجهاز الكمبيوتر. توجد منه أشكال مختلفة. ولكن في أغلبهم، يمكن لكل تسجيل أن يحتوي على عدد طبيعي (بعدد غير محدود)، والتعليمات بسيطة (وقليلة العدد)، مثال: فقط النقصان التدريجي (مع القفز المشروط) والزيادة التدريجية موجودة (وتوقف). نقص اللانهائية (أو النمو الحيوي) بالمخازن الخارجية (التي ترى عند آلات تورنغ) من الممكن فهمها عن طريق تبديل دورها بأساليب ترقيم جودل: حقيقة أن كل سجل يحتوي على رقم طبيعي تسمح بإمكانية تمثيل شيء معقد (مثل: متتاليه، أو مصفوفة، إلخ) من خلال عدد طبيعي ضخم مناسب -- وضوح كل من التمثيل والتفسير يمكن تأسيسه عن طريق أساسات نظريه رقميه من هذه الأساليب.
الحاسوبية نماذج الحساب الرسمية
تماماً كآلات تورنغ، تستخدم أ" شريط غير محدود من الرموز (بدون وصول عشوائي) ومجموعة من التعليمات أكثر تطرفاً. ولكن هذه التعليمات مختلفة للغاية، بحيث أنها على عكس آلات تورنغ، لا تحتاج أ" إلى الحصول على حالة متميزه، لأن كل الوظائف "الشبيهة بالذاكرة" يمكن تقديمها فقط عن طريق الشريط. بدلاً من إعادة كتابة الرمز الحالي، من الممكن أن تقوم بحسابيات توافقيه متزايده عليها. أ" لديها أيضاً زوج من التعليمات للدورة بفحص الرمز الفارغ. بالرغم من طبيعتها المتطرفة، فقد أصبحت اللغة الأم الرسمية للغة البرمجة المطبقة (للتسلية) والمستخدمة والتي تدعى برين فاك.
وهي تشبه أيضاً آلة الحالة المتناهية، فيما عدا أن المدخلات تقدم على شريط التنفيذ، والذي يمكن لآلة تورنغ القراءة منه والكتابة عليه أو التحرك عليه ذهاباً وإياباً عبر رأس القراءة والكتابة. يمكن زيادة حجم الشريط ليصل إلى حجم هائل. آلة التوزيع يمكنه آداء حسابات معقدة والتي قد تستغرق فترة هائلة. لعل هذا النموذج هو أهم نموذج للحسابات في علوم الكمبيوتر حيث أنه يحاكي الحساب في غياب حدود محددة مسبقاً للموارد.
الحاسوبية نماذج الحساب الرسمية
هنا، قد يوجد أكثر من شريط واحد؛ وعلاوة على ذلك قد تكون هناك رؤوس متعددة في الشريط. المدهش، أن أي حسابات التي يمكن القيام بها من قبل هذا النوع من الأجهزة يمكن أيضاً أن تقوم بها آلة تورنغ العادية، على الرغم من أن هذا الأخير قد يكون أبطأ أو يتطلب منطقة أكبر من إجمالي الشريط.
بالإضافة إلى النماذج الحسابية العامة، بعض النماذج الحسابية الأبسط تكون مفيدة للتطبيقات الخاصة والمقيده. تعبيرات نمطية، على سبيل المثال، تحديد أنماط أحرف في العديد من السياقات، من البرامج الإنتاجية المكتبية إلى لغات البرمجة. أحد الشكليات الأخرى والتي تعادل رياضياً التعبيرات النمطية، هي الحركة المتناهية وهي تستخدم في التصميم الدائري وفي بعض أنواع حل المشكلات. قواعد النحو الخالية من السياق تحدد قواعد النحو الخاصة بلغة البرمجة. مستودع معلومات الكومبيوتر الذاتية غير القطعية هو أحد الشكليات الأخرى لتي تعادل قواعد النحو الخالية من السياق.
الحاسوبية نماذج الحساب الرسمية
النماذج المختلفة من الحسابات لديها القدرة على عمل مهام مختلفة. أحد طرق قيا قوة النموذج الحسابي هو بدراسة فئة اللغة الرسمية التي يمكن لهذا النموذج إنتاجها، وبهذه الطريقة تكون هرمية تشومسكي للغات قد تم تحقيقها.
وتسمى أيضاً التشغيل الذاتي القطعي المتناهي (DFA)، أو هي ببساطة آلية الوضع المتناهي. كل أدوات الحساب الحقيقية الموجودة اليوم من الممكن وصفها كآلة وضع متناهي، حيث أن جميع الحاسبات الحقيقية تعمل على مصادر متناهية. يحتوي مثل هذا الجهاز على مجموعة من الحالات، ومجموعة من ناقلات الحالات التي تتأثر بتيار الإدخال. يتم تعريف بعض الحالات بأنها حالات الموافقة. تم ضخ تيار مدخلات في الآلة حرف واحد في كل مرة، وتتم مقارنة ناقلات الحالة للحالة الحالية بتيار المدخلات، وإذا كان هناك ناقل مطابق فإن الألة قد تقوم بإدخال حالة جديدة. إذا كانت الآلة في نهاية تيار المدخلات في حالة قبول، فإن تيار المدخلات بالكامل يكون مقبولاً.
وهي بالمثل تسمى، التشغيل الذاتي القطعي غير المتناهي (NFA)، وهي مثال بسيط آخر للحساب، على الرغم من أن تسلسل المعالجة لم يتم تحديده بشكل فريد. فمن الممكن تفسيرها على أنها أخذ مسارات متعددة للحساب في نفس الوقت من خلال عدد متناهي من الحالات. وعلى الرغم من ذلك، فمن الممكن إثبات أن أي NFA يمكن تقليله ليصل إلى DFA المكافيء.
وهو شبيه بآلة الوضع المتناهي، فيما عدا أن لديه حزمة تنفيذ متاحة، والتي يسمح لها بأن تنمو إلى حجم هائل. بالإضافة إلى ذلك، فإن ناقلات الحالة تحدد ما إذا كانت ستضيف رمز إلى الحزمة، أو لإزالة رمز من الحزمة. وهي تعتبر أكثر فاعلية من DFA بسبب حزمة ذاكرتها الغير متناهية، بالرغم من أن العنصر الأعلى من الحزمة يمكن الوصول إليه في أي وقت.
الحاسوبية قوة الحركة الذاتية
بوجود هذه النماذج الحسابية لدينا، يمكننا تعيين حدودهم. بمعنى، أي أصناف اللغات يمكنهم قبولها؟
يطلق علماء الحاسوب على أي لغة يمكن قولها في آلة الوضع المتناهي لغة اعتيادية. بسبب التقيد بأن عدد الحالات الممكنة في آلة الوضع المتناهي تكون متناهية، يمكننا أن نلاحظ أنه لنجد لغة غير اعتيادي، يجب علينا أن نقوم بإنشاء لغة والتي سوف تتطلب عدد غير متناهي من الحلات.
الحاسوبية قوة الحركة الذاتية
مثال على هذه اللغة هو مجموعة كل الحروف المكونة من الحرفين «أ» و«ب» والتي تحتوي على عدد متساوي من الحرف «أ» و«ب». لتري سبب كون هذه اللغة لا يمكن إدراكها بشكل صحيح من قبل آلة الوضع المتناهي، لنفترض أولاً أن هذه الآلة ل موجودة.يجب أن يوجد في ل عدد ما من الحالات «ر». الآن، لنعتبر أن الحرف س يتكون من (ر+1) من «أ» متبوعاً ب (ر+1) من «ب».
عندما تقرأ ل في س، فيجب أن تكون هناك حالة متكررة في الآلة عندما تقرأ السلسة الأولى من «أ»، حيث أنه يوجد (ر+1) من «أ» وفقط ر من الحالات طبقاً لمبدأ الرص في الفجوات. لنسمي هذه الحالة ح ولنجعل ھ أيضاً هو عدد «أ» الذي تقرأه الآلة حتى تبدأ من الحدث الأول في ح، والذي يمكننا إضافته عن طريق ھ إضلفية (حيث ھ >0) من «أ» وسوف تصبح في الحالة ح مرة أخرى. هذا يعني أننا سوف نعلم أن الحرف (ر+ ھ +1) من «أ» يجب أن ينتهي في نفس الحالة كما الحرف (ر+1) من «أ». وهذا يدل على أن الآلة تقبل س، وهو ليس من ضمن لغة الحروف التي تشمل عدد متساوي من «أ» و«ب». بمعنى، لا تستطيع ل أن تفرق بشكل صحيح بين حرف عدد متساوي من «أ» و«ب» والحرف (ر+ ھ +1) من «أ» و (ر+1) من «ب».
الحاسوبية قوة الحركة الذاتية
لذلك فنحن نعلم أن هذه اللغة لا يمكن قبولها بشكل صحيح لأي آلة وضع متناهي، وبالتالي فهي ليست لغه اعتياديه. أحد الأشكال الأكثر شمولية لهذه النتيجة يدعى ضخ ليما للغات الاعتيادية، والذي يمكن استخدامه لإظهار أن الأصناف الواسعه من اللغات لا يمكن لآلة الوضع المتناهي أن تدركها.
يعرف علماء الحاسب اللغة التي يقبلها مستودع معلومات الكومبيوتر الذاتي على أنها لغة غالية من السياق، والذي يمكن تحديده بقواعد خالية من السياق. تتكون اللغة من حروف بعدد متساوي من «أ» و«ب»، ما عرضناه لم يكن لغة اعتياديه، من الممكن تحديدها عن طريق مستودع معلومات الكومبيوتر الذاتي. وأيضاً، يمكن لمستودع معلومات الكومبيوتر الذاتي بصفة عامه أن يتصرف مثل آلة الوضع المتناهي، إذاً فيمكنها تقرير أي لغة تكون اعتيادية. هذا النموذج الحسابي يكون بذلك أكثر قوة وفاعلية من آلات الوضع المتناهي.
الحاسوبية قوة الحركة الذاتية
على الرغم من تحولها توجد أيضاً لغات لا يمكن تحديدها من خلال متودع معلومات الكومبيوتر الذاتي. تكون النتيجة متشابهة مع نتيجة التعبيرات الاعتيادية، ولكننا لن نتحدث بالتفصيل عن هذا. وهناك نجد ضخ ليما للغات الخالية من السياق. مثال على لغة كهذه هو مجموعة الأعداد الأولية.
تستطيع آلات تورنغ تحديد أي لغة خالية من السياق، بالإضافة إلى اللغات الغير قابلة للتحديد عن طريق مستودع معلومات الكومبيوتر الذاتي، مثل اللغة التي تتكون من الأعداد الأولية. لذلك فهي تعتبر مثال أكثر قوة على الحساب.
الحاسوبية قوة الحركة الذاتية
وحيث أن آلات تورنغ لديها القدرة على «الاحتفاظ بنسخة ثانية» على شريط المدخلات، من المحتمل أن تعمل آلة تورنغ لوقت طويل بطريقة غير ممكنة لنماذج الحساب الأخرى التي قمنا بوصفها سابقاً. يمكن إنشاء آلة تورنغ لا تنتهي أبداً من العمل على بعض المدخلات. نقول دائماً أن آلة تورنغ يمكنها تحديد اللغة إذا كانت في النهاية سوف تقف على كل المدخلات وتعطينا إجابة على أي مدخل بلغة ما، ولكنها قد تعمل للأبد على حروف المدخلات التي ليست في هذه اللغة. يمكن لآلات تورنغ هذه أن تخبرنا أن حرف معين موجود في اللغة، ولكننا قد لا نكون متأكدين أبداً بالاعتماد على آداؤها أن حرف معين غير موجود في اللغة، حيث أنها قد تعمل للأبد في هذه الحالة. اللغة التي تقبلها آلة تورنغ كهذه تسمى اللغة المعدودة بشكل متكرر.
الحاسوبية قوة الحركة الذاتية
آلة تورنغ، تعتبر نموذج فعّال جداً من الذاتية. محاولات تعديل تعريف آلة تورنغ لإنتاج آلة أكثر فاعلية كانت المفاجأة أنها فشلت جميعاً. على سبيل المثال، وضع شريط إضافي في آلة تورنغ، لإعطائها سطح غير محدود ثنائي الأبعاد (أو ثلاثي أو غيره) للعمل عليه يمكن أن يكون جميعه محاكى بآلة تورنغ مع الشريط الأساسي ذو البعد الواحد. هذه النماذج لن تكون أكثر فاعليه. في الواقع، نتيجة لفرضية الكنيسة – تورنغ أنه لا يوجد نموذج معقول للحساب والذي يمكن أن يقرر اللغات التي لا يمكن تحديدها بآلة تورنغ.
السؤال الذي يجب أن نسأله هو: هل توجد لغات معدودة بشكل متكرر، ولكنها غير متكرره؟ وعلاوة على ذلك، هل توجد لغات ليست حتى معدودة بشكل متكرر.
مشكلة التوقف هي أحد أشهر المشاكل في علوم الكومبيوتر، لأن لها آثار عميقة على نظرية الحسابية وعلى كيفية استخدام حاسباتنا يومياً. يمكن أن نعبر عن المشكلة كالتالي:
بافتراض وصف لآلة تورنغ ومُدخله الأساسي، لتحديد إذا كان البرنامج، عندما يتم تنفيذه على هذا المدخل، سيتوقف أبداً (يكتمل). البديل هو أنه سيعمل للأبد بدون توقف.