Buku ini terdiri dari sebelas bab yang membahas tentang; Otomata: Metode dan aplikasinya, otomata hingga, ekspresi regular dan bahasa, sifat-sifat bahasa reguler, tata bahasa dan bahasa bebas konteks, pushdown automata, sifat bahasa bebas konteks, pengenalan mesin turing, undecidability, problema yang intractable, serta kelas tambahan dalam problem.