Chemical Rules and Term Rewriting
Oana Andrei · HAL (Le Centre pour la Communication Scientifique Directe) · 2005
In this internship report we study interesting capabilities of TOM for modelling a particular class of molecular graphs and its associated graph rewriting relation by means of term rewriting. We also present a comparison between the design and the execution of the resulting implementation in TOM and those of GasEl, the ELAN implementation of this model.