[an error occurred while processing this directive]
<h1>ADM to EDEN Translator - Simon Yung's Work</h1>
<h2>Comparison of AM and ADM</h2>
<p>
Since we are talking about two implementations of the same
application, I would like to start with the following distinction.  <code>Am</code>
here refers to the original interpreter for the Abstract Definitive
Machine described in Mike Slade's thesis and <code>adm</code> refers Simon
Yung's translator to EDEN. The following shows the relative strength and
weaknesses for the two  implementations.

</p>

<h3>AM</h3>
<table>
<tr><td>+</td><td>Parallel actions</td></tr>
<tr><td>+</td><td>Conflict detection</td></tr>
<tr><td>+</td><td>More reliable</td></tr>
<tr><td>+</td><td>Has semi-evaluation operator (| |)</td></tr>
<tr><td>-</td><td>Limited algebra (only has integer and boolean)</td></tr>
<tr><td>-</td><td>Restricted interface to definitive notations</td></tr>
</table>

<h3>ADM</h3>
<table>
<tr><td>+</td><td>Accept most (if not all) EDEN definitions</td></tr>
<tr><td>+</td><td>Fully supported by other definitive notations</td></tr>
<tr><td>+</td><td>More advanced parameter specification</td></tr>
<tr><td>-</td><td>Sequential execution</td></tr>
<tr><td>-</td><td>No conflict detection</td></tr>
<tr><td>-</td><td>Poor handling of entity deletion</td></tr>
<tr><td>-</td><td>Not fully tested yet</td></tr>
</table>

<p>
The principle aim of translating ADM to EDEN is to enhance the
underlying algebra of Abstract Definitive Machine.  With ADM it is possible
to program more sophisticated simulations.
However, because EDEN is basically sequential, the true power of
Abstract Definitive Machine cannot be utilised with the current
implementation of ADM. The choice of using <code>am</code> or <code>adm</code>
is up to the user to determine.
</p> 

[an error occurred while processing this directive]