Russian | English |
анализ достижимости состояний | reachability analysis (метод верификации конечных автоматов) |
вычисление достижимости | reachability computation |
информация о достижимости | reachability information (сведения о возможности установления соединения с удалёнными абонентами) |
матрица достижимости | reachability matrix (матрица, используемая для определения недостижимых узлов в сети и контроля образования циклов в маршрутах, каждому узлу назначения в этой матрице ставится в соответствие «1» или «0» в зависимости от достижимости или недостижимости этого узла; таблица маршрутизации, в которой указываются только те узлы, с которыми данный узел поддерживает связь) |