Операции с последовательностью

[Ktina]

С конечной последовательностью нулей и единиц разрешается производить следующие операции: заменять 01 на 100 или на 110. Может ли для некоторой начальной последовательности процесс замен продолжаться бесконечно?

[grizzly]

Пример:
0111 (01 --> 100)
10011 (01 --> 110)
101101 (01 --> 100)
1011100
Первая строка является подмножеством последней, значит, можно идти по циклу.

[Ktina]

grizzly
Большое спасибо!