Jeopardy

摘要

We consider functions defined by ground-convergent left-linear rewrite ssytems.By restricting the depth of left sides and disallwing defined symbols at the top of right sides,we obtain an algorithm for function inversion.