ÐÐ ÐÐЦÐÐ ÐÐ ÐÐÐÐЬÐЫХ ÐÐÐÐЩÐÐÐÐ: меÑодологиÑ, задаÑи ...
ÐÐ ÐÐЦÐÐ ÐÐ ÐÐÐÐЬÐЫХ ÐÐÐÐЩÐÐÐÐ: меÑодологиÑ, задаÑи ...
ÐÐ ÐÐЦÐÐ ÐÐ ÐÐÐÐЬÐЫХ ÐÐÐÐЩÐÐÐÐ: меÑодологиÑ, задаÑи ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
241<br />
существуют i, j такие, что i ≠ j, {Si}∩{S} j ≠ ∅, {Si}∩{S} i ≠ ∅, то {Si}'| {S} = ∅.<br />
Следствие 5.6. Если {Si}'| {S} ≠ ∅, то ∃ j : {Si} ⊆ {S} j , а {α} ⊆ Ω(z j ).<br />
Дадим определения обобщенных операторов соответствия в рамках<br />
свободного контекста K ∪{τ/T} :<br />
{α}’| ∪{τ/T} = {b/B} + = ∪ b ∈{τ} (∩ α ∈{α} (b/B) + α), (5.59)<br />
{b/B}’| ∪{τ/T} = {β}, таких что {b/B} ⊆ ∪ c ∈{τ} (∩ β ∈{β} (c/C) + β), (5.60)<br />
где ( ) + – замыкание множества значений тестов (см. главу 2); нижний<br />
индекс «+» является маркером операции. Каждый тест во множество {b/B}<br />
может входить несколько раз, но с разными доменами (при этом не должно<br />
быть противоречивых данных). Ясно, что операторы (5.59) – (5.60)<br />
представить в традиционном виде, например:<br />
{b/B}'| ∪{τ/T} = {α ∈ Ω | ∀b/B ∈ {b/B} (α I ∪{τ/T} b/B)},<br />
где I ∪τ/T} ⊆ Ω × M ∪{τ/T} , а M ∪{τ/T} объединяет все домены всех орграфов<br />
Банка тестов. Однако подобное представление нивелирует эффект<br />
обобщения, связанный с замыканием (эффект движения информации).<br />
Приведем пример применения операторов соответствия (5.59) – (5.60).<br />
Пусть {G(τ)} = {G + (a), G(b)}, где конфигураторы G(a) и G(b) имеют вид:<br />
a {A {1; 2; 3; 4}}; b {B {1; 2; 3}}; G(b) = B; G(a) = A.<br />
Соответственно структурно-завершенный орграф G + (a) будет иметь вид:<br />
a {A4 #A {4 ^4; ¬4 ^1 2 3} A3 #A {3 ^3; ¬3 ^1 2 4} A2 #A {2 ^2; ¬2 ^1 3 4}<br />
A1 {1 ^1; ¬1 ^2 3 4} A {1; 2; 3; 4}};<br />
G + (a) = {A → A1; A → A2; A → A3; A → A4}.<br />
Домены A и B являются базовыми. С их помощью описываются<br />
прецеденты. Пусть Ω = {α, β, γ}, где<br />
α = (a/A1; b/B1), β = (a/A2; b/B2), γ = (a/A1; b/B3).<br />
Построим замыкания по всем тестам каждого прецедента:<br />
(a/A) + α= (a/A) + γ= {a/A1; a/A11; a/A2¬2; a/A3¬3; a/A4¬4};<br />
(a/A) + β= {a/A2; a/A1 ¬1; a/A22; a/A3¬3; a/A4¬4};<br />
(b/B) + α= {b/B1}; (b/B) + β= {b/B2}; (b/B) + γ= {b/B3}.<br />
Применим обобщенные операторы соответствия в рамках контекста :<br />
{α, β}’| ∪{τ/T} = ∪ τ ∈{a, b} (∩ χ ∈{α,β} (τ/T) + χ) = {a/A3¬3; a/A4¬4};<br />
{a/A3¬3; a/A4¬4}’| ∪{τ/T} = {α, β, γ}, так как<br />
{a/A3¬3; a/A4¬4} = {α, β, γ}’| ∪{τ/T} .<br />
Видно, что пара множеств ({α, β, γ}, {a/A3¬3; a/A4¬4}) образует