У главі 13 "Атомні об'єкти" книги "Розподілені алгоритми" Ненсі Лінч лінійна здатність (також відома як атомність) виявляється властивістю безпеки. Тобто відповідне його властивість слід непусте, префікс-закрите та обмежене закрите , як визначено у розділі 8.5.3. Неофіційно власність безпеки часто трактується так, що говорить про те, що якась конкретна «погана» річ ніколи не буває.
Виходячи з цього, моя перша проблема полягає в наступному:
Які переваги лінеаризуемости як властивості безпеки? Чи є якісь результати, засновані на цьому факті, в літературі?
При дослідженні класифікації властивостей безпеки та життєдіяльності загальновідомо, що властивість безпеки можна охарактеризувати як закритий набір у відповідній топології. У праці "Класифікація безпеки і прогресу" @ 1993 р. Амір Пнуелі та ін. , прийнята метрична топологія. Більш конкретно, властивість - це набір (кінцевих чи нескінченних) слів над алфавітом Σ . Властивість A ( Φ ) складається з усіх нескінченних слів σ таких, що всі префікси σ належать Φ . Наприклад, якщо Φ = a + b ∗ , то . Інфінітарна властивість Π визначається яквласність безпеки,якщо some = A ( Φ ) для деякої кінцевої властивості Φ . Метрик d ( σ , σ ′ ) між нескінченними словами σ та σ ′ визначається як 0, якщо вони однакові, а d ( σ , σ ′ ) = 2 - іншому випадку, деj- довжина найдовшого загального префікса, на який вони погоджуються. За допомогою цієї метрики властивість безпеки можна охарактеризувати як закриті набори топологічно.
Ось моя друга проблема:
Як охарактеризувати лінеаризабільність як закриті множини топологічно? Зокрема, що є основним набором і що таке топологія?
The metric d induces a topology (e.g., page~119 of [1]) where the ϵ-balls...
?