Common Contracts
1 similar null contracts
PDF hosted at the Radboud Repository of the Radboud University NijmegenJanuary 23rd, 2018
Example. As a simple example of a determinate register automaton, let us consider a priority queue with capacity two. A priority queue stores a set of keys from some totally ordered set. We will use the set of rational numbers as the set of keys. We abstract from values that are stored along with keys. The interface of the priority queue supports two operations:
