148.57/37.81 YES 148.71/37.82 148.71/37.82 148.71/37.82 The system was filtered by the following matrix interpretation 148.71/37.82 of type E_J with J = {1,...,2} and dimension 4: 148.71/37.82 148.71/37.82 c is interpreted by 148.71/37.82 / \ 148.71/37.82 | 1 4 0 0 | 148.71/37.82 | 0 2 0 0 | 148.71/37.82 | 0 0 0 1 | 148.71/37.82 | 0 0 0 0 | 148.71/37.82 \ / 148.71/37.82 a is interpreted by 148.71/37.82 / \ 148.71/37.82 | 1 0 1 0 | 148.71/37.82 | 0 2 0 0 | 148.71/37.82 | 0 0 0 0 | 148.71/37.82 | 0 0 0 0 | 148.71/37.82 \ / 148.71/37.82 b is interpreted by 148.71/37.82 / \ 148.71/37.82 | 1 7 1 0 | 148.71/37.82 | 0 2 0 0 | 148.71/37.82 | 0 1 0 0 | 148.71/37.82 | 0 1 0 0 | 148.71/37.82 \ / 148.71/37.82 148.71/37.82 Remains to prove termination of the 2-rule system 148.71/37.82 { c c a -> c a b , 148.71/37.82 b a a ->= c c c } 148.71/37.82 148.71/37.82 148.71/37.82 The system was filtered by the following matrix interpretation 148.71/37.82 of type E_J with J = {1,...,2} and dimension 2: 148.71/37.82 148.71/37.82 c is interpreted by 148.71/37.82 / \ 148.71/37.82 | 1 0 | 148.71/37.82 | 0 1 | 148.71/37.82 \ / 148.71/37.82 a is interpreted by 148.71/37.82 / \ 148.71/37.82 | 1 1 | 148.71/37.82 | 0 1 | 148.71/37.82 \ / 148.71/37.82 b is interpreted by 148.71/37.82 / \ 148.71/37.82 | 1 0 | 148.71/37.82 | 0 1 | 148.71/37.82 \ / 148.71/37.82 148.71/37.82 Remains to prove termination of the 1-rule system 148.71/37.82 { c c a -> c a b } 148.71/37.82 148.71/37.82 148.71/37.82 The system was filtered by the following matrix interpretation 148.71/37.82 of type E_J with J = {1,...,2} and dimension 2: 148.71/37.82 148.71/37.82 c is interpreted by 148.71/37.82 / \ 148.71/37.82 | 1 1 | 148.71/37.82 | 0 1 | 148.71/37.82 \ / 148.71/37.82 a is interpreted by 148.71/37.82 / \ 148.71/37.82 | 1 0 | 148.71/37.82 | 0 1 | 148.71/37.82 \ / 148.71/37.82 b is interpreted by 148.71/37.82 / \ 148.71/37.82 | 1 0 | 148.71/37.82 | 0 1 | 148.71/37.82 \ / 148.71/37.82 148.71/37.82 Remains to prove termination of the 0-rule system 148.71/37.82 { } 148.71/37.82 148.71/37.82 148.71/37.82 The system is trivially terminating. 148.78/37.92 EOF