���� �����������
������ �.�.
��������� ��������������� ���������-������������� ��������, ���������� ���������
������������� � ����������� ���������� ���������� �������� ����������� ������� ������� ���
���� �������� ����� �� ���������������� �������� ����� �� ����� � ���������� ������� ��������� ���������� ��������� ������������ ��������������� �������� � �������. �������� ��������������� ��������� �� ������ ��������: � � �������������, � � ��������������� �, � �������� �����, � �������������. ������� � �������� ������� ��������������� ������ �������� ����������� � ������������ �������� ���������� �������������� ���������� ���������� �����.
������ � ���, ������������ ���������� ����������������� ���� ������������ ����������, �� ������������ �������� ������ �������, ������� ������� �������� ���������� ������������. �������� ������� ���������� ������������� ����� ��������� ����������������� ����, ������������� ���������� ������� � �������� ������������ ����������, ��� ��� ���������� ����� ������� ��������������, ��� � ��� �������� �������������� ����������������� ������ ���������� ����������������.
���� ����������� ������������ ������.
����� �� ������������� ����������� �������������� ������ ���������� �������� ��������� ������. ��������� ������ ������������� ���������������� ����������� ������� �� ��� ��������� �� ������ ������������ ��� ����� �����. �������� ������� ���������� ������� �������� �������������� �������������. ���������� ������ ���������� �������� ���������� ������������� � ����������� ����������, ��� ��������� ������� �� � ��������� ����� ��������� ����������� ������. ���������� ��������� ������ ������������� ��������� ������������ ������: ��������������� ������, ������ �������� ���������, ������� ������ �.�.�. ������������� ������ �������, ��� ��� ������������ ������ ���������� ������������� ������������ �������������� ������� ������ ����� �����.
���� ����� � ��� ����������, �����������, ��������������� ����������. ������� ��� ���������� ������ ������ �������� �������� �������� ���� �����, �������������� �� ���.1�.
�) �)
���. 1. ����������� ����� ������ ��� � ���� ���� �����
��� ������������� ����������� ��������� �������� ������� �1 ����� ���� ������������ ������, ������������ �� ������� 2�.
� ������� ���� �������� �����, ������� ����������� ���������������� ��� ������ ������������ � ���������. ������������ �������� t 1 ���������� �������� ������ � �������, ������� t 2 ������������� ��������� ����������� ������, ������� t 3 ���������� �������� ������������ ������. ��� ������������� �������� ���������� ����������� ������� ������.
� ���� ������� ������������� ���������������� ����� ������� t 1 �� ������ ��������� �� ������������ �������� t 3. ��� ���������� ������ ����������� ������ ������� p 3 � ���� �� p 3 � t 1 � �� t 3 � p 3 (��. ����. 1).
����� � ������� p 3 ��������� ������� ���������� �������� � ������ ���������������� �����.
����� �������, ��������� ������ �������� �������������� ��������, ��������������� ���� ������ ������������. ������������ ��������� t 1, t 2, t 3 ���������� ��������������� ���� ��������. ������� �����, ���� � ( p 3) = 0; ������� ����� ������ ��������������� ����, ���� �( p 3) = 1. �� ������������ �������� �������� ��������� � ������������� �������� (��. ����. 1).
������� 1. �������� ���� �����
����������� ������� |
������������� ������� |
��������� ������� |
|
�0 = < P , T , I , O , �0 > P = ( p 1, p 2, p 3) T = (t1, t2, t3) I(t1)={p3} O(t1) = {p1} I(t2)={p1} O(t2) = {p2} I(t3)={p2} O(t3) = {p3} M = (0 0 1) |
0 0 1 I ( � , t) = 1 0 0 1 0 0 0 1 0 O( � , t )= 0 1 0 0 0 1 M= (0 0 1) M1 = M � I(t1) + O(t1) = (001) � (001) + (100) = (100) |
����������� � ������������� �������� �� ����� �������� ��� ����� ������� �����������, � ��������� �������� ������ ��� ����������� ���������� ��.
�������� ����������� ����������� ���� �����, ���������-��������������� �� ������������ ���������-����������� ������ � ��- ����.
��-���� - ����������� ���� ����� ���������� ���� �=< P , T , I , O , M , L , t 1, t 2>.
����� P={p1,...p n } - ��������� �������, ������������ �������� ��� ����������: ��������, �������� (��� �� ���������), �������� �������, ������� � �.�.
T={t 1 i 1 ,t 2 i 2 ,...,t m il } - ��������� ������������ ���������, ������������ ����� � ���. �������� � ��-���� ��� ������� ���������� �������� ������������ �������� � ������������ �������� (������� �������������, �������������, ������������� � �.�.), ����������� �������� ���. [ 1]
M=(M1, L)-������ ���������� ��-����, �������� ������� �������� ���������� ��� ����������� ��������� ������� M1: �?{0,1,2�} U M1(p).
����� ���������������� ��� ���������� ������ (��������������, ������������ ��� ��������������).
L={c1,c2,...c k } - ��������� ������ ����� ���������� ��-����. ���� ����� c j =(e1,e2,...e k ), e i ? �={0,1}- ������, ���������� �������� ������������� ������� ������ �� ��������� ��� ���������� � �����. ��������������� ���� ����� � �������� ������� ���������� ��� ������.
������� ������� I � �������� ������� O , ���������� ��������� ��-����, � ������, � ��������� ������������ ���.
I=(I, I�)- ������� �������, ���
I: PxT?{0,1,2 }UM1(p)- �������, ������������ ��������� ������� ���,
Ia: PxT? E - ������� ��������� ������� ���.
���������� ������������ �������� ������� O=(O, O�).
t 1: T?N - ����� �������� � �������� � t 2: P?N � ����� �������� � �������, ���������������� ��� ����� ����������� ������������ � ������� � ��� ����� ��������� ������������ � �������� ��������������.
�������� ���������� ��-���� ������������ ��������� �����, ������������ �������� ���������� ������� �������������, � ����������� ���������� ���������:
������� t �������� �����������, ���� �� ���� ������� �������� �������� t, ���������� ������� ����� �� ������ ��� ��������� ������� ��� I(t) ��������������� ������� ����� ��������� Ic(t). ��� ������������ �������� t ���������� � ���������� �� ��������� ��������: 1) �� ������� ������� ��������� �����, ���� cj =(e1,e2,...el) ������� ��������� � ���������� ������� ��� I�(t) cl, ���������� �� ������������ ���������� ��� I(t); 2) � �������� ������� ���������� ����� � ���������� ������������ ���������� �������� ��� O(t), ��� ���� ��������� ����������� ��������� �������� cj=(e1,e2,...el) � O�(t) ����������� �������������� ����� ����� � �������� �������� �������� t; 3) ������������� ������������ �������� ������: � �������� ��������, ������������ ��������� ���������, ���������� ������������ ��������� �����, ���������� ���������� � ���������� �������� ���.
��� ����� ������������� ��-���� ���������� � ��������� ���������������� ������������� ���. [2]
������ �������� ������������ ����� ��������� ��������� ����� ������� � ���������. �������� �� � ������� ������ � ����������� ������� ������. �������� ����������� �������� ������������������� ������� /���/ ������� ���������������� ������ � ��������������, ����������� ���������� ������� ������������� ��� - ������� ������������������� ������������� (���), ����������� ����������� ������ � ���� ��-���� � ����������� ����������. ����������� ������ ��� �������� �����������, �������������, � ����� �����������-��������������� �������� ��-����, ������� ��� ������������ ������������� � ����������� ����������� ��� ���.
������ �������� ����������� �� ���� ��������: �� ���������� ��������������� ��������������� ������ � ��������������� ������ ������������ ����������� ���������.
������ . � ���������� ������������:
� �������� ������������� ������������� ��������������� �������� ����� ����� ��� ������������� �������� ������������� ������� ������� ��� ������������ ����������� ��������.
� �������� ������������� ������������� ��������������� �������� ����� ����� ��� ������������� �������� ������������� ������� ��������������� ������� ���.
� ����������� �������������� ������ ������� ���������� ��������� ������������� ������� ������� ���, ������������� � ���� ���� �����.
� �� ������ ���������� ������ � ����� Trace Mode 5.10 ���������� ������ ����� ��������� ������������� �������.
� ���������� ���������� ����� ����� �������� � ����� ���� ������������ ������������� � ����������� ��������� ������� ���������������� ������.
� ������������� ����������� �������� ����������� �� ������� ���������������� ��������, ������� ��� ���� ���� �������������.
������ ����������:
1. ������� �.�. ������ ���������������� ������������������ ������� ���������� �������������� // ������ ��� ��. �.�.���������� . - 1987 . - �. 32, � 3. � �. 252�258.
2. ������� �.�. ���������� ����� ����� ��������� ��������������� �� ������������� ������������������� ���������������� ������ // ������ ������� - ������: �����, 2001 . - � 16. � �. 177�182.