User:Joris.deguet
From Wikipedia, the free encyclopedia
Joris Deguet is actually a PhD student in Grenoble. His brother Anton Deguet is a software engineer in Johns Hopkins University.
TODO :
Chemical Abstract Machine
A chemical Abstract machine is a chemics inspired way to express operational semantics of a programming language or model. This is based on the idea of chemical reactions were molecules do meet and react to form new ones.
[edit] Initial example
The classical example does not involve a programming language with formal syntax but helps to understand the principle:
Let consider the set of natural integer numbers that form an initial solution. We assume a melting processe happens such that every couple of number will eventually meet at some point. Then assume the following reaction : if one of the two numbers is a multiple of the other it disappear. This process computes prime numbers.
[edit] Relations
The definition of a chemical abstract machine usually involves two relations: -a structural equivalence, reversible that defines classes of equivalent molecules -a reduction relation asymetric that implements reduction steps
modele d'acteurs
