[Termtools] DP solution of aaa -> bab, bbb -> aaa

[Johannes Waldmann]

This is a nice development.

> In any case the class of length preserving SRSs is quite restricted.

well, its termination problem still is undecidable...

> [A](x) = [a](x) = x+1
> [B](x) = [b](x) = 3 * ceil(x/3)

piece-wise linear functions. there should be a way to automatize that.
(and it's not specific to length-preserving systems.)
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------

_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/mailman/listinfo/termtools