2. ��������� (������� ����...��...)
��������� ����������� � ���� ������ (��) � ����� ���:
<��� ���������>(...):IF <��> THEN <��>;
��� <��� ���������>(...) - ��� ��������, ������� ��������� ��� ������ ���������. ����� �������� ����� ��������� ����������� ����� - ���������� (��� ������ ��������� � ��������� ����������). ���� ����� ���� ��� �������� ����������, �� ����� - <��� ���������>().
�� - ����� ����� ���������, � ������� �������� ������� �� ����������. � ������ �� ���������� ��������� ��������� ����������. ��� ���� ������������ ����������, ��������� � ��.
�� - ������ ����� ���������, ������� ������ ��������. ��� �����������, ���� ��������� ��������� ����������. �������� ���������� ���������� �� �� � �� � ����������� ��� ���������� ��������.
�� � �� �������� ������ ���������� (� ������� �� ����� 5 ����������� ����) � ���������� ��������� (��������� � ����������, ������� ����������� ���������� ����������� �� ����� PASCAL).
��������� ������ ������������� ������ � �������.
������� ���������� ��������� ����������� � ������������� ���������� �� �� � ����������� ���� ������ (��). ���� ��������������� ��������� � �� �������, �� ��������� ��������� ���������� � ������������ ���������� �� �� (��. ������������� �� �������). ����� ����������� ���������� � �� � ����������� ��� ���������� ��������.
���� � �� ������� ��������, �� � ������ ���������� ��������� �� ����������� � ��.
������ 2.1.
UR1():IF ���(����,X1) �����(X1) THEN ���������(X1);
����� �� ����� ���:
���(����,�1) �����(�1)
���(����,�2) ������(�2)
����� � �������� ���������� ��������� � �� ���������� X1 ����� ��������������� ������������ ����������� �1, �2, ������ ��� ��� ���(����,X1) � �� ������� 2 ������������ ��������� ���(����,�1) � ���(����,�2). ����� ������� X1=�1,�2. ������� ������� ������ �������� X1=�1 � ���������� �� ��������� ��������: ����� � �� � �� ��������� �� ����� X1 �������� �1. ��� �����(�1) ������ ������������ �������� � ��. �� �������. ������� ��������� ����� ����������. ����������� �������� ��. � �� ����� �������� �������� ���������(�1). ����� ������� X1=�2 � ���������� �� ��������� ��������. ��� �����(�2) ��� ������������ ���������� � ��. � ���� �������� ��������� ����� �� ����������.
������ 2.2. �������������� �������������.
"���� ���� - ���" �������������� � ���� ���������:
UR2():IF ����(X1,X3) ����(X3,X2) THEN ���(X1,X2);
����� �� ������� ���������: ����(�1,�2) ����(�2,�3).
����� ��� ����(X1,X3) � �� ����� ������������ �������� ����(�1,�2), ��� ������� ����������� (X1,X3)=(�1,�2). ��� ����(�2,X3) ����� ���� ������������ �������� ����(�2,�3), ��� ������� ����������� X2=�3. ��������� ����� ����������, ��� ������� ���������� � �� ��������� ���(�1,�3).
��������� ����� ��������� ��������� ���������. ��� ���������� ������ ��������� ��������. ���������� X1 � ������ ���������� ������������ ����������.
���������� ������|��������� ������