Author:
Dueñas-Díez Marta,Pérez-Mercader Juan
Abstract
AbstractLiving systems process information using chemistry. Computations can be viewed as language recognition problems where both languages and automata recognizing them form an inclusive hierarchy. Chemical realizations, without using biochemistry, of the main classes of computing automata, Finite Automata (FA), 1-stack Push Down Automata (1-PDA) and Turing Machine (TM) have recently been presented. These use chemistry for the representation of input information, its processing and output information. The Turing machine uses the Belousov-Zhabotinsky (BZ) oscillatory reaction to recognize a representative Context-Sensitive Language (CSL), the 1-PDA uses a pH network to recognize a Context Free Language (CFL) and a FA for a Regular Language (RL) uses a precipitation reaction. By chemically reconfiguring them to recognize representative languages in the lower classes of the Chomsky hierarchy we illustrate the inclusiveness of the hierarchy of native chemical automata. These examples open the door for chemical programming without biochemistry. Furthermore, the thermodynamic metric originally introduced to identify the accept/reject state of the chemical output for the CSL, can equally be used for recognizing CFL and RL by the automata. Finally, we point out how the chemical and thermodynamic duality of accept/reject criteria can be used in the optimization of the energetics and efficiency of computations.
Publisher
Springer Science and Business Media LLC
Reference31 articles.
1. Dueñas-Díez, M. & Pérez-Mercader, J. How chemistry computes: language recognition by non-biochemical chemical automata. From finite automata to Turing machines. iScience 19, 514–526 (2019).
2. Lloyd, S. Any nonlinear gate, with linear gates, suffices for computation. Physical Letters A. 167, 255–260 (1992).
3. Chomsky, N. Three models for the description of language. IRE Transactions on Information Theory 2, 113–124 (1956).
4. Blanton, M., & Atallah, M. J. Algorithms and theory of computation handbook, Volume 2: Special topics and techniques. CRC Press (2009).
5. Rich, E. Automata, computability and complexity: theory and applications. Upper Saddle River: Pearson Prentice Hall (2008).
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献