"Introdução à Teoria da Computação" oferece uma visão global dos conceitos fundamentais da computação. Começa por definir a computação como o processo de execução de uma sequência de operações baseadas em algoritmos para alcançar resultados específicos, englobando processos naturais e artificiais. O desenvolvimento histórico da computação, desde os primeiros dispositivos computacionais como o ábaco até ao advento dos computadores mecânicos e electrónicos, é explorado, destacando marcos importantes como a invenção do transístor e o desenvolvimento da Internet. O capítulo introduz conceitos essenciais, como algoritmos, estruturas de dados e linguagens formais, juntamente com modelos de computação, incluindo autómatos finitos, autómatos pushdown e máquinas de Turing.