Il testo approfondisce la teoria degli automi fin dal principio, illustrando le grammatiche formali, i linguaggi di programmazione e gli algoritmi di parsing con esempi concreti di calcolabilità e complessità computazionale.