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