Buku ini membahas teori bahasa formal dan automata. Teori bahasa formal membahas bahasa yang didefinisikan oleh tata bahasa formal dan dihasilkan oleh mesin abstrak bernama automata. Bab pertama menjelaskan konsep dasar teori bahasa formal seperti simbol, string, operasi-operasi pada string, dan jenis-jenis automata.