Axiomas Circular c, Elem e; [C1] [C2] [C3] [C4] esvacia(vacia())=cierto; esvacia(formar(q,e))=falso; primero(vacia())=ERROR; primero(formar(q,e))= si esvacia(q) return e; sino return

primero(q);

[C5] desformar(vacia())=ERROR; [C6] desformar(formar(q,e))=si es vacia(q) return q; si no return formar(desformar(q),e); [C7] rotar(vacia())=ERROR; antes verifico! [C8] rotar(formar(q,e))= si esvacia(q) return formar(q,e); si no formar(formar(desformar(q),e),primero(q)); FIN Circular