Рейтинг пользователей:  0
ХудшийЛучший 

08.10.2009 14:13

���������� ������������� ������ �������� ���� �������� �� ������ ����� � ����� ������ ������, �� � ������������ ������ � ����. ������� D, � ��� ������������ ��������� ���������� ������� �� ��������� ����, ��� ��� ��������� ������ � ������ ������������ �������� �������� ������������. �������� �� ���� ���������� � �������� ����������� ����. �� ������������ ������������ �������������, ������� �������� ����� ������� ������� �������� D � ���������� �������� ������������� ������� ��������� (LTL), ������� �������� �� ���������� � ����������. ������ ���������� �������� �������� ������������� � �������� �������� � ������������ ������ ��������� �� ����, ������������ ��������, ������� ������� ����, �������������� ������� � ����������� ��������. �� ������� - �� �������� ��������� ������� ��������. ����� ��� �� ������������ � ���������� � ������ �������. ������� ����, ��� ����� ����� ���������� �������� � ������� ���������� ������� ��������� ����������� ���� ������ ������� � ����.