2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/109122The 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).21 pages, 2 figuresGroup Theory20L13,68W10text