számítási modell
Ebben a részben figyelembe vesszük a különböző módjait képviselik számítástechnika (feldolgozás) formájában modellek, és ezek a módszerek kapcsolódnak a különböző jellegű a számításokat.
Modell - egy matematikai absztrakció osztályú objektumok (folyamatok), amely lényeges tulajdonságait az osztály elkülönített és eldobjuk kritikus; A durvább modell, a szélesebb osztályára. Jól definiált modell egyértelmű fizikai értelmét és értékét (megfelel megfelel a pontosságot) az osztály. Például, egy égitest bolygókerekes modellek képviseletében a pontot anyagot, amelynek nincs méretei, de mivel egy adott tömegű; Ez a modell lehetővé teszi, hogy pontosan megjósolni, például a holdfogyatkozás.
Annak érdekében, hogy létrejöjjön a számítási modellek, először a lehetőséget, hogy fejtse ki az „algoritmus”, hogy szükség van arra, hogy bizonyítékot alapú választ a fő kérdés az algoritmusok elmélete:-e vagy sem az algoritmus erre osztály a problémák? Gyakorlati szempontból is fontos, hogy a megfelelő számítási modell lehet, hogy értékelje a komplexitása az algoritmus.
Számítástechnikai nagyjából gyártani a különböző modellek, sajátosságait figyelembe véve a számítások (numerikus, logikai, bájt), a bit szám (bit vagy bájt), állandó hosszúságú szavak feldolgozott számítógépek és így tovább. D.
Az alábbiakban figyelembe vesszük a két modell a számítás a szűkebb értelemben vett:
és 2 modell diszkrét információ - feldolgozó gépek és a Turing-gép.
Logic algoritmusok utasításokat tartalmaznak kapcsolatban nem a számok és tárgyak bármilyen jellegű. Példák logikai algoritmusok keresési algoritmus szolgálhat egy labirintus pálya, játék algoritmusok forgalom kapcsolási algoritmust, és így tovább. G. modellszámítások asszociatív logikai kalkulus.
Numerikus algoritmusok csökkenti a megoldást a problémára, hogy aritmetikai műveleteket számokat. Példa - euklideszi algoritmus megtalálása a legnagyobb közös osztó két előre meghatározott pozitív egészek. A numerikus algoritmus csökkenti a számos probléma megoldását: .. A számítás a gyökereit algebrai egyenletek, az egyenletek megoldása, numerikus integrálása stb ilyen számítási modellek rekurzív függvények.
Egy nagyon széles körű kapcsolatos problémák feldolgozásával diszkrét adatok (karakter). Ez, például, a kódolás és dekódolás üzeneteket. Az állam gépeket használnak modellként ilyen átalakítást.
Automata modell fejlett funkciók - Turing-gép - lehetővé teszi, hogy ne csak észre, a különböző számítások és információk átalakulás, hanem a meglétét egy algoritmus erre az osztályra problémákat.