În această secțiune considerăm diferitele moduri de reprezentare de calcul (de prelucrare), sub formă de modele, iar aceste metode sunt legate de natura diferită a calculelor.
Model - o clasa de obiecte matematice abstractizare (procese), în care proprietățile esențiale ale clasei alocate și eliminate noncritical; modelul grosieră, clasa mai largă. Modelul bine definit are semnificație fizică clară și valoare (corespunde îndeplinește cerințele de precizie) clasa. De exemplu, într-un corp ceresc modele planetare sunt reprezentate ca puncte de material care nu are dimensiuni, dar având o masă deosebită; Acest model permite pentru a prezice cu exactitate, de exemplu, eclipsa de lună.
În scopul de a construi modele de calcul este, în primul rând, posibilitatea de a clarifica conceptele de „algoritm“, care este necesar pentru a produce un răspuns bazat pe probe la întrebarea principală a teoriei algoritmilor: dacă este sau nu algoritmul pentru această clasă de probleme? Din punct de vedere practic, este de asemenea important ca un model de calcul adecvat poate fi utilizat pentru a evalua complexitatea algoritmului.
Pentru calcularea în linii mari, a construit o varietate de modele, având în vedere natura calculelor (numeric, Boolean, octet), numărul de biți (bit sau octet), o constantă de cuvinte lungime prelucrate în calculatoare și așa mai departe. D.
Mai jos avem în vedere două modele de calcul, în sens restrâns:
și 2 modele de prelucrare a informațiilor discret - mașini și mașini Turing.
Algoritmii Logic conțin instrucțiuni referitoare nu la numerele și obiecte de orice natură. Exemple de algoritmi logici algoritm de căutare poate servi ca o cale de labirint, algoritmi de joc, algoritmul de comutare de trafic, și așa mai departe. Calculele G. model sunt calcule logice asociative.
algoritmi numerici reduce soluția problemei aritmetice, operații pe numere. Exemplu - algoritmul euclidian pentru identificarea celui mai mare divizor comun a două numere întregi pozitive predeterminate. Prin algoritmul numeric reduce soluția multor probleme: .. Calculul rădăcinilor ecuații algebrice, soluția de ecuații, integrare numerică etc. ale unor astfel de modele de calcul sunt funcții recursive.
O gamă foarte largă de probleme asociate cu procesarea datelor discrete (caractere). Aceasta, pentru mesajele exemplu, codare și de decodare. Mașinile de stat sunt folosite ca modele de astfel de transformări.
Modelul automatelor cu caracteristici avansate - mașină Turing - face posibilă nu numai pentru a realiza diferite calcule și transformarea informațiilor, dar, de asemenea, pentru a verifica existența unui algoritm pentru această clasă de probleme.