Målet med denne læreboken er å gi bachelorstudenter en innføring i de grunnleggende teoretiske modellene for beregnelighet og å utvikle de rike og varierte strukturene som disse modellene innebærer. Studenter med noe erfaring i elementær diskret matematikk vil oppleve dette som et godt tilpasset første kurs, mens flere supplerende kapitler introduserer mer avanserte konsepter. Den første delen av boken er fokusert på endelige automater og deres egenskaper. Pushdown-automater representerer en bredere klasse av modeller, og muliggjør analysen av kontekstavhengige språk. I de resterende kapitlene introduseres Turing-maskiner, og boken kulminerer i diskusjoner om effektiv beregnelighet, avgjorthet og Gödel's ufullstendighetsteoremer. Det tilbys rikelig med oppgaver som varierer fra enkle til utfordrende, noe som gjør denne teksten til et ideelt første kurs for studenter innen informatikk.
