Пользуясь указанными обозначениями, эквивалентность алгоритмов можно определить так: говорят, что А - Л2, если для ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Криницкий Н.А.
Программирование и алгоритмические языки Издание 2
Пользуясь указанными обозначениями, эквивалентность алгоритмов можно определить так: говорят, что А - Л2, если для всякой конструкции к либо Ai ( x) и Аг ( х) не определены, либо А1 ( х) Az ( x); при этом никакие ограничения на AI и Л2 не накладываются.