“…Some of them belong to computer science: models based on rewriting systems, permutations, strings, graphs, and formal languages, invariants results, computability results, etc., see, e.g., [29], while others, such as template-based DNA recombination, belong to theoretical and experimental biology, see, e.g., [34] and [5].…”