k := 0; f := f0;
  {i����i���: f - �������� �����i� �� (x[1],...,x[k]) }
  while  k <> n do begin
  | k := k + 1;
  | f := F (f, x[k]);
  end;

�p������ i���������� �����i�

(DEFUN SUMMA (lst)
	((ATOM (CDR lst)) (CAR lst))
	(SUMMA (CONS (+ (CAR lst) (CADR lst)) (CDDR lst)))  )

(DEFUN lmin (lst)
       ((ATOM (CDR lst)) (CAR lst))
       ((< (CAR lst) (CADR lst)) (lmin (CONS (CAR lst) (CDDR lst))))
       (lmin (CDR lst))  )

(DEFUN SCALAR (lst1 lst2)
	((NULL lst1) 0)
	(+ (* (CAR lst1) (CAR lst2)) (SCALAR (CDR lst1) (CDR lst2)))  )

(DEFUN PIDPOSLID (lst1 lst2)
        ((NULL lst2))
        ((NULL lst1) (NULL lst2))
        ((= (CAR lst1) (CAR lst2)) (PIDPOSLID (CDR lst1) (CDR lst2)))
        (PIDPOSLID (CDR lst1) lst2)  )

   x[n1] <> y[k1] => f(n1,k1) = max (f(n1,k1-1), f(n1-1,k1));
   x[n1] = y[k1]  => f(n1,k1) = max (f(n1,k1-1), f(n1-1,k1),
                              f(n1-1,k1-1)+1 );

(DEFUN lp (lst1 lst2)
	((OR (NULL lst1) (NULL lst2)) 0)
	((/= (CAR lst1) (CAR lst2)) (MAX (lp lst1 (CDR lst2)) (lp (CDR lst1) lst2)))
	(+ 1 (lp (CDR lst1) (CDR lst2)))  )

�����i� ������

  (DEFUN PRINC (obj *PRINT-ESCAPE*)
  (SETQ *PRINT-ESCAPE* T)
  (PRIN1 obj) )

(DEFUN TERPRI (n)
((AND (INTEGERP n) (>= n 0))
(LOOP
    ((ZEROP n) NIL)
    (WRITE-BYTE 13)
    (WRITE-BYTE 10)
    (DECQ n)  )  )

(DEFUN PRINT (x)
(TERPRI) (PRIN1 x) (PRINC " ")   )

��������� ���'����

��i� ��i���

����������i� �������� �����

������ ����������

������� ���������� � ������i

���i�������� ��� �������

��������

3 = 011	3 XOR 2 = 1, 1<3 -> ����� �p��� � ����� 2 ���i���
4 = 100	4 XOR 2 = 6, 6>4 -> �p��� �� �����
5 = 101 5 XOR 2 = 7, 7>5 -> �p��� �� �����
-XOR---
2 = 010