Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
regular_expressions_for_automata_with_parallel_inputs [2009/04/28 20:25] vkuncak |
regular_expressions_for_automata_with_parallel_inputs [2009/04/28 20:26] vkuncak |
||
---|---|---|---|
Line 81: | Line 81: | ||
\right) | \right) | ||
\] | \] | ||
- | The bitwise and relation is given by | + | The bitwise **and** relation, shown above, is given by |
\[ | \[ | ||
[z \leftrightarrow (x \land y)]^* | [z \leftrightarrow (x \land y)]^* |