TORPAcyc is applied to the string rewriting system 0 -> 1 4 5 4 5 -> 4 4 5 5 5 5 5 5 5 5 4 4 4 4 4 4 -> 2 interpretation of 0: 10 interpretation of 1: 0 interpretation of 4: 1 interpretation of 5: 3 interpretation of 2: 0 remove rule 3 continue with: 0 -> 1 4 5 4 5 -> 4 4 5 5 interpretation of 0: 10 interpretation of 1: 0 interpretation of 4: 1 interpretation of 5: 4 interpretation of 2: 3 remove rule 1 continue with: 4 5 4 5 -> 4 4 5 5 Tropical matrix interpretation interpretation of 0: / 0 0 \ \ 0 0 / interpretation of 1: / 0 0 \ \ 0 0 / interpretation of 4: / 3 1 \ \ 2 0 / interpretation of 5: / 0 0 \ \ 1 1 / interpretation of 2: / 0 0 \ \ 0 0 / remove rule 1 termination has been proved