3. ����� ���������
����� ��������� �������������� � ������� ���������� ������:
�1:<��� ���������>(). ����� ��������� ����� ���� ���� �����:
�1 - ����� �� ������� ���������� ���������;
�! - ����� �� ���� ��������� �����������;
�: - �����, ���� ��������� ���������.
���������� ��� �� ������� ������ ���������� ���������.
�1:UR2() - ��������� UR2() ����� ���������� �� ������� �� ����������. ���� � �� ����� ����������, �������������� "���� ����", �� ��� ���� � �� ����� �������� ������ ���� ���.
�!:UR2() - ��������� UR2() ����� ���������� �� ���� ��������� �����������. ��� ���� ����������, �������������� "���� ����", � �� ����� �������� ���.
�:UR2() - ����� UR2() ���� ���������. ��� ��������, ��� ������� ����� ������� T!:UR2(). � ���� ��� ���� �� ���� ��� �����������, �� ����� ����� ������� T!:UR2(). ���� �� ��� ���, ���� ��������� �� ���� �� ����������.
������� T: ����� ������������, ���� ��� ���������� ��������� �� ���������� ����� �������, ��� ��������� ��������� �� ����������. ����� ����� ����������� ������. ��������, ��� ������ �:UR2() � �� ����� ��������� ����������� ���� � ��� �� �������� ���(�1,�3). ������� �� �����������.
��������� ��������� ����� ����� ���� ���. ����� ������� ���������, ��������������: "���� ������ - �������":
UR2():IF ����(X1,X3) ����(X3,X2) THEN �������(X1,X2);
����� ����� ��� ��������� � ����� ������ UR2(). ���������� �������� �� ������:
�1:UR2() - ����� �� ������� ���������� ���� �� ����� ���������. ������� ����� ���������� ������ ���������. ���� ��� ���� ����������, �� ������� �������������. ���� ��� - �� �������� ����������� ������ ��������� - �� ������� ����������.
�!:UR2() - ������� ������ ��������� ����� ���������� �� ���� ��������� �����������, ����� ������.
�:UR2() - ��� ������� ����� ������� T!:UR2(). � ���� ���� �� ���� �� ��������� ���� ��� �����������, �� ����� ����� ������� T!:UR2(). ���� �� ��� ���, ���� �� ���� ��������� �� ���� �� ����������.
���������� ������|��������� ������