Теория автоматов для студ / Лаб.работы по ТА / ЛСА

Правила составления логической схемы алгоритма (ЛСА)

1. Обозначения:

Y_t – символ, обозначающий безусловный оператор, который записывается в прямоугольник (t – номер оператора) (см.рис.);

У_н – начальный оператор, У_к – конечный оператор;

i

– символ, обозначающий условный оператор, записываемый в ромб, который обязательно должен иметь обозначения выходов или одного из них (единичного или нулевого), (m – номер условного оператора).

1

0

Рис. Условные графические обозначения операторов и числовая отметка их входов.

2. Отметка граф-схемы алгоритма (ГСА).

Входы всех вершин ГСА, к которым подходит более одной дуги (стрелки), а также вход последней вершины оператора У_к, даже если к ней подходит одна дуга, отмечаются «жирными» точками на этой дуге или кружками с числовой отметкой в виде натуральных чисел 1, 2, …, S (S – числовая отметка конечного оператора). Нумерация идет от начального оператора У_н к конечному оператору У_к.

3. Направление записи.

Запись ЛСА идет по направлению дуг от начала У_н к концу У_к, то есть по направлению возрастания числовых отметок. Из условного оператора запись вначале идет по единичному выходу условного оператора.

4. Порядок записи для безусловных операторов Y_t.

Запись начинается с начального оператора по направлению дуг. За безусловным оператором Y_t может ставиться только нижняя стрелка c числовой отметкой , если за ним имеется отмеченная вершина. Если за безусловным оператором отмеченной вершины нет, то никакой стрелки не ставится и записывается следующий оператор или тождественное ложное логическое условие (см. п. 6).

5. Порядок записи для условных операторов .

За условным оператором всегда ставится верхняя стрелка , над которой ставится числовая отметка вершины по нулевому выходу данного условного оператора. Если по этому выходу отметки нет, то над верхней стрелкой ставится числовая отметка равная значению S+1, S+2, . . .

Далее запись вначале всегда идет по единичному выходу из условного оператора. Если за ним по единичному выходу есть числовая отметка, то после условного оператора с верхней только что отмеченной числом S+1, S+2,… стрелкой ставится нижняя стрелка с соответствующей этой отметке числом .

Если отметок после по единичному выходу нет, то сразу после верхней стрелки записывается следующий по этому выходу оператор (условный или безусловный).

6. Запись тождественно ложных логических условий .

Если нижняя стрелка должна иметь числовую отметку конечной вершины S, то вместо нее ставится условие с отметкой конечной вершины .

Если нижняя стрелка должна иметь числовую отметку q, уже применявшуюся ранее (слева в строке она уже имеется), то она заменяется условием с этой отметкой.

7. Запись строк.

Запись ЛСА вначале идет по отдельным строкам.

Первая строка начинается с записи начального оператора .

Каждая строка, за исключением последней, должна заканчиваться тождественно ложным логическим условием .

Если в законченной строке имеется верхняя стрелка без числовой отметки, то над ней и последующих стрелках ставится числовая отметка равная значению S+1, S+2, … (отмечать можно сразу, еще не закончив строку, как только появляется неотмеченная верхняя стрелка).

Новая строка начинается с нижней стрелки с числовой отметкой равной отметке первой только что отмеченной верхней стрелки Запись продолжается оператором, следующим по нулевому выходу условного оператора (единичный выход ранее уже был записан).

Последняя строка состоит из нижней отмеченной стрелки и конечного оператора .

8. Окончательная запись ЛСА - запись одной строкой.

В конце построения вся ЛСА записывается одной большой строкой. В начале этой строки записывается первая малая строка, в конце последняя, а остальные можно записать в произвольном порядке, но проще придерживаться того порядка, в котором записаны эти малые строки.

9. Условие правильной записи ЛСА.

Не может быть двух и более нижних стрелок, имеющих одинаковые числовые отметки.

Каждой нижней стрелке должно соответствовать не менее одной верхней стрелки (отсюда следует, что может быть несколько верхних стрелок с одинаковой числовой отметкой).