3. Задание 2-го уровня подробности файла протокола.

Командная строка:

fm test.graph /d2

Получаемый файл test.det.log:

Вызвано распознавание шаблона для подграфа @ROOT:

начальная вершина LS, конечная вершина LE

Текущее состояние фундаментальной матрицы:

*************************

@ROOT ¦ 1 ¦

*************************

Конструкция ЦИКЛ

Вершина проверки условия: LC

Дуга, входящая в тело цикла: LC->CS

Дуга, выходящая из тела цикла: CE->LC

Вероятность повторения тела цикла: 0.8

Вероятность выхода из цикла: 0.2

Матрица для подстановки:

**********************************************************

LS ¦ 1 5 4 1 ¦

LC ¦ 0 5 4 1 ¦

@TMP0 ¦ 0 5 5 1 ¦

LE ¦ 0 0 0 1 ¦

**********************************************************

Вызвано распознавание шаблона для подграфа @TMP0:

начальная вершина CS, конечная вершина CE

Текущее состояние фундаментальной матрицы:

**********************************************************

LS ¦ 1 5 4 1 ¦

LC ¦ 0 5 4 1 ¦

@TMP0 ¦ 0 5 5 1 ¦

LE ¦ 0 0 0 1 ¦

**********************************************************

Конструкция ВЕТВЛЕНИЕ

Матрица для подстановки:

**********************************************************

CS ¦ 1 0.8 0.2 1 ¦

@TMP1 ¦ 0 1 0 1 ¦

@TMP2 ¦ 0 0 1 1 ¦

CE ¦ 0 0 0 1 ¦

**********************************************************

Вызвано распознавание шаблона для подграфа @TMP1:

начальная вершина B, конечная вершина B

Текущее состояние фундаментальной матрицы:

*******************************************************************************************

LS ¦ 1 5 4 3.2 0.8 4 1 ¦

LC ¦ 0 5 4 3.2 0.8 4 1 ¦

CS ¦ 0 5 5 4 1 5 1 ¦

@TMP1 ¦ 0 5 4 4.2 0.8 5 1 ¦

@TMP2 ¦ 0 5 4 3.2 1.8 5 1 ¦

CE ¦ 0 5 4 3.2 0.8 5 1 ¦

LE ¦ 0 0 0 0 0 0 1 ¦

*******************************************************************************************

Шаблон распознан как атомарная операция

Вызвано распознавание шаблона для подграфа @TMP2:

начальная вершина A, конечная вершина A

Текущее состояние фундаментальной матрицы:

*******************************************************************************************

LS ¦ 1 5 4 3.2 0.8 4 1 ¦

LC ¦ 0 5 4 3.2 0.8 4 1 ¦

CS ¦ 0 5 5 4 1 5 1 ¦

B ¦ 0 5 4 4.2 0.8 5 1 ¦

@TMP2 ¦ 0 5 4 3.2 1.8 5 1 ¦

CE ¦ 0 5 4 3.2 0.8 5 1 ¦

LE ¦ 0 0 0 0 0 0 1 ¦

*******************************************************************************************

Шаблон распознан как атомарная операция

Результат:

*******************************************************************************************

LS ¦ 1 5 4 3.2 0.8 4 1 ¦

LC ¦ 0 5 4 3.2 0.8 4 1 ¦

CS ¦ 0 5 5 4 1 5 1 ¦

B ¦ 0 5 4 4.2 0.8 5 1 ¦

A ¦ 0 5 4 3.2 1.8 5 1 ¦

CE ¦ 0 5 4 3.2 0.8 5 1 ¦

LE ¦ 0 0 0 0 0 0 1 ¦

*******************************************************************************************

Получаемый файл test.stat: тот же, что и в пункте 1.