equal
deleted
inserted
replaced
89 |
89 |
90 \[ |
90 \[ |
91 \begin{array}{l} |
91 \begin{array}{l} |
92 (\ZERO \cdot (b \cdot c)) + |
92 (\ZERO \cdot (b \cdot c)) + |
93 ((\ZERO \cdot c) + \ONE)\\ |
93 ((\ZERO \cdot c) + \ONE)\\ |
94 (a + \ONE) \cdot (\ONE + \ONE) |
94 (a + \ONE) \cdot (\ONE + \ONE)\\ |
|
95 a^* |
95 \end{array} |
96 \end{array} |
96 \] |
97 \] |
97 |
98 |
98 \item What is the purpose of the record regular expression in |
99 \item What is the purpose of the record regular expression in |
99 the Sulzmann \& Lu algorithm? |
100 the Sulzmann \& Lu algorithm? |