A theoretical model of the Shapiro finite state automaton built on DNA

In the paper a theoretical model (in the form of a splicing system) of a DNA computing machine, constructed in Weizmann Institute of Science by Benenson, Adar, Paz-Elizur, Livneh and Shapiro [4] is given. This splicing system exactly reflects the action of the DNA computer. We describe in detail finite state automaton built on DNA and give its scheme of computation.

---

W obecnie prowadzonych pracach nad nanosystemami informatyki bada się możliwość wykorzystania DNA do kodowania i przetwarzania informacji. W artykule opracowany jest teoretyczny model (w postaci systemu splatania „splicing system") DNA komputera skonstruowanego w Instytucie Weizmanna przez zespół: Benenson, Adar, Paz-Elizur, Livneh i Shapiro. Model ten dokładnie odzwierciedla działanie tego DNA komputera. Omówiono działanie automatu skończonego opartego na DNA oraz podano jego schemat ideowy działania.