GAP: sistema de álgebra computacional utilizado para identificar uma determinada funcionalidade de um sistema.