%%% This file is part of PlanetPhysics snapshot of 2011-09-01
%%% Primary Title: automata theory and computer simulation applications to biomedicine
%%% Primary Category Code: 82.39.Rt
%%% Filename: MedicineComputerSimulationAndAutomataTheoryApplicationsToBiology.tex
%%% Version: 8
%%% Owner: bci1
%%% Author(s): bci1
%%% PlanetPhysics is released under the GNU Free Documentation License.
%%% You should have received a file called fdl.txt along with this file.
%%% If not, please write to gnu@gnu.org.
\documentclass[12pt]{article}
\pagestyle{empty}
\setlength{\paperwidth}{8.5in}
\setlength{\paperheight}{11in}
\setlength{\topmargin}{0.00in}
\setlength{\headsep}{0.00in}
\setlength{\headheight}{0.00in}
\setlength{\evensidemargin}{0.00in}
\setlength{\oddsidemargin}{0.00in}
\setlength{\textwidth}{6.5in}
\setlength{\textheight}{9.00in}
\setlength{\voffset}{0.00in}
\setlength{\hoffset}{0.00in}
\setlength{\marginparwidth}{0.00in}
\setlength{\marginparsep}{0.00in}
\setlength{\parindent}{0.00in}
\setlength{\parskip}{0.15in}
\usepackage{html}
% this is the default PlanetPhysics preamble. as your knowledge
% there are many more packages, add them here as you need them
% define commands here
\usepackage{amsmath, amssymb, amsfonts, amsthm, amscd, latexsym}
\usepackage{xypic}
\usepackage[mathscr]{eucal}
\theoremstyle{plain}
\newtheorem{lemma}{Lemma}[section]
\newtheorem{proposition}{Proposition}[section]
\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}{Corollary}[section]
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{example}{Example}[section]
%\theoremstyle{remark}
\newtheorem{remark}{Remark}[section]
\newtheorem*{notation}{Notation}
\newtheorem*{claim}{Claim}
\renewcommand{\thefootnote}{\ensuremath{\fnsymbol{footnote%%@
}}}
\numberwithin{equation}{section}
\newcommand{\Ad}{{\rm Ad}}
\newcommand{\Aut}{{\rm Aut}}
\newcommand{\Cl}{{\rm Cl}}
\newcommand{\Co}{{\rm Co}}
\newcommand{\DES}{{\rm DES}}
\newcommand{\Diff}{{\rm Diff}}
\newcommand{\Dom}{{\rm Dom}}
\newcommand{\Hol}{{\rm Hol}}
\newcommand{\Mon}{{\rm Mon}}
\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Ker}{{\rm Ker}}
\newcommand{\Ind}{{\rm Ind}}
\newcommand{\IM}{{\rm Im}}
\newcommand{\Is}{{\rm Is}}
\newcommand{\ID}{{\rm id}}
\newcommand{\GL}{{\rm GL}}
\newcommand{\Iso}{{\rm Iso}}
\newcommand{\Sem}{{\rm Sem}}
\newcommand{\St}{{\rm St}}
\newcommand{\Sym}{{\rm Sym}}
\newcommand{\SU}{{\rm SU}}
\newcommand{\Tor}{{\rm Tor}}
\newcommand{\U}{{\rm U}}
\newcommand{\A}{\mathcal A}
\newcommand{\Ce}{\mathcal C}
\newcommand{\D}{\mathcal D}
\newcommand{\E}{\mathcal E}
\newcommand{\F}{\mathcal F}
\newcommand{\G}{\mathcal G}
\newcommand{\Q}{\mathcal Q}
\newcommand{\R}{\mathcal R}
\newcommand{\cS}{\mathcal S}
\newcommand{\cU}{\mathcal U}
\newcommand{\W}{\mathcal W}
\newcommand{\bA}{\mathbb{A}}
\newcommand{\bB}{\mathbb{B}}
\newcommand{\bC}{\mathbb{C}}
\newcommand{\bD}{\mathbb{D}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bG}{\mathbb{G}}
\newcommand{\bK}{\mathbb{K}}
\newcommand{\bM}{\mathbb{M}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bO}{\mathbb{O}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bV}{\mathbb{V}}
\newcommand{\bZ}{\mathbb{Z}}
\newcommand{\bfE}{\mathbf{E}}
\newcommand{\bfX}{\mathbf{X}}
\newcommand{\bfY}{\mathbf{Y}}
\newcommand{\bfZ}{\mathbf{Z}}
\renewcommand{\O}{\Omega}
\renewcommand{\o}{\omega}
\newcommand{\vp}{\varphi}
\newcommand{\vep}{\varepsilon}
\newcommand{\diag}{{\rm diag}}
\newcommand{\grp}{{\mathbb G}}
\newcommand{\dgrp}{{\mathbb D}}
\newcommand{\desp}{{\mathbb D^{\rm{es}}}}
\newcommand{\Geod}{{\rm Geod}}
\newcommand{\geod}{{\rm geod}}
\newcommand{\hgr}{{\mathbb H}}
\newcommand{\mgr}{{\mathbb M}}
\newcommand{\ob}{{\rm Ob}}
\newcommand{\obg}{{\rm Ob(\mathbb G)}}
\newcommand{\obgp}{{\rm Ob(\mathbb G')}}
\newcommand{\obh}{{\rm Ob(\mathbb H)}}
\newcommand{\Osmooth}{{\Omega^{\infty}(X,*)}}
\newcommand{\ghomotop}{{\rho_2^{\square}}}
\newcommand{\gcalp}{{\mathbb G(\mathcal P)}}
\newcommand{\rf}{{R_{\mathcal F}}}
\newcommand{\glob}{{\rm glob}}
\newcommand{\loc}{{\rm loc}}
\newcommand{\TOP}{{\rm TOP}}
\newcommand{\wti}{\widetilde}
\newcommand{\what}{\widehat}
\renewcommand{\a}{\alpha}
\newcommand{\be}{\beta}
\newcommand{\ga}{\gamma}
\newcommand{\Ga}{\Gamma}
\newcommand{\de}{\delta}
\newcommand{\del}{\partial}
\newcommand{\ka}{\kappa}
\newcommand{\si}{\sigma}
\newcommand{\ta}{\tau}
\newcommand{\lra}{{\longrightarrow}}
\newcommand{\ra}{{\rightarrow}}
\newcommand{\rat}{{\rightarrowtail}}
\newcommand{\oset}[1]{\overset {#1}{\ra}}
\newcommand{\osetl}[1]{\overset {#1}{\lra}}
\newcommand{\hr}{{\hookrightarrow}}
\begin{document}
This is a contributed topic entry on \htmladdnormallink{computer simulations}{http://planetphysics.us/encyclopedia/AAT.html} and automata theory applications.
\subsection{Computer simulations and automata theory applications in life sciences, theoretical biophysics, medicine and mathematical medicine}
The applications of \htmladdnormallink{computers}{http://planetphysics.us/encyclopedia/SupercomputerArchitercture.html} to biological and biomedical problem solving go back to the very beginnings of computer science, \htmladdnormallink{automata theory}{http://planetphysics.us/encyclopedia/LQG2.html}, and mathematical biology. With the advent of more versatile and powerful computers, biological and biomedical applications of computers have proliferated so rapidly that it would be virtually impossible to compile a comprehensive review of all developments in this \htmladdnormallink{field}{http://planetphysics.us/encyclopedia/CosmologicalConstant2.html}. Limitations of computer simulations in biology have also come under close scrutiny, and claims have been made that biological \htmladdnormallink{systems}{http://planetphysics.us/encyclopedia/SimilarityAndAnalogousSystemsDynamicAdjointnessAndTopologicalEquivalence.html} have limited information processing \htmladdnormallink{power}{http://planetphysics.us/encyclopedia/Power.html} [3]. Such general conjectures do not, however, deter biologists and biomedical researchers from developing new computer applications in biology and medicine. Microprocessors are being widely employed in biological laboratories both for automatic data acquisition/processing and modeling; one particular area, which is of great biomedical interest, involves fast digital image processing and is already established for routine clinical examinations in radiological and \htmladdnormallink{Nuclear Medicine}{http://planetphysics.us/encyclopedia/Cyclotron.html} centers, Powerful techniques for biological research are routinely employing dedicated, on-line microprocessors or array processors; among such techniques are: Fourier-transform
\htmladdnormallink{nuclear magnetic resonance (NMR)}{http://planetphysics.us/encyclopedia/NuclearMagneticResonancePrinciple.html}, \htmladdnormallink{NMR}{http://planetphysics.us/encyclopedia/MolecularOrbitals.html} imaging (or \htmladdnormallink{tomography}{http://planetphysics.us/encyclopedia/Cyclotron.html}), \htmladdnormallink{X-ray}{http://planetphysics.us/encyclopedia/FluorescenceCrossCorrelationSpectroscopy.html} tomography, \htmladdnormallink{X-ray diffraction}{http://planetphysics.us/encyclopedia/LaserProducedPlasma.html}, high performance liquid chromatography, differential scanning calorimetry and \htmladdnormallink{mass}{http://planetphysics.us/encyclopedia/CosmologicalConstant.html} spectrometry. Networking of laboratory microprocessors linked to a central, large memory computer is the next logical step in laboratory automation. Previously unapproachable problems, such as \htmladdnormallink{molecular dynamics}{http://planetphysics.us/encyclopedia/CurrentDensityInPlasma.html} of solutions, many-body interaction calculations and \htmladdnormallink{statistical mechanics}{http://planetphysics.us/encyclopedia/ThermodynamicLaws.html} of biological processes are all likely to benefit from the increasing access to the new generation of "\htmladdnormallink{supercomputers}{http://planetphysics.us/encyclopedia/SupercomputerArchitercture.html}". In view of the large number, diversity and \htmladdnormallink{complexity}{http://planetphysics.us/encyclopedia/Complexity.html} of computer applications in biology and medicine, we could not review in any degree of detail all computer applications in these fields; instead, we shall be selective and focus our discussion on suggestive computer models of biological systems and those fundamental aspects of computer applications that are likely to continue to make an impact on biological and biomedical research. Thus, we shall consider unifying trends in mathematics, mathematical logics and computer science that are relevant to computer modeling of biological and biomedical systems. The latter are pitched at a more formal, abstract level than the applications and, therefore, encompass a number of \htmladdnormallink{concepts}{http://planetphysics.us/encyclopedia/PreciseIdea.html} drawn from the abstract theory of sets and \htmladdnormallink{relations}{http://planetphysics.us/encyclopedia/Bijective.html}, network theory, automata theory, Boolean and n-valued logics, \htmladdnormallink{abstract algebra}{http://planetphysics.us/encyclopedia/PAdicMeasure.html}, topology and \htmladdnormallink{category theory}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html}. The present analysis of \htmladdnormallink{Relational Theories}{http://planetphysics.us/encyclopedia/RSystemsCategory.html} in biology and computer simulation has also inspired a number of new results which are presented here as "Conjectures" since their proofs are too lengthy and too technical to be included in this review. In order to maintain a self-contained presentation-the definitions of the main concepts are given, with the exception of a minimum of simple mathematical concepts. The purpose of these theoretical \htmladdnormallink{sections}{http://planetphysics.us/encyclopedia/IsomorphicObjectsUnderAnIsomorphism.html} is to provide the basis for approaching a number of basic biological questions: (1) What are the essential characteristics of a biological organism as opposed to an \htmladdnormallink{automaton}{http://planetphysics.us/encyclopedia/CategoriesOfQuantumAutomataAndQuantumComputers.html}? (2) Are biological systems recursively computable? (3) What is the structure of the simplest (primordial) organism? (4) What are the basic structures of neural and \htmladdnormallink{genetic networks}{http://planetphysics.us/encyclopedia/GeneNetDigraph.html}? (5) What are the common properties of classes of biological organisms? (6) Which system \htmladdnormallink{representations}{http://planetphysics.us/encyclopedia/CategoricalGroupRepresentation.html} are adequate for biodynamics? (7) What is the optimal strategy for modifying an organism through genetic engineering? (8) What is the optimal simulation of a biological system with a digital or analog computer? (9) What is life?
\end{document}
