形式算法

формальный алгоритм

пословный:

形式	算法
xíngshì форма; внешний вид, внешность, облик, фигура; тип, вид; формальный; модальность	suànfǎ 1) мат. алгоритм 2) уст. арифметика 3) исчисление, способ исчисления