Titlul original:
Languages, Machines, and Classical Computation
Conținutul cărții:
Limbaje, mașini și calcul clasic este o nouă carte de curs universitar pe subiectele combinate ale Limbajelor formale și automatelor & Computabilitate și complexitate. Prin nouă, înțelegem mai mult decât publicarea sa recentă:
⬤ Este (mai) clar structurată în jurul ierarhiei Chomsky, care îi servește drept coloană vertebrală.
⬤ Are o abordare algoritmică generală, cu mulți algoritmi centrali descriși complet și clar, pas cu pas.
⬤ Niciun limbaj de programare sau software nu joacă vreun rol în ea, garantând astfel generalitatea (matematică) a diverselor conținuturi.
⬤ Este, într-o oarecare măsură, o întoarcere la abordările originale ale manualelor de la sfârșitul anilor 1970 / începutul anilor 1980, considerate acum adesea - în mod eronat - ca fiind prea dificile pentru un public universitar.
Și,.
⬤ Nu în ultimul rând, ia în considerare faptul, ignorat în mare parte sau în totalitate de alte cărți de curs pe subiectele menționate mai sus, că a vorbi despre calcul astăzi se dovedește a fi o afacere extrem de echivocă, deoarece multe alte forme de calcul s-au dezvoltat în afara a ceea ce putem numi paradigma Turing-von Neumann.
O selecție vastă de exerciții este o componentă esențială a acestei cărți de curs, cu exerciții care variază de la sarcini simple la proiecte de cercetare și explorări ale abilităților creative.
Toate subiectele matematice necesare pentru înțelegerea satisfăcătoare a conținuturilor discutate sunt furnizate într-un capitol introductiv, făcând din aceasta o carte de curs în mare parte autonomă.
Prezenta ediție a doua corectează addenda și errata, are figuri îmbunătățite și noi, un algoritm suplimentar și exerciții reproiectate.
