آلة مجردة
ألة مجردة abstract machine أوحاسوب مجرد abstract computer هي تعبير عن نموذج نظري (افتراضي) لنظام حاسوبي عتادي أوبرمجي يستخدم في نظرية الأتمتة. تستخدم هذه الآلات النظرية في إجراء عملية تجريد لعملية الحوسبة بكافة إجرائياتها وتستخدم من ثم في فروع علوم الحاسب وهندسة الحاسوب وغالبا ما تفترض باراديغم أوأسلوب عمل في زمن متبتر discrete time .
في نظرية التحسيب ، تستخدم غالبا الآلات المجردة ضمن التجارب الفكرية المتعلقة بالحسوبية وتحليل تعقيد الخوارزميات (نظرية التعقيد الحسابي ) . تعتبر الآلة المجردة النموذجية تتألف من ولج وخرج ومجموعة عمليات مصرح بها تستعمل لتحويل الدخل إلى خرج . أفضل الأمثلة واكثرها شيوعا هوآلة تورينغ .
يمكن تعريف آلات مجردة أكثر تعقيدا بمجموعة تعليمات أوسع ، المسجلات ونماذج لذواكر الحاسوب . أحد أكثر النماذج شيوعا ومماثلة للحاسوب في وضعه الحالي يدهى نموذج رام ، الذي يسمح بوصول عشوائي لمواقع الذاكرة المفهرسة . عندما تكبر فوارق الأداء بين المستويات المتنوعة لذاكرة الكاش cache memory ، تزداد اهمية الناذج الحساسة للكاش مثل نموذج الذاكرة الخارجية external-memory model وcache-oblivious model .
آلات مجردة أخرى
- ABC programming language
- Abstract Machine Notation
- ALF programming language
- Categorical Abstract Machine Language
- Context-free grammar
- Finite automata
- Specification and Design Language
- Historycal/Simplicity Abstract Machines for Prolog:
- 1.Vienna Abstract Machine (VAM Prolog)
- 2.Warren Abstract Machine (WAM Prolog)
- 3.Berkeley Abstract Machine (BAM Prolog).
- MMIX
- MikroSim
- Ten15
- TenDRA Distribution Format
انظر أيضاً
- Abstraction (computer science)
- Abstract interpretation
- Discrete time
- State space
- Computability#Formal models of computation
المراجع
- Macura, Wiktor K., Abstract Machine at MathWorld.
- Peter van Emde Boas, Machine Models and Simulations pp. 3–66, appearing in:
- Jan van Leeuwen, ed. "Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity, The MIT PRESS/Elsevier, 1990. ISBN 0-444-88071-2 (volume A). QA 76.H279 1990.
هذه الموضوعة كانت في الأصل مبنية على مادة من Free On-line Dictionary of Computing، التي هي مرخصة تحت GFDL.