Psta.psiras.ru/

The problem of embedding a finite groupoid in a finite program algebra has an applied value for transforming the algorithm into a form suitable for calculation on an algebraic processor. It was posed and solved by NN Nepeyevoda for semigroups, and then he also built an embedding of the groupoid into infinite program algebra. In this paper, an embedding of a finite groupoid into a finite program algebra is constructed, which completes the solution of this problem.