%PDF-1.5 % 4 0 obj << /S /GoTo /D (section.1) >> endobj 7 0 obj (Introduction) endobj 8 0 obj << /S /GoTo /D (section.2) >> endobj 11 0 obj (Preliminaries) endobj 12 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 15 0 obj (Computability theory) endobj 16 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 19 0 obj (Chemical reaction networks) endobj 20 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 23 0 obj (Stable decidability by CRNs) endobj 24 0 obj << /S /GoTo /D (subsection.2.4) >> endobj 27 0 obj (Probability 1 decidability by CRNs) endobj 28 0 obj << /S /GoTo /D (section.3) >> endobj 31 0 obj (Turing-decidable predicates) endobj 32 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 35 0 obj (Register machines) endobj 36 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 39 0 obj (Simulating register machine) endobj 40 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 43 0 obj (CRD simulation of the modified register machine) endobj 44 0 obj << /S /GoTo /D (subsection.3.4) >> endobj 47 0 obj (Example of construction of CRD from register machine) endobj 48 0 obj << /S /GoTo /D (section.4) >> endobj 51 0 obj (Correctness of simulation) endobj 52 0 obj << /S /GoTo /D (section.5) >> endobj 55 0 obj (Limit computable predicates) endobj 56 0 obj << /S /GoTo /D (section.6) >> endobj 59 0 obj (Computing functions) endobj 60 0 obj << /S /GoTo /D (section.7) >> endobj 63 0 obj (Conclusion) endobj 64 0 obj << /S /GoTo /D [65 0 R /XYZ null null 1.00] >> endobj 76 0 obj << /Length 3518 /Filter /FlateDecode >> stream xڭZ[wܶ~ؾNA>4RN