تغييرات

|دلالة=كل نوع من [[معجم:حسابيّات|الحساب]] يتضمّن عمليات حسابية و خطوات غير حسابية وفق [[معجم:نموذج|نموذج]] معرّف، من أمثلة تلك النماذج:

|دلالة=كل نوع من [[معجم:حسابيّات|الحساب]] يتضمّن عمليات حسابية و خطوات غير حسابية وفق [[معجم:نموذج|نموذج]] معرّف، من أمثلة تلك النماذج:

:* نماذج الحالة التي تتضمّن [[معجم:آلة تُرِنگ|آلات تُرِنگ]] التي هي فئة من [[معجم:أوتومات الدفع إلى أسفل|أوتوماتات الدفع إلى أسفل]] و هي بدورها فئة من [[معجم:أوتوماتات الحالات المنتهية|أوتوماتات الحالات المنتهية]].

:* نماذج الحالة التي تتضمّن [[معجم:آلة تُرِنگ|آلات تُرِنگ]] التي هي فئة من [[معجم:أوتومات الدفع إلى أسفل|أوتوماتات الدفع إلى أسفل]] و هي بدورها فئة من [[معجم:أوتوماتات الحالات المنتهية|أوتوماتات الحالات المنتهية]].

:* النماذج الداليّة التي تتضمن حساب اللامدا

:* [[معجم:نموذج دالّي|النماذج الداليّة]] التي تتضمن [[معجم:حساب اللامدا|حساب اللامدا]]

:* النماذج المنطقية التي من ضمنها البرمجة المنطقية

:* [[معجم:نموذج منطقي|النماذج المنطقية]] التي من ضمنها [[معجم:برمجية منطقية|البرمجة المنطقية]]

:* النماذج الإجرائية و منها نموذج الفاعلين و حساب الصيرورات

:* [[معجم:نموذج إجرائي|النماذج الإجرائية]] و منها [[معجم:نموذج الفاعلين|نموذج الفاعلين]] و [[معجم:حساب الصيرورات|حساب الصيرورات]]

 

و من أمثلة الحُسبانات [[معجم:خوارزمية|الخوارزميات]].

و من أمثلة الحُسبانات [[معجم:خوارزمية|الخوارزميات]].