Abstrakt. Bennetts föreslagna kemiska Turingmaskin är ett av de viktigaste tankeexperimenten i studien av termodynamiken i beräkningen. Ändå har den förfining av molekylär teknik som krävs för att fysiskt konstruera Bennetts hypotetiska polymersubstrat och enzymer avskräckt experimentella implementationer. Här föreslår vi en kemisk implementation av stack maskiner - en Turing-universal modell av beräkning som liknar Turing maskiner - med DNA-sträng förskjutning kaskader som den underliggande kemiska primitiva. Mer specifikt, den mekanism som beskrivs häri är tillägg och avlägsnande av monomerer från slutet av en DNA-polymer, som styrs av trådförskjutning logik. Vi fångar det motiverande draget i Bennetts system: att fysisk reversibilitet motsvarar logiskt reversibel beräkning, och godtyckligt lite energi per beräkningssteg krävs. Dessutom, som en metod för att inbädda logisk kontroll i kemiska och biologiska system, polymerbaserad kemisk beräkning är betydligt effektivare än geometrifria kemiska reaktionsnätverk.
Qian m.fl. REF visade hur man simulerar en stack maskin med hjälp av strandförskjutningssystem.
Efficient Turing-Universal Computation with DNA Polymers
{'venue': 'DNA', 'journal': None, 'mag_field_of_study': ['Computer Science']}