����������: ������������� � �������.

���� ������ S � ����� A ���� �[1], ..., A[k]. ������� ������ S �� ����� ������ ����� ���������� ���������.

������: S=ABBC

     A[1]=A, A[2]=AB, A[3]=BC, A[4]=BBC, A[5]=H, A[6]=B

S = A B BC

= A BBC

= AB BC

��� ������ ����������� ��������� ����������� ���������� ������ � ������������ (��� ����� ������ A ����������� �� �������):

�) ���� ������ ������, �� ���� �� ��������� ���������� �������, ����� ��� ������� ������ �� ��������� �[i] (��� ��������� i �� 1 �� n) �� ��������� � ������ ����������� � ������ ������ ������.

�) ���� �����-�� A[i] ������ � ������ ��� �������, �� ���������� ����� i ����� �����, ����� �������� ����� �� ������, � � �������� ������ ���������� �������� ������� �� ������ �).

���� �� ���� �� A[i] �� ������ � �������� �������� � ����������� ������ ������, �� ������������ ������� �� ����� �), �������������� �������� � ������ ������ ��������� ��������� ������ �����, � �������� �������� �� ������ ����� � ������� ������� � A. ���� ������� ����������� ���������� (�. �. �� ��������� � ������ �������� ������), �� �������� ����������� ���� ������. ��� ��������� ���������� �������.

����� �� ��������, � ���������� � ���������.