Modeling and Verification of a Ribosomal Computing System

Abstract

The cessation of the growth of conventional silicon-based computing has inspired researchers worldwide to perform computation in a non-conventional manner. This inspiration has led to the development of DNA Computing, Quantum Computing etc., each computing technique has its advantages and disadvantages. Biology has inspired computing through the pathway of DNA Computing, and since its inception, it has been proven to be a powerful approach to the computationally hard problems. But to solve otherwise general problems, it needs mathematical ability. It lacks this ability because several manual interventions are required, and the biomolecular operations in the laboratories are slow to perform. Another molecule residing in the cell ribosome and its automated translation procedure can be used to perform the required operation to overcome the problem of manual interventions. The computing technology implemented using ribosome molecules by imitating protein synthesis is referred to as ribosomal computing. Several mathematical and computational models of protein synthesis and the components of protein synthesis have emerged. Still, this computing shows the intricate relationships of the components of protein synthesis in a more general way. A mathematical model is implemented for this computing. This model is validated with a practical model and verified by realizing several conventional or non-conventional operations. Some logic operations and arithmetic operations are realized using the mathematical model of ribosomal computing. Then this model is simulated in a computerised environment. It leads us to design a computational tool helpful for further research. The new computational tool referred to as a ribosomal simulator, is useful for detecting the mutation in a protein sequence rather than a gene sequence. Gene sequences are collected from the online repository to verify the working ability of the simulator. The testing of the ribosomal simulator with this practical data is successful and the right protein is genera