Nel panorama della scienza contemporanea, la biologia molecolare ha recentemente assunto un ruolo di fondamentale importanza. Il bisognocrescente di conoscere intere sequenze genomiche e l’esigenza, ancora piùpressante, di analizzare e confrontare tali sequenze per poter dedurre funzionalità e discendenze comuni, ha reso necessaria l’integrazione delleusuali tecniche sperimentali, proprie della ricerca biologica, con le metodologie formali della matematica e dell’informatica. Queste motivazioni...