Formal Computational Framework For The Study Of Molecular Evolution