Matematisk logikk (symbolsk logikk)
Turingmaskiner
Sekvensielle maskiner
Maskinteori
Automatteori
Lambdakalkyle
Cellulære automater
Petrinett
Cellulære automater--matematikk
Automater--matematikk
Maskinteori--matematikk
Rekursjonsteori
Rekursive funksjoner
Norsk WebDewey