Design of computational gene. A) Most eukaryotic genes are organized as alternating sequences of coding (exons) and non-coding (introns) segments. Conserved regions in the introns, e.g., pyrimidine rich region (poly(Y)), 5'-splice junction (AG/GTGAG), AG dinucleotide at the 3'-splice junction, and branch point sequence (CTCAT) guarantee proper splicing. These conserved regions are maintained in the structural moiety of the computational gene. B) Schematic representation of self-assembled (functional) gene encoding diagnostic rule (2), for n = 2. The initial state comprises promoter, first exon, and 5'-splicing site, the transition rules are placed in the intron region, and the final state includes branch site, poly(Y)-region, 3'-splice site, and second exon. C) Finite state automaton implementing diagnostic rule (2). The automaton starts in the initial state S0 and transits into the final state S
if all mutations are present.