DNA Computing: Texts in Theoretical Computer Science. An EATCS Series

Diferența majoră între DNA Computing și documentația tehnică fragmentată a anilor '90 constă în capacitatea autorilor de a sintetiza o disciplină hibridă într-un model computațional unitar. Găsim în această lucrare, semnată de Gheorghe Paun, Grzegorz Rozenberg și Arto Salomaa, nu doar o descriere a experimentelor de laborator, ci o formalizare matematică a modului în care moleculele de ADN pot înlocui microcipurile de siliciu. Credem că valoarea istorică și tehnică a acestui volum rezidă în rigoarea cu care tratează complementaritatea biochimică drept un operator logic fundamental.

Structura cărții este progresivă, facilitând tranziția de la fundamentele biologice la complexitatea abstractă. După o introducere necesară în structura ADN-ului, textul plonjează în teoria limbajelor formale, element esențial pentru a înțelege sistemele de tip sticker și automatele Watson-Crick. Capitolele dedicate sistemelor de splicing și sistemelor H distribuite demonstrează universalitatea acestor paradigme, oferind demonstrații matematice pentru capacitatea de calcul a biostructurilor. Dacă Theoretical and Experimental DNA Computation de Martyn Amos v-a oferit cadrul teoretic și evoluția istorică a domeniului, această carte furnizează instrumentele practice de modelare a calculului molecular.

Descoperim aici o viziune pionierat în care biochimia devine un limbaj de programare, iar eprubeta un procesor paralel masiv. Deși publicată în 1998, lucrarea rămâne referința standard pentru înțelegerea sistemelor de inserție-ștergere și a stringurilor circulare, fiind esențială pentru cercetătorii care doresc să exploreze limitele calculului dincolo de arhitecturile von Neumann clasice.