достижимостта
Съществително име - ед. ч. членувано
Думата е производна от достижимост
Примери
Въпреки че достижимостта изглежда добър инструмент за откриване на грешни състояния, конструираният граф обикновено има твърде много състояния, които трябва да се проверяват, за да е удачен за практически нужди.
Една мрежа на Петри е ограничена тогава и само тогава, когато всичките ѝ графи на достижимостта (т.е. графите на достижимост с всички възможни начални състояния) вкупом притежават краен брой състояния.
Тази задача е по-трудна, отколкото на пръв поглед изглежда: в общия случай графът на достижимостта е безкраен и не е лесно да се определи кога търсенето да спре.
Усложнено представени количествени и качествени свойства на системата могат често да бъдат опростени за нуждите на базовия въпрос за достижимостта.