Bağ ne zaman grafik olur ve özetten sonra ne korunur?
Öğe · İlişki · Sınır
Sonlu kimlikli E, E × E altkümesi Rₖ ve tarih/kaynak/durum A seç. Yönlü etiketli grafik oluşur: matematiksel veri yapısıdır, gerçek ilişkileri kendiliğinden kanıtlamaz.
Etki · Zaman · Geri besleme
Sınırlı teorem: sonlu grafik ve düğüm bölmesi P bir bölüm grafiği tanımlar. Bloklar boş değil, ayrık ve E’yi kapsar. Kanıt: her e tek bloğa aittir; q(e) belirli. U’dan V’ye, aralarındaki özgün kenar varsa kenar koy. Bu P × P’nin belirli altkümesi, dolayısıyla ilişki ve grafiktir. Yalnızca yapısal temsil kanıtlandı.
G = (E, R)
R′ = {(q(a), q(b)) : (a,b) ∈ R}
G′ = (P, R′)Bloklar arası bağ varlığı korunur; sayı, ağırlık, tür, zaman ve neden otomatik korunmaz. Ayrı sınanmış kurallar gerekir.
İddianın sınırları
ADL düzeni otomatik kısmi sıra değildir. Geri besleme mantıksal çelişki değildir. Özyineleme ölçek bağımsız doğa yasası kanıtlamaz. Bilinen grafik/ilişki yapısı, ADL’de neyin gösterildiğini kesin sınırlar.
Sınama
İç durumları farklı q(x) = q(y) seç. q(F(x)) ≠ q(F(y)) ise özetin tek özerk güncellemesi yoktur. Karşı örnek düzeni yeniden adlandırarak kaybolmamalı.
Kaynak
Kaynaklar temelleri destekler; ADL bağlantısı burada açık yorumdur.