We present a formal language for specifying via constraints a “design space” of DNA constructs composed of genetic parts, and an algorithm for automatically and correctly creating a novel representation of the space of satisfying designs. The language is simple, captures a large class of design spaces, and possesses algorithms for common operations on design spaces. The flexibility of this approach is demonstrated using a 16-gene nitrogen fixation pathway and genetic logic circuits.

中文翻译：

---

通过组合约束规范进行遗传设计

我们提出了一种形式语言，用于通过约束条件指定由遗传部分组成的DNA构造的“设计空间”，以及一种自动且正确地创建令人满意的设计空间的新颖表示形式的算法。该语言很简单，捕获了大量的设计空间，并且拥有在设计空间上进行常见操作的算法。使用16个基因的固氮途径和遗传逻辑电路证明了该方法的灵活性。