В работе рассматриваются три типа сверточных операций и доказываются теоремы о сохранении ими определенных отношений на множестве диаграмм. Приведены примеры построения конечных сверток для вычислительных деревьев машин Тьюринга.

Математические вопросы и теория численных методов