Hello all,<br>

<br>

Now I am trying on a simple translator module. This module needs to
translate an input string( this string represent a formula) as follows:<br>

<br>

(x^2 - 5x + 4=0) /\ (x^3 - 5&gt;0) -&gt; x&gt;3<br>

<br>

And I want the output string represent a formula like:<br>

<br>

(x^2 - 5x + 4=0) /\ (x^3 - 5&gt;0) IMPLIES x&gt;3, i.e, the translator attempt to translate (-&gt;) into IMPLIES.<br>

<br>

If you have ay suggesstions for that kind of problems, please share with me. I appreciate for that. Thanks all for your time.<br>

<br>

Nguyen,