Für die freien orthogonalen Quantengruppen Ao(n) wird ein vollständiges Reduktionssystem angegeben und verifiziert. Für den Fall n = 2 wird ein endlicher Automat angegeben, der ...