Se define la reducción de una cadena como el reemplazo sucesivo de dos símbolos adyacentes "ss" o "ss" por la cadena vacía, hasta que ya no sea posible hacer este reemplazo; y dos cadenas se consideran equivalentes, si el resultado es el mismo al reducir ambas de esta manera.