Această ediție revizuită a cunoscutului manual al lui Michael Sipser spune povestea fascinantă a teoriei calculului - un domeniu de cunoaștere care include concluzii elegante și întrebări captivante, rămase fără răspuns, la intersecția matematicii și științei calculatoarelor.

Stilul direct și clar al lui Sipser permite studenților de orice nivel să înțeleagă și să se bucure de acest domeniu cognitiv. Secțiunile inovatoare de „idei demonstrative” dezvăluie la un nivel intuitiv conceptele pe care se bazează demonstrațiile formale ale teoremelor, explicând conceptele fundamentale în limbaj accesibil.

Această ediție revizuită, care include adăugiri la zi și mai multe exemple pe teme esențiale, păstrează stilul consacrat și accesibil al cărții, în timp ce o nouă analiză teoretică inovatoare a gramaticilor cauzale neconforme facilitează înțelegerea analizei sintactice și a gramaticilor LR(k).