Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#Free abelian group of rank 2 - this ordering does not give finite confluent set
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [a,b,A,B],
inverses := [A,B,a,b],
equations := [ [b*a,a*b] ]
);
[Dauer der Verarbeitung: 0.17 Sekunden, vorverarbeitet 2026-06-18]