Algoritmalar teori, bu teoriye göre evrensel algoritmik modellerin 3 türü ele alınmaktadır.

• Birinci tür: Algoritma kavramını klasik olan hesaplama ve sayısal fonksiyonlar gibi matematiksel kavramlarla ilişkilendirmektedir. Bu sınıfın en gelişmiş ve incelenmiş modeli, algoritma kavramını ilk olarak biçimlendiren özyinelemeli fonksiyonlardır.
• İkinci tür: Algoritmanın her ayrık zamanda çok basit işlemleri yapan bir belirlenimlilik makine ile bağdaştırılmasıdır. Bu modeller, yapısal olarak bilgisayarlara en yakın olanlarıdır. Bu türün temel teorik modeli olarak 1930'larda (elektronik bilgisayarlardan önce) ileri sürülen Turing makineleridir.
• Üçüncü tür: Algoritmik modeller ise, herhangi alfabede sözcüklerin değiştirilmesine dayalı kelime işlemcileridir.