7
hisobi taklif etiladi. Ushbu mashinalar algoritmning formallashtirilgan
rasmiylashtirilishi edi.
Algoritm tushunchasi aniq shaklda 20-asr boshlarida D. Gilbert, K.
Gyodel, S. Klin, A. Chyorch, E. Post, A. Tyuring, N. Viner, A. A.
Markov singari olimlarning asarlari tufayli shakllandi.
Ushbu qoʻllanmada yuqoridagi maqsad va vazifalarni bajarish
uchun bir qator mavzular berilgan. Bu mavzularda berilgan koʻplab
algoritmlarni dasturiy ta‘minotlarni ishlab chiqishda keng qoʻllash
mumkin.
Oʻquv qoʻllanmada berilgan mavzular talabalar bilimini oshirish
uchun xizmat qiladi deb hisoblaymiz.