Large-block program execution
Материал из WEGA
Large-block program execution --- исполнение крупноблочной программы.
This is such a large-block schema [math]\displaystyle{ \alpha }[/math] that any two its interpretations are equal on the set [math]\displaystyle{ \Sigma_\alpha\setminus X_\alpha }[/math], where [math]\displaystyle{ \Sigma_\alpha }[/math] denotes the subset of [math]\displaystyle{ \Sigma }[/math] used in [math]\displaystyle{ \alpha }[/math].
