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