Логик-математик сара булараҡ алгоритмдарҙың төрҙәре кеше эшмәкәрлегенең күрһәтелгән компоненттарын һәм йүнәлештәрен сағылдыра, ә алгоритмдар үҙҙәре маҡсатҡа, мәсьәләнең башланғыс шарттарына, уны хәл итеү юлдарына бәйле. Ниндәйҙер кереү мәғлүмәттәрен сығыу мәғлүмәттәренә үҙгәртеүсе иҫәпләү характерындағы алгоритмдар (юғарыла телгә алынған Тьюринг, Пост, РАМ машиналары, Марковтың нормаль алгорифмдары һәм рекурсив функциялар тап шуларҙың формализацияһы булып торалар) һәм логик идара итеү алгоритмдары тип аталған интерактив алгоритмдар араһында принципиаль айырманы һыҙыҡ өҫтөнә алырға кәрәк (Тьюрингтың C-машинаһы барлыҡҡа килә,  һүҙенән — һайлау, бөтә башланғыс мәғлүмәттәре иҫәпләү башланғансы уҡ бирелгән һәм сығыу мәғлүмәттәре иҫәпләү тамамланғансы билдәһеҙ булған классик A-машинанан айырмалы рәүештә, тышҡы тәьҫир көтә). Һуңғылары ниндәйҙер идара итеү объекты менән үҙ-ара тәьҫир итешеү өсөн һәм идара итеү объектынан килгән сигналдар сағылдырылған килеп тыуған хәлгә ҡарап дөрөҫ идара итеүсе йоғонто яһауҙы тәьмин итеү өсөн тәғәйенләнгәндәр. Ҡайһы бер осраҡтарҙа идара итеү алгоритмы эштең тамамланыуын бөтөнләй күҙ уңында тотмай (мәҫәлән, ярашлы реакция бирелгән ваҡиғаларҙы көтөүҙең сикһеҙ циклын алып бара), шуға ҡарамаҫтан, тулыһынса дөрөҫ була.