This document is the preface to a book on computer science theory. It provides an overview of the book's contents, which include deterministic and non-deterministic finite automata, context-free grammars, pushdown automata, Turing machines, computability, and complexity theory. It thanks various individuals for their support and encouragement during the writing process. It invites readers to provide suggestions to improve the book.