Abstraktní stroj - Abstract machine

An abstraktní stroj, nazývaný také abstraktní počítač, je teoretický model a počítač hardwarový nebo softwarový systém používaný v systému Windows teorie automatů. Abstrakce výpočetních procesů se používá v obou počítačová věda a počítačové inženýrství disciplíny a obvykle předpokládá a diskrétní čas paradigma.

Informace

V teorie výpočtu, abstraktní stroje jsou často používány v myšlenkové experimenty ohledně vypočítatelnost nebo analyzovat složitost algoritmy (vidět teorie výpočetní složitosti ). Typický abstraktní stroj se skládá z definice, pokud jde o vstup, výstup a sadu povolených operací použitých k přeměně prvního na druhý. Nejznámějším příkladem je Turingův stroj.

Abstraktní datové typy lze specifikovat z hlediska jejich operační sémantika na abstraktním stroji. Například zásobník lze určit z hlediska operací na abstraktním stroji s polem paměti. Pomocí abstraktních strojů je možné vypočítat množství zdrojů (čas, paměť atd.), Které jsou nezbytné k provedení konkrétní operace, aniž by bylo nutné budovat fyzický systém.^{[je zapotřebí objasnění ]}

Složitější definice vytvářejí abstraktní stroje s plným instrukční sady, registry a modely paměti. Jeden populární model více podobný skutečným moderním strojům je RAM model, což dovoluje náhodný přístup na indexovaná místa v paměti. Jako výkonnostní rozdíl mezi různými úrovněmi mezipaměť rostou modely citlivé na mezipaměť, jako je model externí paměti a mezipaměťový model nabývají na důležitosti.

Abstraktní stroj může také odkazovat na a mikroprocesor design, který ještě musí být (nebo nemá být) implementován jako hardware. Abstraktní stroj implementovaný jako softwarová simulace nebo pro který tlumočník existuje, se nazývá a virtuální stroj.

Viz také

Reference

^ D. B. Skillicorn (2005). Základy paralelního programování. Cambridge University Press. p. 18. ISBN 978-0-521-01856-2.

Tento článek je založen na materiálu převzatém z Zdarma online slovník výpočetní techniky před 1. listopadem 2008 a začleněno pod "licencování" podmínek GFDL, verze 1.3 nebo novější.

Další čtení

Peter van Emde Boas, Modely strojů a simulace str. 3–66, účinkující v:

Jan van Leeuwen, vyd. „Příručka teoretické informatiky. Svazek A: Algoritmy a složitost„MIT PRESS / Elsevier, 1990. ISBN 0-444-88071-2 (svazek A). QA 76.H279 1990.

Stephan Diehl, Pieter Hartel a Peter Sestoft, Abstraktní stroje pro implementaci programovacího jazyka, Future Generation Computer Systems, sv. 16 (7), Elsevier, 2000.
Werner Kluge (2006). Abstract Computing Machines: A Lambda Calculus Perspective. Springer. ISBN 978-3-540-27359-2.

[Skillicorn2005-1] D. B. Skillicorn (2005). Základy paralelního programování. Cambridge University Press. p. 18. ISBN 978-0-521-01856-2.

[1]