Логические схемы алгоритмов.

Представление алгоритмов в виде конечной строки (формулы), состоящей из символов операторов y₀, y₁,y­₂,…,y_T, y_k, логических условий x₁, …,x_l,…,x_L, верхних и нижних стрелок с метками ( , i, j,…) символов тождественно ложного условия и называется логической схемой алгоритма (ЛСА)

ЛСА были предложены академиком А. А. Ляпуновым в 1953 году для описания блок – схем программ.

Примером ЛСА является строка:

Конечные строки в форме ЛСА выполняются слева направо. Выполнение начинается от оператора y₀(пустая микрокоманда), затем после y₀ выполняется y₁ . После этого выполняется проверка значения логического условия x₁. Если x₁=1, происходит переход к оператору y₂, при x₁=0 происходит переход вверх по верхней стрелке с меткой 1, т. е. Возврат к выполнению y₁.

После выполнения оператора y₂ всегда происходит переход по верхней стрелке с меткой y.

ЛСА должны всегда удовлетворять условиям корректности:

1. 
   Содержат один начальный y₀ и один конечный y_k оператор.
2. 
   Перед оператором перед оператором y₀ и после оператора y_k стрелок быть не должно.
3. 
   Вслед за каждым логическим условием всегда стоит верхняя стрелка.
4. 
   Не существует двух одинаковых (с одинаковыми метками) нижних строк.
5. 
   Для каждой нижней стрелки должна быть, по крайней мере, одна верхняя стрелка.
6. 
   Для каждой верхней стрелки должна быть точно одна нижняя стрелка.

Учёным В. Г. Лазаревым и его коллегами было предложено использовать ЛСА для описания функционированных управляющих автоматов.

ЛСА является удобной формой представлений алгоритма в виде строки.