Анализ состояний почти полный