RUS  ENG
Full version
JOURNALS // Program Systems: Theory and Applications // Archive

Program Systems: Theory and Applications, 2015 Volume 6, Issue 3, Pages 45–52 (Mi ps176)

Hardware, software and distributed supercomputer systems

To the completion of a groupoid to a programm algebra

A. A. Demidov

Ailamazyan Program Systems Institute of RAS

Abstract: The task of embedding of a finite groupoid into a finite programm algebra has a practical significance for the conversion of algorithm into a form suitable for computation on algebraic processor. It was posed and solved by N. N. Nepeivoda for semigroups, then he has proposed a method of embedding of a groupoid into a infinite programm algebra. In this paper we construct an embedding of a finite groupoid into a finite programm algebra, which completes the solution of the problem. (In Russian).

Key words and phrases: algebras, algebraic computations, groupoid embedding.

UDC: 519.681.2

Received: 05.09.2015
Accepted: 30.09.2015



© Steklov Math. Inst. of RAS, 2024