Tag Archives: monoids

simple lemma about pipelines

The connection between group structure and pipeline design seems like it merits a lot more attention than it gets. It’s not too hard to show that in a pipeline like the one to the right, the induced monoid of M1 … Continue reading

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

sequential and combinational state machines

There’s a correspondence between the notions of “combinational” and “sequential” in digital circuit engineering and some structure in state machines (and therefore monoids)  that seems interesting. In digital logic, a “combinational” circuit like a logic gate has can be associated … Continue reading

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