Просмотр кода страницы Large-block program execution

'''Large-block program execution''' ---  исполнение крупноблочной программы. 

This is such a ''large-block schema'' <math>\alpha</math> that any two its interpretations are equal on the set
<math>\Sigma_\alpha\setminus X_\alpha</math>, where <math>\Sigma_\alpha</math> denotes the subset of <math>\Sigma</math> used in <math>\alpha</math>.