Greatest Common Divisor of Strings

Statement

For two strings s and t, we say that t divides s if and only if s can be formed by ...