ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

Большой положительный ^РB3}
D1 {[-1; 1]}
G(DU) = {D1 → D2 → D3 → D4}.
Фрагмент правил преобразования:
68
D2.{NVS3, NS3, NM3} → D3.{N3 (µ N3 )};
D2.{PVS3, PS3, PM3} → D3.{P3 (µ P3 )}.
Для тестов E, CE, DU могут быть автоматически сгенерированы
структурно-завершенные орграфы (G ∼ (E)) + , (G ∼ (CE)) + и (G ∼ (DU)) + . Отметим
также большой скачок энтропии (неопределенности) при переходе от
домена D2 к домену D3 в орграфе теста DU (три элемента перешли в один
элемент). Скорее всего, есть смысл ввести промежуточный домен либо
образовать новую ветку орграфа.
Каноническое представление стволов графов G ∼ (Е) и G ∼ (CЕ) имеет вид:
Сигнал ошибки {
D4 {1 2 3; z; 5 6 7}
D3 {1; 2 3; z; 5 6; 7}
D2 {1; 2; 3; z; 5; 6; 7}
D1{}}.
На рис. 2.17 изображены два структурно-завершенных орграфа из
множеств {(G ∼ (E)) + } и {(G ∼ (CE)) + }. Орграф, изображенный на рис. 2.17.б)
является энтропийно оптимальным (см. раздел 2.5).
а) б)
Рис. 2.17 – Структурно-завершенные орграфы для тестов «Сигнал ошибки»
Уровень общности описания задачи формируется путем комбинации
доменов всех тестов. В нашем случае общее количество комбинаций