Large-block program

Large-block program --- крупноблочная программа.

Such a large-block schema [math]\displaystyle{ \alpha }[/math] that any two its interpretations are equal on the set [math]\displaystyle{ \Sigma_\alpha }[/math], where [math]\displaystyle{ \Sigma_\alpha }[/math] denotes the subset of [math]\displaystyle{ \Sigma }[/math] used in [math]\displaystyle{ \alpha }[/math] is called a large-block program.