20. ��������� ������� ����������
�������, ��� � ���������� ����� ���� ����� ���� ���������, ���������� �� ����� 5 ����������� ����. � ���� ����� � �� ����������� ��������� � ������� ����������� ����������� ����. ��� ������ � ���� � ���� ������� ��������� ������� � �����������. ���������� ��.
��������� ������� ���������� ����� ���: B:FR(<��� ���������>,<�����>,<��������>) � �������� � �� ���������. ��� �� ��������� ���������� ���������� ����������. ����� ��������� ��������� �������� ���� ���������� � ��, ��� ����� �� �� ����������� ������. ���������� �� ������ � ��������� ��������� �� �������. ����� � �� ������� ���������:
������(����_1,���,����_2/GG1)
������(����_1,����,����_2/1+),
�.�. ����_1 ����� � ����_2 ���, � ����_1 ����� � ����_2 ����.
������� 1. �� ��������� � ����� ��������� ��� ���������.
��� ���������� B:FR(X1,3,����_2) ���������� X1 ����� �������� ������ X1=GG1,1-, ��� ����_2 ����� ������� ����������� ����� � ���������� � ����� ������.
������� 1�. �� ��������� ��������� ��� ��������� (����� �� �����������).
��� ���������� B:FR(X1,_,����_2) ���������� X1={GG_1,1-) ����� ������������ ������ ����������, � ������� �� �����-���� ����������� ����� ����� ����_2.
������� 1�. �� ��������� ��������� ��� ��������� � �����.
��� ���������� B:FR(X1,X5,����_2) ���������� X1 ����� ������������ ������ ����������, � ������� �� ����� X5 ����� ����_2. ����� ������������ ����� ��� ����������: (X1,X5)={(GG1,3),(1-,3)}
�������, ��� �� ���� ������� �� ����� ����_2 ����� ������ ����������, ������� ������ ���� ��������.
������� 2. �� ���� ��������� � ����� ��������� ��������.
��� ���������� B:FR(GG1,2,X2) ���������� X2 ����� �������� X2=���, ��� ��� ��� ����� �� ������ ����������� ����� � ��������� � ����� GG1.
��� B:FR(GG1,0,X2) ���������� X2 ����� �������� X2=������. ��� ��������� �������� � ��� ������� �����. ��� ����� �� ������ ����������� ����� � ��������� � ����� GG1.
��� ���������� B:FR(X1,3,����_2) B:FR(X1,2,X2) ���������� X2 ����� ��������������� ������������ X2={���,����}, ��� ��� ��� ����� �� ������ ����� � ����������, � ������� �� ������� ����� - ����_2.
������� 2�. �� ���� ��������� ��������� �������� (����� �� �����������).
��� ���������� B:FR(GG1,_,X2) ���������� X2 ����� ��������������� ������������ X2={������,����_1,���,����_2}.
������� 3. ������ � ������ ��������: ������ ��� ���������, ����� � ��������:
��������� IF ... B:FR(GG1,1,����_1) ... THEN ...; ������ �����������, ������ ���� � ��������� � ����� GG1 �� ������ ����� ����� ����_1.
������� 3�. ������ � ������ ��������: ������ ��� ��������� � ��������:
��������� IF ... B:FR(GG1,_,����_1) ... THEN ...; ������ �����������, ������ ���� � ��������� � ����� GG1 �� �����-���� � ���� ����� ����_1.
������ 20.1. ����� � ������� 19.2 ��������� �������� �� ������� ����: "��� ������(�) ��� � � ����?"
����� � �� ���� ��� ���������:
������(����_1,���,����_2/GG1)
������(����_1,����,����_2/GG2),
��� ����� ������� � �� �������� ��������� @@(���) @@(������) @@(���) ...
���������, ������ �����, ����� ���:
ANSW():IF @@(���) @@(�) @@(����) {= ��� ����� ������ ���� � ������� =}
@@(X3) {= ������ =}
B:FR(X11,0,X3) {= X11 - ���� ���������� � ������ X3=������ =}
<@@(X2) {= ��� =}
B:FR(X11,2,X2) {= ��������, ��� �� ������ ����� ����� X2=��� =}
B:FR(X11,1,X1) B:FR(X11,3,X5) {= �� X11 ���������, ��� X1 � � ���� X5 =}
THEN
B:BK() B:A(X1," ����� ",X2," � ",X5);
������ 20.2. "��� ������(�) ����_2?"
ANSW():IF @@(���) @@(������) {= ��� ����� ������ ���� � ������� =}
@@(X4) {= ����_2 =}
B:FR(X12,3,X4) B:FR(X12,2,X6) THEN
B:BK() B:A(X4," ����� ",X6);
���������� ������|��������� ������