  The main aim of this paper is to present a program on computer for decide if
an universal algebra is a groupoid. Using the theory of groupoids and the
program BGroidAP1 we prove a theorem of classification for the groupoids of
type (4;2).
