Duv Algoritmo

Programação Java
#1 

specification
         sorts
                  Queue
          constructors
                   make: -->Queue;
                   enqueue: Queue Element --> Queue;
          observers
                   front: Queue -->?Element;
                   dequeue:Queue--> Queue;
                   isEmpty: Queue;
          domains
          ...
         axioms
                    Q: Queue; E: Element;
                    front (enqueue(Q,E))= E when is Empty(Q) else front (Q);
                    ...
                    isEmpty(make());
                   not isEmpty(enqueue(Q,E));
end specification

Olá a todos, alguém me podia ajudar neste exericicio? não consigo fazer

Completar a secção axioms e a domains…

Abraço

#2

isso não é portugol… o que ser esto?

#3

http://download.oracle.com/javase/1.4.2/docs/api/org/w3c/dom/Element.html

http://en.wikipedia.org/wiki/Queue_%28data_structure%29

#4

lyondor, neste link acima que você indicou… tem um exemplo em Java…
eh isso que VC ta querendo ?!

#5