Complex sentence: GenoCAD is rooted in the theory of formal languages; in particular, the design rules describing how to combine different kinds of parts and form context-free grammars.
Split into simpler sentences: GenoCAD is rooted in the theory of formal languages. In particular, the design rules describing how to combine different kinds of parts form context-free grammars.