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