Tag Archives: group

Queues and algebra

Suppose we have a state machine Q, that implements a common first in first out queue. The input alphabet of Q consists of “Deq” and “Enq x” where “x” ranges over a set of values, say, V. Let’s fix the … Continue reading

Posted in architecture, software engineering, theoretical computer science | Tagged , , , | Leave a comment