Este documento describe los árboles AVL, un tipo de árbol binario de búsqueda equilibrado. Los árboles AVL garantizan búsquedas, inserciones y eliminaciones logarítmicas mediante rotaciones locales que mantienen la diferencia entre las alturas de los subárboles izquierdo y derecho de cada nodo en 0, 1 o -1. Se definen formalmente y se explican las cuatro rotaciones simples y dobles usadas para reequilibrar el árbol después de inserciones o eliminaciones. Finalmente, se m