Automata and Formal Languages: Examples
Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
Asynchronous product
- A three-bit counter, where each bit is modeled as an individual automaton:
PDF
- Lamport's mutex
- An automaton for a single bit:
PDF
- Process 0:
PDF
- Process 1:
PDF
- The product of two bits and the two processes:
PDF
- A minimal DFA accepting the set of reachable states of Lamport's mutex:
PDF