TORPAcyc is applied to the string rewriting system a a -> a b a Tropical matrix interpretation interpretation of a: / 1 0 \ \ - - / interpretation of b: / 0 - \ \ 0 - / remove rule 1 termination has been proved