seɣˈun la tɾˌaðiθjˈon, kˌaɾlomˈaɡno, el pɾimˈeɾ monˈaɾka ðel sˈakɾo impˈeɾjo romˈano xeɾmˈaniko, kˌonθeðjˈo la ˌindependˈɛnθja a ˈeste estˈaðo a kˈambjo ðe aʝˈuða pˌaɾa su lˈutʃa kˈontɾa alˈandalus.
Según la tradición, Carlomagno, el primer monarca del Sacro Imperio Romano Germánico, concedió la independencia a este estado a cambio de ayuda para su lucha contra Al-Ándalus.