A Study of Replicators and Hypercycles by Hofstadter's Typogenetics

A Study of Replicators and Hypercycles by Hofstadter's Typogenetics

V. Kvasnička (Faculty of Informatics and Information Technologies, Institute of Applied Informatics, Slovak Technical University, Bratislava, Slovakia) and J. Pospíchal (Faculty of Informatics and Information Technologies, Institute of Applied Informatics, Slovak Technical University, Bratislava, Slovakia)
Copyright: © 2014 |Pages: 17
DOI: 10.4018/ijsss.2014010102
OnDemand PDF Download:
List Price: $37.50


A Typogenetics is a formal system designed to study origins of life from a “primordial soup” of DNA molecules, enzymes and other building materials. It was introduced by Hofstadter (1979) in his seminal book Dialogues with Gödel, Escher, Bach: An Eternal Golden Braid. Autoreplicating molecules and systems of mutually replicating and catalyzing molecules (autoreplicators and hypercycles) are modeled in the present paper in a form composed of two strands of symbols. These strands are vehicle of two fold information: The first one corresponds to information that is transferred by strands. The second type of information specifies a process of strand replication. The used replicating molecules - strands are created by an approach closely related to evolutionary algorithms. While a small hypercycle of two molecules mutually supporting their reproduction can be created without extreme difficulties, it is nearly impossible to create a hypercycle involving more than 4 autoreplicators at once. This paper demonstrates that larger hypercycles can be created by an optimization and inclusion of new molecules into a smaller hypercycle. Such a sequential construction of hypercycles can substantially reduce the combinatorial complexity in comparison with a simultaneous optimization of single components of a large hypercycle.
Article Preview


Computer studies of origins of life belong to crucial topics of artificial intelligence, in general, and artificial life, in particular. Unfortunately, a more realistic study using quantum chemistry (computational chemistry) methods is not feasible, since the number of molecules required for such a task is too huge. It is therefore necessary to use simplified models of molecules and reactions. One of the most famous models in this field is the Typogenetics, a formal system initially devised by Douglas Hofstadter in his famous book Dialogues with Gödel, Escher, Bach: An Eternal Golden Braid (Hofstadter, 1979) (cf. refs. (Morris, 1989; Varetto, 1998; Varetto, 1993)). Typogenetics replaces DNA molecules by strings (called strands by Hofstadter) that are composed of four kinds of symbols - letters, which represent the so called bases (chemical molecule forming building block of DNA). The really significant simplification consists in definition of parts of DNA sequences which code elementary operations acting in turn on the DNA sequence itself. In reality a part of the DNA substrand codes the instructions prescribing a production of enzymes. Each enzyme codes a different type of operation acting on DNA. These enzymes then use the DNA which coded them as a plan to create a copy of this DNA or a copy of another molecule (another strand in the Typogenetics formalism). While in the real life these substrands used for definition of enzymes are very large, in Typogenetics these codes of “enzymes” or “elementary operations” are smaller by orders of magnitude. Typogenetics is using the sequence of elementary operations coded by a strand to transform this strand (parent) onto another strand (offspring). Typogenetics was discussed by Hofstadter in connection with his attempt to explain or classify a „tangled hierarchy“ of DNA considered as replicative systems.

Typogenetics as presented by Hofstadter (Hofstadter, 1979) was not formulated in a very precise and exact way, many concepts and notions were presented only in a “fuzzy” verbal form and the reader was left to an improvisation and an ad-hoc additional specification of many notions of Typogenetics. Morris (1989) was the first one who seriously attempted to formulate the Typogenetics in a precise manner and presented many illustrative examples and explanations that substantially facilitated an understanding of Typogenetics. At the same time Varetto (1993) has published an article where he demonstrated that Typogenetics is a proper formal environment for a systematic constructive enumeration of strands that are capable of an autoreplication. Latterly, Varetto (1998) published another paper, where Typogenetics was applied to a generation of the so-called tanglecycles that are simplified versions of hypercycles of Eigen and Schuster (1979; Eigen, 1971). At the beginning of the current century, authors of this paper published two papers (Kvasnička, Pospíchal, & Kaláb 2001; Kvasnička & Pospíchal, 2001), where an idea of evolutionary algorithms was used to create Eigen´s and Schuster´s autoreplicators and hypercycles. In particular, we have studied in great details an evolutionary construction of autoreplicators. There was demonstrated that neutral evolutionary stages (where a fitness is kept fixed for many evolutionary epochs) are necessary for overcoming of deep fitness valley between two fitness peeks. Finally, in 2009 we published two extensive papers on Typogenetics (Bobrik, Kvasnička, & Pospíchal, 2008a; 2008b), where the formalism of Typogenetics is extended also to single/strand biomacromolecules of the RNA type.

Complete Article List

Search this Journal:
Volume 5: 2 Issues (2016)
Volume 4: 2 Issues (2015)
Volume 3: 2 Issues (2014)
Volume 2: 2 Issues (2012)
Volume 1: 2 Issues (2011)
View Complete Journal Contents Listing