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

50
Граф G(ИММЛЖ | {Пол}) = {D1 {Пол} → D2; D2 → D3}.
Единственный канонический орграф G(ИММЛЖ|{Пол М ∨ Ж}) имеет
вид: D1 {} → D2 {N; a; b; c} → D3 {N; a b c}.
С помощью канонических орграфов удобно моделировать структурнозавершенные
орграфы. Пусть дан канонический орграф теста «Тест_1»:
Тест_1 {2 {a; b d; c} 1 {a; b; d; c}}
G(Тест_1) = {1→ 2}.
На рис 2.8 представлены два структурно-завершенных орграфа из
множества {G + (Тест_1)}. Коричневым (темным) цветом обозначены
вершины канонического орграфа (они же – ствол орграфа), остальные
вершины-листья генерируются автоматически. Блуждающие вершины
обозначены разными оттенками желтого цвета (вершины ‘c’, ‘a’).
Рис. 2.8 – Структурно-завершенные орграфы на основе канонического
орграфа
Изобразим графически один из структурно-завершенных орграфов
G + (Возраст | {Пол М}). Каноническое представление орграфа G(Возраст |
{Пол М}) имеет вид:
Возраст_М {
В6 # B4 {b c d e; a h}
В5 {a b; c d; e h}
В4 # B1 {a; b; c; d; e; h}
B3 {1 2; 3; 4 5}
B2 {1; 2; 3; 4; 5}
B1{}}.
Запись «В6 # B4» означает связку (В4 → В6), а запись «В4 # B1»
означает связку (В1 → В4). Для остальных вершин наследование идет
снизу вверх. На рис. 2.9 показан пример структурно-завершенного графа
G + (Возраст | {Пол М}). Всего таких орграфов три. Два отличаются друг от
друга расположением единственной блуждающей вершины с кодом «3»
(изображена желтым цветом). Третий – предельный орграф (блуждающая