ϵ-Semantics computations on biological systems